Theories underlying requirements engineering: An overview of nature at genesis

Proceedings of the IEEE International Conference on Requirements Engineering

Volumn , Issue , 1993, Pages 19-31

  Jarke, Matthias ^a   Bubenko, Janis ^b   Holland, Colette ^c   Sutcliffe, Alistair ^d   Vassiliou, Yannis ^e  

^a RWTH AACHEN UNIVERSITY   (Germany)

^b SISU ISE ^*  (Sweden)

^c UNIVERSITÉ PARIS 1 PANTHÉON SORBONNE   (France)

^d CITY UNIVERSITY   (United Kingdom)

^e INSTITUTE OF COMPUTER SCIENCE   (Greece)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION LANGUAGES; DECISION THEORY; KNOWLEDGE REPRESENTATION; MODELING LANGUAGES; SOFTWARE ENGINEERING;

CONCEPTUAL MODELING LANGUAGES; DECISION-BASED; DEVELOPMENT PROCESS; DOMAIN ENGINEERING; DOMAIN KNOWLEDGE; ENGINEERING KNOWLEDGE; EUROPEAN COMMUNITY; EXTENDED VERSIONS;

REQUIREMENTS ENGINEERING;

EID: 85026464109     PISSN: 1090705X     EISSN: 23326441     Source Type: Conference Proceeding    
DOI: 10.1109/ISRE.1993.324840     Document Type: Conference Paper

References (75)

