Title :
Underlying concepts in process specification
Author :
Soares, Jose Otavio Proenca
Author_Institution :
Dept. of Comput. Eng., Sao Paulo Univ., Brazil
Abstract :
Underlying concepts in process specification are discussed, such as function, functioning, ordering and conservation. The author describes how these terms represent different forms of purpose attribution to objects. A process modelling technique is proposed in order to complement the usual techniques adopted in requirements engineering
Keywords :
formal specification; object-oriented programming; conservation; functioning; ordering; process modelling technique; process specification; purpose attribution; requirements engineering; underlying concepts; Airplanes; Computer aided manufacturing; Computer applications; Computer languages; Engines; Hardware; Information analysis; Object oriented modeling; Operating systems; Organizing;
Conference_Titel :
Requirements Engineering, 1994., Proceedings of the First International Conference on
Conference_Location :
Colorado Springs, CO
Print_ISBN :
0-8186-5480-5
DOI :
10.1109/ICRE.1994.292404
