A computational mechanism for parallel problem decomposition during requirements engineering

Proceedings of the 8th International Workshop on Software Specification and Design, IWSSD 1996

Volumn , Issue , 1996, Pages 159-163

  Maiden, N A M ^a   Sutcliffe, A G ^a  

^a CITY UNIVERSITY   (United Kingdom)

Author keywords

basic research action; computational mechanism; ESPRIT III 6353; formal specification; goal oriented decomposition methods; parallel problem decomposition; parallel programming; problem abstractions; problem domain; problem solving; requirements engineering; systems analysis; tentative model

Indexed keywords

ABSTRACTING; FORMAL SPECIFICATION; PARALLEL PROGRAMMING; PROBLEM SOLVING; REQUIREMENTS ENGINEERING; SYSTEMS ANALYSIS;

BASIC RESEARCH ACTION; DECOMPOSITION METHODS; ESPRIT III 6353; PROBLEM ABSTRACTIONS; PROBLEM DECOMPOSITION; PROBLEM DOMAIN; TENTATIVE MODELS;

DOMAIN DECOMPOSITION METHODS;

EID: 0039111677     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/iwssd.1996.501160     Document Type: Conference Paper

References (16)

1. Dardenne A., Fickas S. & van Lamsweerde A., 1993, 'Goaldirected Concept Acquisition in Requirements Eli&ion', Proceedings 6th International Workshop on System Specification and Design', IEEE Computer Society Press, 14-21.
2. Easterbrook S., 1993, 'Domain Modeling With Hierarchies of Alternative Viewpoints', Proceedings of IEEE Symposium on Requirements Engineering, IEEE Computer Society Press, 65-72.
3. Greenspan S., Borgida A. t Mylopoulos J., 1986, 'A Requirements Modeling Language And Its Logic', Information Systems 1 l(l), 9-23.
4. JacksonM ., 1995,' SoftwareR equirementasn d Specifications', ACM Press/Addison-Wesley.
5. Jarke M., Bubenko Y., Rolland C., Sutcliffe A.G. & Vassiliou Y., 1993, Theories Underlying Requirements Engineering: An Overview of NATURE at Genesis', Proceedings of IEEE Symposium on Requirements Engineering, IEEE Computer Society Press, 19-31.
6. Jarke M., Eherer S., Gallersdorfer R., Jeusfeld M. & Staudt M., 1994, 'ConceptBase-A Deductive Object Manager for MetaData Bases', Journal of Intelligent Information Systems, 1994.
7. Maiden N.A.M., Mistry P. & Sutcliffe A.G., 1995, 'How People Categorise Requirements for Reuse: a Natural Approach', Proceedings 2nd IEEE Symposium on Requirements Engineering, IEEE Computer Society, 148-155.
8. Maiden N.A.M., Assenova P., Constantopoulos P., Jarke M., Johanneson P., Nissen P., Spanoudakis G & Sutcliffe A.G., 1995, 'Computational Mechanisms for Distributed Requirements Engineering', Proceedings 7th International Conference on Software Engineering and Knowledge Engineering, Knowledge Systems Institute, 8-16.
9. Maiden N.A.M. & Sutcliffe A.G., 1994, 'Requirements Critiquing Using Domain Abstractions', Proceedings of IEEE Conference on Requirements Engineering, IEEE Computer Society Press, 184-193.
10. Maiden N.A.M. & Sutcliffe A.G., 1992, 'Exploiting Reusable Specifications Through Analogy, Communications of the ACM. 34(5), 55-64.
11. Mylopopoulos J., Borgida A., Jarke M. & Koubarakis M, 1990, 'Telos: Representing Knowledge about Information Systems', ACM Transactions on Office Information Systems S(4), 325.
12. Nuseibeh B., Kramer J. & Finkelstein A., 1994, 'A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification', IEEE Transactions on Software Engineering 20(10), 760-773.
13. Potts C., Takahashi K. & Anton A.I., 1994, 'Inquiry-Based Requirements Analysis', IEEE Software 1 l(2), 21-32.
14. Prieto-Diaz IR., 1990, 'Domain Analysis: An Introduction', ACM SIGSOIT Software Engineering Notes 15(2), April 1990,47-54.
15. Sutcliffe A.G. & Maiden N.A.M., 1994, 'Domain Modeling for Reuse', hceedings, 3rd International Conference on Software Reuse, IEEE Computer Society Press.
16. Sutcliffe A.G. & Maiden N.A.M., 1993, 'Bridging the Requiremen& Gap: Policies, Goals and Domains', Proceedings of 7th International Workshop on System Specification and Design, IEEE Computer Society Press, 52-55.