DocumentCode
3259322
Title
An introduction to BagL
Author
Cooke, Daniel E. ; Gutierrez, Ada
Author_Institution
Dept. of Comput. Sci., Univ. Technol. El Paso, TX, USA
fYear
1992
fDate
15-20 Jun 1992
Firstpage
479
Lastpage
486
Abstract
Introduces a compilable program specification language, BagL. BagL is the result of a formal study to ascertain how data/control structure interaction can be abstracted. BagL meets the accepted properties of a `good´ language. BagL maintains a consistent level of abstraction; is extensible, orthogonal, concise, and unambiguous; and addresses software evolutionary issues. A visual interface for the formal BagL language is presented, as well as the syntax and informal semantics of BagL
Keywords
graphical user interfaces; specification languages; BagL; abstraction; compilable program specification language; data/control structure interaction; extensible language; informal semantics; orthogonal language; software evolutionary issues; syntax; visual interface; Assembly; Computer science; Data encapsulation; Data structures; Design methodology; Flowcharts; History; Insulation; Problem-solving; Software maintenance; Specification languages;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on
Conference_Location
Capri
Print_ISBN
0-8186-2830-8
Type
conf
DOI
10.1109/SEKE.1992.227914
Filename
227914
Link To Document