Rapid prototyping of system enhancements

Consideration is given to AS*, a language-independent specification language to be embedded within an existing programming language for the purpose of providing extensions to existing systems. The initial implementation extends Pascal with AS* specifications (called ASPascal) and the toolset consist...

Full description

Saved in:
Bibliographic Details
Main Authors: Antoy, S., Forcheri, P., Molfino, M.T., Zelkowitz, M.
Format: Conference Proceeding
Language:English
Subjects:
Algebra
Computer languages
Equations
Libraries
Prototypes
Software design
Software prototyping
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Consideration is given to AS*, a language-independent specification language to be embedded within an existing programming language for the purpose of providing extensions to existing systems. The initial implementation extends Pascal with AS* specifications (called ASPascal) and the toolset consists of a source code editing system built on top of a syntax editor called AS/SUPPORT, a Prolog verification tool called AS/VERIFY for checking the consistency of the specification, and a translator called AS/PC for converting the extended Pascal program into standard Pascal for compilation and execution. The authors discuss the designs of AS*, the structure of the prototype implementation, and the formal verification of the underlying axioms in a specification.< >
DOI:10.1109/ICSI.1990.138698