Specifying the apple Macintosh ™ Toolbox event manager

Autor:	S. T. Sommerville, C. T. Burton, J. R. Rowson, S. J. Cook, S. Gikas
Rok vydání:	1989
Předmět:	Computer science business.industry Programming language Specification language computer.software_genre Formal methods Data type Toolbox Theoretical Computer Science Language Of Temporal Ordering Specification Software Formal specification User interface business computer
Zdroj:	Formal Aspects of Computing. 1:147-171
ISSN:	1433-299X 0934-5043
DOI:	10.1007/bf01887203
Popis:	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.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::6c305badb7a4dd52fac7ea9100f68dd3 https://doi.org/10.1007/bf01887203 Zobrazit plný text záznamu Full text from SpringerLink