%0 Conference Paper %1 greenspan82 %A Greenspan, Sol J. %A Mylopoulos, John %A Borgida, Alex %B International conference on Software engineering %C Tokyo %D 1982 %I IEEE Computer Society Press %K seminal formal model requirements %P 225--234 %T Capturing more world knowledge in the requirements specification %U http://portal.acm.org/citation.cfm?id=800254.807765 %X The view is adopted that software requirements involve the representation (modeling) of considerable real-world knowledge, not just functional specifications. A framework (RMF) for requirements models is presented and its main features are illustrated. RMF allows information about three types of conceptual entities (objects, activities, and assertions) to be recorded uniformly using the notion of properties. By grouping all entities into classes or metaclasses, and by organizing classes into generalization (specialization) hierarchies, RMF supports three abstraction principles (classification, aggregation, and generalization) which appear to be of universal importance in the development and organization of complex descriptions. Finally, by providing a mathematical model underlying our terminology, we achieve both unambiguity and the potential to verify consistency of the model.

@inproceedings{greenspan82, abstract = {The view is adopted that software requirements involve the representation (modeling) of considerable real-world knowledge, not just functional specifications. A framework (RMF) for requirements models is presented and its main features are illustrated. RMF allows information about three types of conceptual entities (objects, activities, and assertions) to be recorded uniformly using the notion of properties. By grouping all entities into classes or metaclasses, and by organizing classes into generalization (specialization) hierarchies, RMF supports three abstraction principles (classification, aggregation, and generalization) which appear to be of universal importance in the development and organization of complex descriptions. Finally, by providing a mathematical model underlying our terminology, we achieve both unambiguity and the potential to verify consistency of the model.}, added-at = {2006-09-18T06:26:07.000+0200}, address = {Tokyo}, author = {Greenspan, Sol J. and Mylopoulos, John and Borgida, Alex}, biburl = {https://www.bibsonomy.org/bibtex/2689aa185671bd6c7e4b211efe36f47cf/neilernst}, booktitle = {International conference on Software engineering}, citeulike-article-id = {679725}, description = {Not previously uploaded}, interhash = {695c1640c1d1ef393549fe8048501107}, intrahash = {689aa185671bd6c7e4b211efe36f47cf}, issn = {0270-5257}, keywords = {seminal formal model requirements}, pages = {225--234}, priority = {0}, publisher = {IEEE Computer Society Press}, timestamp = {2006-09-18T06:26:07.000+0200}, title = {Capturing more world knowledge in the requirements specification}, url = {http://portal.acm.org/citation.cfm?id=800254.807765}, year = 1982 }