Domain engineering: A "radical innovation" for software and systems engineering? A biased account

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2772, Issue , 2004, Pages 100-144

  Bjørner, Dines ^a  

^a TECHNICAL UNIVERSITY OF DENMARK   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

BEHAVIORAL RESEARCH; COMPUTATION THEORY; COMPUTER SOFTWARE REUSABILITY; REQUIREMENTS ENGINEERING; SEMANTICS; SYSTEMS ENGINEERING;

DOMAIN ENGINEERING; DOMAIN REQUIREMENTS; FORMAL DESCRIPTION; MACHINE REQUIREMENTS; RADICAL INNOVATION; REUSABLE SOFTWARE COMPONENTS; SOFTWARE AND SYSTEMS ENGINEERINGS; SUPPORT TECHNOLOGY;

SOFTWARE DESIGN;

EID: 35248822345     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Article

References (101)

1. Special Issue on Scenario Management. IEEE Trans. on Software Engineering, December 1998.
2. G. Abowd, R: Allen, and D. Garlan. Using style to understand descriptions of software architecture. SIGSOFT Software Engineering Notes, 18(5):9-20, December 1993.
3. G. Abowd, R. Allen, and D. Garlan. Formalizing style to understand descriptions of software architecture. ACM Transactions on Software Engineering and Methodology, 4(4):319-364, Oct 1995.
4. J.-R. Abrial. The B-Book: Assigning Programs to Meanings. Cambridge University Press, 1996.
5. R. Allen and D. Garlan. A formal approach to software architectures. In IFIP Transactions A (Computer Science and Technology); IFIP Wordl Congress; Madrid, Spain, volume vol.A-12, pages 134-141, Amsterdam, Netherlands, 1992. IFIP, North Holland.
6. R. Allen and D. Garlan. Formalizing architectural connection. In 16th International Conference on Software Engineering (Cat. No.94CH3409-0); Sorrento, Italy, pages 71-80, Los Alamitos, CA, USA, 1994. IEEE Comput. Soc. Press.
7. R. Allen and D. Garlan. A case study in architectural modeling: the AEGIS system. In 8th International Workshop on Software Specification and Design; Schloss Velen, Germany, pages 6-15, Los Alamitos, CA, USA, 1996. IEEE Comput. Soc. Press.
8. R. Barden, S. Stepney, and D. Cooper. Z in Practice. BCS Practitioner Series. Prentice Hall, 1994.
9. J. Bicarregui, J. Fitzgerald, P. Lindsay, R. Moore, and B. Ritchie. Proof in VDM: A Practitioner's Guide. FACIT. Springer-Verlag, 1994. ISBN 3-540-19813-X.
10. J. C. Bicarregui, J. S. Fitzgerald, R. Moore, and B. Ritchie. Proof in VDM: Reader's Notes. The Universities of Newcastle upon Tyne and Manchester, and the Rutherford Appleton Laboratory, UK, 1994. Hardcopy available from JSF at The Dept. of Computing Science, University of Newcastle upon Tyne, NE1 7RU, UK, or from BR or JCB at The Informatics Dept., Rutherford Appleton Laboratory, Oxfordshire OX11 0QX, UK. Compressed Postscript is available by ftp from ftp.cs.man.ac.uk in directoty /pub/Proof-in-VDM.
11. D. Bjøner and C. Jones, editors. Formal Specification and Software Development. Prentice-Hall International, 1982.
12. D. Bjørner. Prospects for a Viable Software Industry -Enterprise Models, Design Calculi, and Reusable Modules. In First ACM Japan Chapter Conference, Singapore, March 7-9 1994. World Scientific Publ. Appendix in collaboration with Søren Prehn and Dong Yulin.
13. D. Bjørner. FISH: A Fisheries Infrastructure -Hardware/Software Concept. Technical report, Informatics and Mathematical Modelling, Building 322, Richard Petersens Plads, Technical University of Denmark, 'DK-2800 Kgs.Lyngby, Denmark, 1998. This document provides a basis for an M.Sc. Thesis project carried out by Audur Thorun Rögnvaldsdottir, Sept. 1998 - Aug. 1999.
14. 8. 15. D. Bjørner. Project Information, Monitoring and Control Systems - A Domain Analysis. Technical report, Informatics and Mathematical Modelling, Building 322, Richard Petersens Plads, Technical University of Denmark, DK-2800 Kgs.Lyngby, Denmark, 1999.
15. 9.
16. 10.
17. D. Bjørner. Domain Models of "The Market" -in Preparation for E-Transaction Systems. In Practical Foundations of Business and System Specifications (Eds.: Haim Kilov and Ken Baclawski), page 34 pages, The Netherlands, December 2002. Kluwer Academic Press.
18. D. Bjørner. UToPiA: Coherent Sets of Computing Systems Development Methods, A GRAND CHALLENGE for Computing Science, August 2002.
19. D. Bjørner. Domain Engineering -A Prerequisite for Requirements Engineering - Principles and Techniques. Technical report, Informatics and Mathematical Modelling, Building 322, Richard Petersens Plads, Technical University of Denmark, DK-2800 Kgs.Lyngby, Denmark, 2003. This paper is one of a series of papers currently being submitted for publication: [25,26,29,23,21,24,27,28,22]. DRAFT Postscript document.
20. D. Bjørner. E-Business. Towards a Domain Theory for Work Flow Systems. Technical report, Informatics and Mathematical Modelling, Building 322, Richard Petersens Plads, Technical University of Denmark, DK-2800 Kgs.Lyngby, Denmark, 2003. This paper is one of a series of papers currently being submitted for publication: [25,26,20,29,23,24,27,28,22].
21. D. Bjørner. Financial Service Institutions: Banks, Securities Trading, Insurance, &c. Towards a Domain Theory for Work Flow Systems. Technical report, Informatics and Mathematical Modelling, Building 322, Richard Petersens Plads, Technical University of Denmark, DK-2800 Kgs.Lyngby, Denmark, 2003. This paper is one of a series of papers currently being submitted for publication: [25,26,20,29,23,21,24,28,27].
22. D. Bjørner. Health-care Systems. Towards a Domain Theory for Work Flow Systems. Technical report, Informatics and Mathematical Modelling, Building 322, Richard Petersens Plads, Technical University of Denmark, DK-2800 Kgs.Lyngby, Denmark, 2003. This paper is one of a series of papers currently being submitted for publication: [25,26,20,29,21,24,27,28,22].
23. D. Bjørner. Logistics. Towards a Domain Theory for Work Flow Systems. Technical report, Informatics and Mathematical Modelling, Building 322, Richard Petersens Plads, Technical University of Denmark, DK-2800 Kgs.Lyngby, Denmark, 2003. This paper is one of a series of papers currently being submitted for publication: [25,26,20,29,23,21,27,28,22].
24. D. Bjørner. Models, Semiotics, Documents and Descriptions -Towards Software Engineering Literacy. Technical report, Informatics and Mathematical Modelling, Building 322, Richard Petersens Plads, Technical University of Denmark, DK-2800 Kgs.Lyngby, Denmark, 2003. This paper is one of a series of papers currently being submitted for publication: [26,20,29,23,21,24,27,28,22]. DRAFT Postscript document.
25. D. Bjørner. Principles and Techniques of Abstract Modelling - Some Basic Classifications. - Towards a Methodology of Software Engineering. Technical report, Informatics and Mathematical Modelling, Building 322, Richard Petersens Plads, Technical University of Denmark, DK-2800 Kgs.Lyngby, Denmark, 2003. This paper is one of a series of papers currently being submitted for publication: [25,20,29,23,21,24,27,28,22]. DRAFT Postscript document.
26. D. Bjørner. Projects & Production: Planning, Plans & Execution. Towards a Domain Theory for Work Flow Systems. Technical report, Informatics and Mathematical Modelling, Building 322, Richard Petersens Plads, Technical University of Denmark, DK-2800 Kgs.Lyngby, Denmark, 2003. This paper is one of a series of papers currently being submitted for publication: [25,26,20,29,23,21,24,28,22].
27. D. Bjørner. Railways Systems: Towards a Domain Theory. Technical report, Informatics and Mathematical Modelling, Building 322, Richard Petersens Plads, Technical University of Denmark, DK-2800 Kgs.Lyngby, Denmark, 2003. This paper is one of a series of papers currently being submitted for publication: [25,26,20,29,23,21,24,27,22].
28. D. Bjørner. Requirements Engineering -Some Principles and Techniques - Bridging Domain Engineering and Software Design. Technical report, Informatics and Mathematical Modelling, Building 322, Richard Petersens Plads, Technical University of Denmark, DK-2800 Kgs.Lyngby, Denmark, 2003. This paper is one of a series of papers currently being submitted for publication: [25,26,20,23,21,24,27,28,22]. DRAFT Postscript document.
29. D. Bjørner. The SE Book: Principles and Techniques of Software Engineering, volume I: Abstraction & Modelling (750 pages), II: Descriptions and Domains (est.: 500 pages), III: Requirements, Software Design and Management (est. 450 pages). [Publisher currently (June 2003) being negotiated], 2003-2004.
30. 11.
31. D. Bjørner, D. Y. Lin, and S. Prehn. Domain Analyses: A Case Study of Station Management. In KICS'94: Kunming International CASE Symposium, Yunnan Province, P.R. of China. Software Engineering Association of Japan, 16-20 November 1994.
32. 12.
33. 13.
34. D. Bjørner, V. Rosario, and M. Helder. A Normative Model of Concrete Banking Operations - Banking Rules & Regulations and Staff/Client Behaviours. Research, Informatics and Mathematical Modelling, Building 322, Richard Petersens Plads, Technical University of Denmark, DK-2800 Kgs.Lyngby, Denmark, June 1998. (Need be revised: Some typos etc. !).
35. L. Bottaci and J. Jones. Formal Specification Using Z: A Modelling Approach. International Thomson Publishing, London, 1995.
36. J. P. Bowen. Formal Specification and Documentation Using Z: A Case Study Approach. International Thomson Computer Press, 1996.
37. A. Bryant and L. Semmens, editors. Methods Integration, Electronic Workshops in Computing. Springer-Verlag, 1996.
38. M. J. Butler. Feature interaction analysis using Z. Åbo Akademi University, Finland, 1994.
39. Z. Chaochen and M. R. Hansen. Duration Calculus: A formal approach to real-time systems. Monographs in Theoretical Computer Science. Springer-Verlag, 2002 (2003). A 238 page manuscript was sent to the potential publisher Monday 15 July 2002. This book collects the work of the main originator and one of the main contributors to the theory of duration calculi. As such the book represents a dozen years of research.
40. G. Clemmensen and O. Oest. Formal specification and development of an Ada compiler - a VDM case study. In Proc. 7th International Conf. on Software Engineering, 26.-29. March 1984, Orlando, Florida, pages 430-440. IEEE, 1984.
41. I. Craig. The Formal Specification of Advanced AI Architectures. AI Series. Ellis Horwood, Sept. 1991.
42. C. J. e. D. Bjørner. The Vienna Development Method: The Meta-Language, volume 61 of Lecture Notes in Computer Science. Springer-Verlag, 1978.
43. A. Dardenne, S. Fikas, and A. van Lamsweerde. Goal-Directed Concept Acquisition in Requirements Elicitation. In Proc. IWSSD-6, 6th Intl. Workshop on Software Specification and Design, pages 14-21, Como, Italy, 1991. IEEE Computer Society Press.
44. A. Dardenne, A. van Lamsweerde, and S. Fikas. Goal-Directed Requirements Acquisition. Science of Computer Programming, 20:3-50, 1993.
45. R. Darimont and A. van Lamsweerde. Formal Refinement Patterns for Goal-Driven Requirements Elaboration/In Proc. FSE'4, Fourth ACM SIGSOFT Symp. on the Foundations of Software Enginering, pages 179-190. ACM, October 1996.
46. A. Diller. Z: An Introduction to Formal Methods. John Wiley & Sons, 1990.
47. A. Diller. Z: An Introduction to Formal Methods. John Wiley & Sons, 2nd edition, 1994.
48. M. Feather, S. Fikas, A. van Lamsweerde, and C. Ponsard. Reconciling System Requirements and Runtime Behaviours. In Proc. IWSSD'98, 9th Intl. Workshop on Software Specification and Design, Isobe, Japan, April 1998. IEEE Computer Society Press.
49. J. Fitzgerald and P. G. Larsen. Software System Design: Formal Methods into Practice. Cambridge University Press, The Edinburgh Building, Cambridge CB2 2RU, UK, 1997. To appear.
50. D. Garlan. Formal approaches to software architecture. In Studies of Software Design. ICSE '93 Workshop. Selected Papers, pages 64-76, Berlin, Germany, 1996. Springer-Verlag.
51. D. Garlan and M. Shaw. An introduction to software architecture, pages 1-39. World Scientific, Singapore, 1993.
52. C. George, P. Haff, K. Havelund, A. Haxthausen, R. Milne, C. B. Nielsen, S. Prehn, and K. R. Wagner. The RAISE Specification Language. The BCS Practitioner Series. Prentice-Hall, Kernel Hampstead, England, 1992.
53. C. George, A. Haxthausen, S. Hughes, R. Milne, S. Prehn, and J. S. Pedersen. The RAISE Method. The BCS Practitioner Series. Prentice-Hall, Hemel Hampstead, England, 1995.
54. C. W. George, H. D. Van, T. Janowski, and R. Moore. Case Studies using The RAISE Method. FACTS (Formal Aspects of Computing: Theory and Software) and FME (Formal Methods Europe). Springer-Verlag, London, 2002. This book reports on a number of case studies using RAISE (Rigorous Approach to Software Engineering). The case studies were done in the period 1994-2001 at UNU/IIST, the UN University's International Institute for Software Technology, Macau (till 20 Dec., 1997, Chinese Teritory under Portuguese administration, now a Special Administrative Region (SAR) of (the so-called People's Republic of) China).
55. J. A. Goguen and M. Girotka, editors. Requirements Engineering: Social and Technical Issues. Academic Press, 1994.
56. J. A. Goguen and C. Linde. Techniques for Requirements Elicitation. In Proc. RE'93, First IEEE Symposium on Requirements Engineering, pages 152-164, San Diego, Calif., USA, 1993. IEEE Computer Society Press.
57. S. J. Greenspan, J. Mylopoulos, and A. Borgida. Capturing More World-Knowledge in Requirements Specification. In Proc. 6th ICSE: Intl. Conf. on Software Engineering, Tokyo, Japan, 1982. IEEE Computer Society Press.
58. S. J. Greenspan, J. Mylopoulos, and A. Borgida. A Requirements Modelling Language. Information Systems, 11(1):9-23, 1986. (About RML).
59. P. Haff, editor. The Formal Definition of CHILL. ITU (Intl. Telecmm. Union), Geneva, Switzerland, 1981.
60. I. J. Hayes. Specification Case Studies. Prentice Hall International Series in Computer Science, 2nd edition, 1993.
61. C. Hoare. A Grand Challenge for Computer Science. Presented at the UNU/IIST 10th Anniversary Symposium, Lisboa, Portugal, March 19, 2002, and at the IFIP WG2.3 Meeting, Abo/Turku, Finland, August 12, 2002. March, August 2002.
62. C. Hoare and H. J. Feng. Unifying Theories of Programming. Prentice Hall, 1997.
63. A. Hunter and B. Nusëibeh. Managing Inconsistent Specifications: Reasoning, Analysis and Action. ACM Transactions on Software Engineering and Methodology, 7(4):335-367, October 1998.
64. M. Imperato. An Introduction to Z. Chart well-Bratt, 1991.
65. J. Jacky. The Way of Z: Practical Programming with Formal Methods. Cambridge University Press, 1997.
66. C. Jones. Systematic Software Development Using VDM. Prentice-Hall, 1986.
67. C. Jones. Teaching notes for systematic software development using vdm. Technical Report UMCS 86-4-2, Univ. of Manchester, 1986.
68. C. B. Jones. Software Development A Rigorous Approach. Prentice-Hall International, Englewood Cliffs, New Jersey, 1980.
69. D. Lightfoot. Formal Specification using Z. Macmillan, 1991.
70. Z. Manna and A. Pnueli. The Temporal Logic of Reactive Systems: Specifications. Addison Wesley, 1991.
71. Z. Manna and A. Pnueli. The Temporal Logic of Reactive Systems: Safety. Addison Wesley, 1995.
72. J. A. McDermid and P. Whysall. Formal System Specification and Implementation using Z. International Series in Computer Science. Prentice Hall, Hemel Hempstead, Hertfordshire, UK, 1992. Withdrawn.
73. M. A. McMorran and S. Powell. Z Guide for Beginners. Blackwell Scientific, 1993.
74. J. Mylopoulos. Information Modelling in the Time of revolution. Information Systems, 23(3/4):127-155, 1998.
75. J. Mylopoulos, L. Chung, and B. Nixon. Representing and Using Non-Functional Requirements: A Process-oriented Approach. IEEE Trans. on Software Engineering, 18(6):483-497, June 1992.
76. J. Mylopoulos, L. Chung, and E. Yu. From Object-Oriented to Goal-Oriented Requirements Analysis. CACM: Communications of the ACM, 42(1):31-37, January 1999.
77. B. Nuseibeh, J. Kramer, and A. Finkelstein. A Framework for Expressing the Relationships between Multiple Views in Requirements Specifications. IEEE Transactions on Software Engineering, 20(10):760-773, October 1994.
78. O. Oest. VDM from research to practice. In H.-J. Kugler, editor, Information Processing '86, pages 527-533. IFIP World Congress Proceedings, North-Holland Publ.Co., Amsterdam, 1986.
79. H. M. Petersen. Agents and Speech Acts: A Semantic Analysis. Master's thesis, Informatics and Mathematical Modelling, Computer Science and Engineering, Bldg. 322, Richard Petersens Plads, Technical University of Denmark, DK-2800 Kgs. Lyngby, Denmark, 20 June 2002.
80. B. F. Potter, J. E. Sinclair, and D. Till. An Introduction to Formal Specification and Z. Prentice Hall International Series in Computer Science, 1991.
81. B. F. Potter, J. E. Sinclair, and D. Till. An Introduction to Formal Specification and Z. Prentice Hall International Series in Computer Science, 2nd edition, 1996.
82. D. Rann, J. Turner, and J. Whitworth. Z: A Beginner's Guide. Chapman & Hall, London, 1994.
83. B. Ratcliff. Introducing Specification Using Z: A Practical Case Study Approach. International Series in Software Engineering. McGraw-Hill, 1994.
84. C. Shekaran, D. Garlan, and et al. The role of software architecture in requirements engineering. In First International Conference on Requirements Engineering (Cat: N0.94TH0613-0); Colorado Springs, CO, USA, pages 239-245, Los Alamitos, CA, USA, 1994. IEEE Comput. Soc. Press.
85. D. Sheppard. An Introduction to Formal Specification with Z and VDM. International Series in Software Engineering. McGraw Hill, 1995.
86. J. M. Spivey. Understanding Z: A Specification Language and its Formal Semantics, volume 3 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Jan. 1988.
87. J. M. Spivey. The Z Notation: A Reference Manual. Prentice Hall International Series in Computer Science, 2nd edition, 1992.
88. M. Thomas. A Grand Challenge for Computer Science. Presented at the CoLogNET/-FME Industry Day, August 25, 2002, at the FLoC'02 Federated Logic Conference, Copenhagen, Denmark. July 2002.
89. A. van Lamsweerde. Requirements Engineering in the Year 00: A Research Perspective. In Proceedings 22nd International Conference on Software Engineering, ICSE'2000. IEEE Computer Society Press, 2000.
90. A. van Lamsweerde, R. Darimont, and E. Letier. Managing Conflicts in GoalDriven Requirements Engineering. IEEE Transaction on Software Engineering, 1998. Special Issue on Inconsistency Management in Software Development.
91. A. van Lamsweerde and E. Letier. Integrating Obstacles in Goal-Driven Requirements Engineering. In Proc. ICSE-98:20th International Conference on Software Enginereering, Kyoto, Japan, April 1998. IEEE Computer Society Press.
92. A. van Lamsweerde and L. Willemet. Inferring Declarative Requirements Specification from Operational Scenarios. IEEE Transaction on Software Engineering, pages 1089-1114, 1998. Special Issue on Scenario Management.
93. A. van Lamsweerde and L. Willemet. Handling Obstacles in Goal-Driven Requirements Engineering. IEEE Transaction on Software Engineering, 2000. Special Issue on Exception Handling.
94. J. C. P. Woodcock. Using Standard Z. International Series in Computer Science. Prentice Hall, Hemel Hempstead, Hertfordshire, UK, 1993. In preparation.
95. J. C. P. Woodcock and J. Davies. Using Z: Specification, Proof and Refinement. Prentice Hall International Series in Computer Science, 1996.
96. J. C. P. Woodcock and M. Loomes. Software Engineering Mathematics. Addison-Wesley Publishing Company, 1989.
97. J. B. Wordsworth. Software Development with Z: A Practical Approach to Formal Methods in Software Engineering. Addison-Wesley Publishing Company, 1993.
98. E. Yu and J. Mylopoulos. Understanding "why" in Software Process Modelling, Analysis and Design. In Proc. 16th ICSE: Intl. Conf. on Software Engineering, Sorrento, Italy, 1994. IEEE Press.
99. P. Zave. Classification of Research Efforts in Requirements Engineering. ACM Computing Surveys, 29(4):315-321, 1997.
100. P. Zave and M. A. Jackson. Techniques for partial specification and specification of switching systems. In S. Prehn and W. Toetenel, editors, VDM'91: Formal Software Development Methods, volume 551 of LNCS, pages 511-525. Springer-Verlag, 1991.
101. P. Zave and M. A. Jackson. Requirements for telecommunications services: an attack on complexity. In Proceedings of the Third IEEE International Symposium on Requirements Engineering (Cat. No.97TB100086), pages 106-117. IEEE Comput. Soc. Press, 1997.