Specifying the apple Macintosh ™ Toolbox event manager-Reference-Cited by-同舟云学术

Specifying the apple Macintosh ™ Toolbox event manager

Published:1989-03 Issue:1 Volume:1 Page:147-171
ISSN:0934-5043
Container-title:Formal Aspects of Computing
language:en
Short-container-title:Form. Asp. Comput.

Author:

Burton C. T.¹,Cook S. J.¹,Gikas S.¹,Rowson J. R.¹,Sommerville S. T.¹

Affiliation:

1. Department of Computer Science, Queen Mary College, University of London, 327 Mile End Road, E1 4NS, London, UK

Abstract

Abstract The Macintosh ™ Toolbox is a collection of resources, stored in ROM, of use to software developers building user interface components. This paper documents an attempt to specify one part of the Toolbox: namely the data types and routines for event-handling. The chief objective of the paper is to illustrate an approach to building a formal specification in which, starting from simple structures, the final specification is arrived at by a process of successive modifications, generalisations, instantiations and translations. The paper also constitutes an example of the Larch algebraic style, as well as the two-tiered approach characteristic of the Larch family of specification languages.

Publisher

Association for Computing Machinery (ACM)

Subject

Theoretical Computer Science,Software

Link

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

Reference38 articles.

1. Alty J. L. and Ritchie R. A.: A Path Algebra Support Facility for Interactive Dialogue Designs. HCI '85 P. Johnson and S. J. Cook eds pp. 128–137 Norwich 1985.

2. Apple Programmers and Developers Association: Inside Macintosh Apple Macintosh Technical Library Addison Wesley 1986 (5 vols).

3. A structured approach to designing human-computer dialogues

4. Initial and Final Algebra Semantics for Data Type Specifications: Two Characterization Theorems

5. Bleser T. and Foley J. D.: Towards Specifying and Evaluating the Human Factors of User-Computer Interfaces. Proc. Human Factors in Computer Systems pp. 309–314 Maithersburg Maryland 1982.

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

1. Formalismen und Konzepte;Requirements-Engineering systematisch;2010

2. Formal problem specification on an algebraic basis;Formal Program Development;1993