DocumentCode
975842
Title
Comments on "Formal specification of user interfaces: a comparison and evaluation of four axiomatic approaches" by U.H. Chi
Author
Alexander, Holly
Author_Institution
STC Technol. Ltd., Newcastle-under-Lyme, UK
Volume
14
Issue
4
fYear
1988
fDate
4/1/1988 12:00:00 AM
Firstpage
438
Lastpage
439
Abstract
A recent paper (see ibid., vol.11, no.8, p.671-88, Aug. 1985) compared several axiomatic methods of formal specification, one of which was Z. As a result of a comparison made with Z and a similar, but executable, specification language called Me too, it was pointed out that one of the Z specifications given was not correct. In this response, the erroneous function is described and some conclusions are drawn about the process of formal specification.<>
Keywords
software engineering; specification languages; user interfaces; Me too; formal specification; software engineering; specification language; user interfaces; Displays; Formal specifications; Mathematical model; Prototypes; User interfaces;
fLanguage
English
Journal_Title
Software Engineering, IEEE Transactions on
Publisher
ieee
ISSN
0098-5589
Type
jour
DOI
10.1109/32.4665
Filename
4665
Link To Document