An experience using Jasminum — Formalization assisting with the design of user interfaces-Reference-Cited by-同舟云学术

An experience using Jasminum — Formalization assisting with the design of user interfaces

Published:1995 Issue: Volume: Page:141-158
ISSN:0302-9743
Container-title:Software Engineering and Human-Computer Interaction
language:
Short-container-title:

Author:

Carneiro-Coffin L. M. F.,Cowan D. D.,Lucena C. J. P.,Smith D.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/BFb0035812

Reference37 articles.

1. Paulo Alencar, Luiza M. F. Carneiro-Coffin, Donald D. Cowan, and Carlos J. P. Lucena. The Semantics of Abstract Data Views: A Design Concept to Support Reuse-in-the-Large. In The 62nd Congress of l'Association Canadienne Française pour l'Avancement des Sciences (ACFAS), pages 49–60, Montreal, Canada, May 1994.

2. Paulo Alencar, Luiza M. F. Carneiro-Coffin, Donald D. Cowan, and Carlos J. P. Lucena. Towards a Formal Theory of Abstract Data Views. Technical Report 94-18, Computer Science Department, University of Waterloo, Waterloo, Ontario, Canada, April 1994.

3. Derek Andrews and Darrel Ince. Practical Formal Methods with VDM. McGraw-Hill Software Engineering Series, 1991.

4. D.D. Cowan, L.F. Barbosa, R. Ierusalimschy, C.J.P. Lucena, and S.B. de Oliveira. Program Design Using Abstract Data Views-an Illustrative Example. Technical Report 92-54, Computer Science Department, University of Waterloo, Waterloo, Ontario, Canada, December 1992.

5. Luiza M. F. Carneiro, Michael H. Coffin, Donald D. Cowan, and Carlos J.P. Lucena. User Interface High-Order Architectural Models. Technical Report 93-14, Computer Science Department, University of Waterloo, Waterloo, Ontario, Canada, February 1993.

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A review of formalisms for describing interactive behaviour;Software Engineering and Human-Computer Interaction;1995