DocumentCode
1521494
Title
Mapping a Mascot 3 design into Occam
Author
Knowles, Dick
Author_Institution
British Aerosp. Dynamics, Stevenage, UK
Volume
5
Issue
4
fYear
1990
fDate
7/1/1990 12:00:00 AM
Firstpage
207
Lastpage
213
Abstract
Mascot is the MOD preferred software design method for embedded software systems. It has been widely used, both with and without toolsets, for the design of software written in Pascal and CORAL 66. A report of a study funded by RSRE proposed how to implement Mascot 3 systems using Ada. The paper builds on that study to propose a mapping to allow Mascot 3 to be used with Occam. The proposed method is easy to use without a toolset and appears to produce efficient Occam programs
Keywords
Occam; software engineering; CORAL 66; MOD; Mascot 3 systems; Occam; Pascal; RSRE; embedded software systems; software design method;
fLanguage
English
Journal_Title
Software Engineering Journal
Publisher
iet
ISSN
0268-6961
Type
jour
Filename
57715
Link To Document