An ADA compatible specification language
Loading...
Authors
Bosua, R
Du Plessis, A.L
Issue Date
1991
Type
Article
Language
en
Keywords
Ada , Object-based development methodology , Object-relationship-property model , Real-time systems , Software engineering , Specification languages , Software engineering environment (SEE) , System encyclopedia manager (SEM) system , System development life cycle (SDLC)
Alternative Title
Abstract
Specification languages to be used in conjunction with Ada as the implementation language have been proposed in the literature. Simultaneously, methods for the development of real-time software systems have been introduced, but very few Software Engineering Environments (SEEs) exist which provide automated support for these methods. This paper describes the synthesis of an object-based development methodology for real-time systems, the enhancement and design of a specification language, SALA (acronymfor Systems Analysis and Design Language for Ada), and concludes with a short summary on using it in an SEE.
Description
Citation
Bosua R & Du Plessis AL (1991) An ADA compatible specification language. South African Computer Journal. Number 4, 1991
Publisher
South African Institute of Computer Scientists and Information Technologists
License
Journal
Volume
Issue
PubMed ID
DOI
ISSN
2313-7835