Title :
An introduction to BagL
Author :
Cooke, Daniel E. ; Gutierrez, Ada
Author_Institution :
Dept. of Comput. Sci., Univ. Technol. El Paso, TX, USA
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;
Conference_Titel :
Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on
Conference_Location :
Capri
Print_ISBN :
0-8186-2830-8
DOI :
10.1109/SEKE.1992.227914