1. Akman V., ten Hagen P.J.W., Tomiyama T.: A fundamental and theoretical framework for an intelligent CAD System; Computer Aided Design 22, 6.
2. Balzer R.: Tolerating inconsistency. Proc. 13th International Conference on Software Engineering, Austin Texas, 158-165
3. Biggerstaff T., Richter C, Reusability framework, assessment and directions, IEEE Software, March 1987
4. Boehm B.W.: A spiral model of software development and enhancement; IEEE Computer 21.
5. Borgida A.: A position paper on intelligent information systems. In Balzer R., Mylopoulos J. (eds.): Intl. Workshop on Development of Intelligent Information Systems, Niagara-on-the-Lake, 10-13
6. Borgida A., Greenspan S.J. and Mylopoulos J.: Knowledge representation as the basis for requirements specification. IEEE Computer, April 1985, 82-91
7. Borgida A., Brachman R.J., McGuinness D.L., and Resnick L.A.: CLASSIC: A structural data model for objects. Proc. ACM-SIGMOD Conf., Portland, Oregon, 58-67
8. Bouzeghoub M. and Metais E.: Semantic modelling of object oriented databases. Proc. 17th Intl. Conf. Very Large Data Bases, Barcelona, Spain
9. Cauvet C, Rolland C, Proix C.: Information systems design: an expert system approach, Proc. Intl. Conf. Extending Database Technology, Venice, March 1988.
10. Chung, L., Katalagarianos, P., Mertikas, M., Mylopoulos, J., Vassiliou, Y.: From information systems requirements to design: a mapping framework. Information Systems 16, 4.
11. Conklin J. and Begeman M.L: A hypertext tool for exploratory policy discussion. ACM Trans. Office Information Systems 6, 4, 140-151
12. Constantopoulos P., Jarke M., Mylopoulos J., Vassiliou Y.: Software Information Base: A server for reuse. Report, ESPRIT project ITHACA, ICS-FORTH, Heraclion, Greece.
13. Cooke N.M., McDonald J.E.: The application of psychological scaling techniques to knowledge elicitation for knowledge-based systems, Intl. J. Man-Machine Studies 26, 553-550
14. Davies T.: Determination, uniformity and relevance: normative criteria for generalization and reasoning by analogy. Analogical Reasoning, Kluwer Academic Publishers, 1988
15. Dowson M.: Iteration in the software process. Proc. 9th Intl Conf Software Engineering, Monterey, Ca.
16. Eherer S., Jarke M.: Knowledge base support for hypermedia co-authoring, Proc. Database and Expert Systems Applications, Berlin, 465-470
17. Feather M.: Language support for the specification and development of composite systems. ACM Trans. Programming Languages and Systems 9, 2, 198-234
18. Feather M.S. and Fickas S.: Coping with requirements freedom. In: Proc. Intl. Workshop Development of Intelligent Information Systems, Niagara-on-the-Lake, Canada, 42-46
19. Fickas S.: Automating analysis: An example. Proc. 4th Intl.Workshop on Software Specification and Design, Washington DC, 58-67
20. Finkelstein A., Kramer J., Goe-dicke M.: Viewpoint-oriented software development; Proc. Conf Le Glnie Logiciel et ses Applications, Toulouse, 337-351
21. Freeman P.: Software reusability. In IEEE Tutorial on Software Reuse, IEEE Press
22. Garg-Janardan C, Salvendy G., A Caonceptual Framework for Knowledge Elicitation, Intl. J. Man-Machine Studies 26, 521-531
23. Gentner D.: Structure mapping: a theoretical framework for analogy, Cognitive Science 5, 121-152
24. Gick M.L. and Holyoak K.J. Schema induction and analogical transfer, Cognitive Psychology 15, 1-38
25. Greenspan S.J.: Requirements modeling: A knowledge representation approach to software requirements definition. Univ. of. Toronto, Toronto, Tech. Report. CSRG 155.
26. Greiner R.: Abstraction-based Analogical Inference, in Analogical Reasoning, edited by D.H. Helman, Kluwer Academic Publishers.p. 147-170
27. G. Grosz, C. Rolland; Using artificial intelligence techniques to formalize the information system design process; Proc. Intl. Conf. Databases and Expert Systems Applications, 374-380.
28. G. Grosz, C. Rolland; Why and how should we hide conceptual models; Proc. 3rd Intl. Conf. Software Engineering and Knowledge Engineering (SEKE), Skokie, USA, 28-33
29. Guindon R.: Designing the design process: exploiting opportunistic thoughts, Human-Computer Interaction Journal 5, 305-344
30. Guindon R. and Curtis B.: Control of cognitive processes during software design: what tools are needed? Proc. ACM-CHT88, 263-269
31. Hagelstein J.: Declarative approach to information systems requirements. Knowledge Based Systems, 1, 4, 211-220
32. U. Hahn, M. Jarke, T. Rose: Teamwork support in a knowledge-based information systems environment. IEEE Trans. Software Eng., 17,5
33. B. Henderson-Sellers, J. M. Edwards, The object-oriented systems life cycle, Comm. ACM, Sept. 1990
34. Holyoak K., Koh K., Surface and structural similarity in analogical transfer. Memory and Cognition 15, 4
35. Jarke M.: The design of a database for multiperson decision support. Annals of Operations Research 16, 393-412
36. Jarke, M.: DAIDA - conceptual modeling and knowledge-based support for information systems development processes. Technique et Science Informatique 9, 2, 121-133
37. Jarke Manual, M. (ed.): Aachener ConceptBase Informatik V3.1 Berichte User 92-17
38. Jarke M., Jeusfeld M., Rose T.: A software process data model for knowledge engineering in information systems. Information Systems 15, 1, 85-116
39. Jarke M., Pohl, K.: Information systems quality and quality information systems. Proc. IFIP 8.2 Working Conf., Minneapolis, Minn.
40. Jarke M., Mylopoulos J., Schmidt J., Vassiliou Y.: DAIDA - an environment for evolving information systems. ACM Trans. Information Systems 10, 1, 1-50..
41. Johnson W.L. and Feather M.: Building an evolution transformation library: Proc. 12th Intl. Conf. Software Engineering, Nice, France, 238-248
42. Johnson W.L. and Harris D.: The ARIES Project, Proc. 5th KBSA Conf., Liverpool, N.Y., 121-131.
43. Johnson P., Johnson H., Waddington R. and Shouls A.: Task-related Knowledge Structures: analysis, modelling and application, Proc. HCI '88, Cambridge University Press, 35-61
44. Jones, C: Systematic Software Development Using VDM. Englewood Cliffs, NJ: Prentice-Hall
45. Kedar-Cabelli S., Analogy - from a unified perspective, Analogical Reasoning, Kluwer Academic Publishers, 1988
46. Lee H.Y., Harandi M.T.: Some interactive sspects of a software design schema acquisition tool, USC-ISI Tech. Report RS-91-287
47. Littman D.C., Modelling human expertise in knowldege engineering: some preliminary observations, Intl. J. Man-Machine Studies 26, 81-92
48. Loucopoulos, P., Papastamatiou G, Pantazis D, Diakonikolaou G.: Design and execution of event/action DB applications. Second Intl. Workshop Deductive Approach to Information Systems and Databases, Aiguablava, Spain, 1-21
49. Maiden N.: Analogy as a paradigm for specification reuse, Software Engineering J. 6, 1, 6-15
50. Maiden N.: Analogical specification Reuse during Requirements Analysis, Ph.D. Thesis, City University of London.
51. Mylopoulos J., Borgida A., Jarke M. and Koubarakis M.: Telos:Representing Knowledge About Information Systems. ACM Trans. Information Systems 8, 4, 325-362.
52. Mylopoulos J., Chung L., Nixon B.: Representing and using non-functional requirements: a process-oriented approach. IEEE Trans. Software Eng. 18, 6, 483-497
53. Olle T.W., Hagelstein J., MacDonald I.G., Rolland C, Sol H.G., Van Assche F.J.M., Verryn-Stuart A.A. Information System Design Methodologies: A Framework for Understanding, Addison-Wesley, 1988.
54. Pernici B.: Objects with Roles (ORM). Proc. ACM Conf. Office Information Systems, Cambridge Massachusetts, 205-215
55. Potts C; A generic model for representing design methods; Proc. 11th Intl. Conf. Software Engineering
56. Punchello P.P., Torrigiani P., Pietri F., Burion R., Cardile B. and Conit M.: ASPIS: a knowledge-based CASE environment, IEEE Software, March 1988, 58-65
57. Ramesh B. and Dhar V.: Supporting systems development by capturing deliberations duing requirements engineering. IEEE Trans. Software Eng. 18, 6, 498-510
58. Reubenstein H.B.: Automated Acquisition of Evolving Informal Descriptions, Ph.D. Dissertion, Al Laboratory, Massachusettes Institute of Technology
59. Reubenstein H.B. and Waters R.C.:The Requirements Apprentice: Automated Assistance for Requirements Acquisition. In: IEEE Transaction on Software Engineering, March 1991, p. 226-240
60. Rosch E.: Prototype classification and logical classification: the two systems. In E.K Scholnick (ed.): New Trends in Conceptual Representation: Challenges to Piaget's Theory ? LEA.
61. Rose T., Jarke M., Gocek M., Maltzahn C, Nissen H.: A decision-based configuration process environment. Software Engineering Journal 6, 5.
62. Ross D.T.: Applications and extensions of SADT. IEEE Computer, April 1985, 24-35
63. Royce W.W.; Managing the development of large software systems; Proc. IEEE WESCON.
64. Schank R.C., Dynamic Memory: A Theory of Reminding and Learning in People and Computers. Cambridge University Press
65. Scheer, A.-W., Architektur betrieblicher Informationssysteme, Springer-Verlag
66. Schwanke R., An intelligent tool for re-engineering software modularity, 1991
67. Smolander K., Lyytinen K., Tahvanainen V.-P. and Marttiin P.: MetaEdit - A Flexible Graphical Environment for Methodology Modelling, Proceedings CAiSE 1991, Springer-Verlag.
68. Spivey, J.M.,:The Z Notation: A Reference Manual. Prentice-Hall International
69. Subramanian D., Genesereth M., The relevance of irrelevance, Proc. 10th LICAI, Morgan Kaufmann
70. Sutcliffe A.G., Object oriented systems analysis: the abstract question. Proc. IFIP WG 8.1 Conf. The Object Oriented Approach in Information Systems, Quebec City, Canada.
71. Sutcliffe A.G., Maiden N.: Software reusability: delivering productivity gains or short cuts, Proc. INTERACr90, North-Holland, 948-956.
72. Sutcliffe A.G. and Maiden N.: Analysing the analyst: cognitive models of aoftware engineering, to appear in Intl. J. Man-Machine Studies
73. Symonds A., Creating a software engineering knowledge base, IEEE Software, March 1988
74. Vitalari N. and Dickson G.W.: Problem solving for effective systems analysis: an experimental exploration, Comm. ACM 26, 11, 948-956
75. Wegner P., The object-oriented classification paradigm, Research Directions in Object-Oriented Programming, Shriver Wegner ed., MJT Press