{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,27]],"date-time":"2025-02-27T01:40:45Z","timestamp":1740620445773,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540653097"},{"type":"electronic","value":"9783540494393"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/10692867_8","type":"book-chapter","created":{"date-parts":[[2010,10,21]],"date-time":"2010-10-21T14:43:19Z","timestamp":1287672199000},"page":"179-202","source":"Crossref","is-referenced-by-count":1,"title":["A Two-Layered Approach to Support Systematic Software Development"],"prefix":"10.1007","author":[{"given":"Maritta","family":"Heisel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"J\u00e4hnichen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/BFb0030590","volume-title":"TAPSOFT\u201997: Theory and Practice of Software Development","author":"E. Astesiano","year":"1997","unstructured":"Astesiano, E., Reggio, G.: Formalism and Method. In: Bidoit, M., Dauchet, M. (eds.) CAAP 1997, FASE 1997, and TAPSOFT 1997. LNCS, vol.\u00a01214, pp. 93\u2013114. Springer, Heidelberg (1997)"},{"key":"8_CR2","series-title":"Lecture Notes in Computer Science","volume-title":"KORSO: Methods, Languages, and Tools for the Construction of Correct Software","year":"1995","unstructured":"Broy, M., J\u00e4hnichen, S. (eds.): KORSO 1995. LNCS, vol.\u00a01009. Springer, Heidelberg (1995)"},{"key":"8_CR3","unstructured":"Coleman, D., Arnold, P., Bodoff, S., Dollin, C., Gilchrist, H., Hayes, F., Jeremaes, P.: Object-Oriented Development: The Fusion Method. Prentice Hall, Englewood Criffs (1994)"},{"issue":"12","key":"8_CR4","doi-asserted-by":"publisher","first-page":"866","DOI":"10.1109\/32.553635","volume":"22","author":"Y. Chernack","year":"1996","unstructured":"Chernack, Y.: A statistical approach to the inspection checklist formal synthesis and improvement. IEEE Transactions on Software Engineering\u00a022(12), 866\u2013874 (1996)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"8_CR5","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569760","volume-title":"Specification and Proof in Real-Time CSP","author":"J. Davies","year":"1993","unstructured":"Davies, J.: Specification and Proof in Real-Time CSP. Cambridge University Press, Cambridge (1993)"},{"volume-title":"Software Process Modeling and Technology","year":"1994","key":"8_CR6","unstructured":"Finkelstein, A., Kramer, J., Nuseibeh, B. (eds.): Software Process Modeling and Technology. Wiley, Chichester (1994)"},{"key":"8_CR7","unstructured":"Fuggetta, A., Wolf, A. (eds.): Software Process. Trends in Software 4. Wiley, Chichester (1996)"},{"key":"8_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1007\/BFb0053585","volume-title":"Fundamental Approaches to Software Engineering","author":"W. Grieskamp","year":"1998","unstructured":"Grieskamp, W., Heisel, M., D\u00f6rr, H.: Specifying safety-critical embedded systems with Statecharts and Z: An agenda for cyclic software components. In: Astesiano, E. (ed.) ETAPS 1998 and FASE 1998. LNCS, vol.\u00a01382, pp. 88\u2013106. Springer, Heidelberg (1998)"},{"key":"8_CR9","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns Elements of Reusable Object-Oriented Software. Addison Wesley, Reading (1995)"},{"key":"8_CR10","unstructured":"Garg, P., Jazayeri, M.: Process-centered software engineering environments: A grand tour. In: Fuggetta, A., Wolf, A. (eds.) Software Process, Trends in Software, vol.\u00a04, ch. 2, pp. 25\u201352. Wiley, Chichester (1996)"},{"key":"8_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-5983-1","volume-title":"The Science of Programming","author":"D. Gries","year":"1981","unstructured":"Gries, D.: The Science of Programming. Springer, Heidelberg (1981)"},{"key":"8_CR12","unstructured":"Heisel, M.: Methodology and Machine Support for the Application of Formal Techniques in Software Engineering. Habilitation Thesis, TU Berlin (1997)"},{"key":"8_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"818","DOI":"10.1007\/BFb0030643","volume-title":"TAPSOFT\u201997: Theory and Practice of Software Development","author":"M. Heisel","year":"1997","unstructured":"Heisel, M., L\u00e9vy, N.: Using LOTOS patterns to characterize architectural styles. In: Bidoit, M., Dauchet, M. (eds.) CAAP 1997, FASE 1997, and TAPSOFT 1997. LNCS, vol.\u00a01214, pp. 818\u2013832. Springer, Heidelberg (1997)"},{"key":"8_CR14","first-page":"31","volume-title":"Proceedings 15th International Conference on Computer Safety, Reliability and Security (SAFECOMP)","author":"M. Heisel","year":"1996","unstructured":"Heisel, M., S\u00fchl, C.: Formal specification of safety-critical software with Z and real-time CSP. In: Schoitsch, E. (ed.) Proceedings 15th International Conference on Computer Safety, Reliability and Security (SAFECOMP), pp. 31\u201345. Springer, London (1996)"},{"key":"8_CR15","first-page":"295","volume-title":"Proceedings 16th International Conference on Computer Safety, Reliability and Security (SAFECOMP)","author":"M. Heisel","year":"1997","unstructured":"Heisel, M., S\u00fchl, C.: Methodological support for formally specifying safety-critical software. In: Daniel, P. (ed.) Proceedings 16th International Conference on Computer Safety, Reliability and Security (SAFECOMP), pp. 295\u2013308. Springer, London (1997)"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"Heisel, M., Souqui\u00e8res, J.: Methodological support for requirements elicitation and formal specification. In: Proc. 9th International Workshop on Software Specification and Design, pp. 153\u2013155. IEEE Computer Society Press, Los Alamitos (1998)","DOI":"10.1109\/IWSSD.1998.667932"},{"key":"8_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"272","DOI":"10.1007\/3-540-60406-5_20","volume-title":"Software Engineering - ESEC \u201995","author":"M. Heisel","year":"1995","unstructured":"Heisel, M., Santen, T., Zimmermann, D.: Tool support for formal software development: A generic architecture. In: Botella, P., Sch\u00e4fer, W. (eds.) ESEC 1995. LNCS, vol.\u00a0989, pp. 272\u2013293. Springer, Heidelberg (1995)"},{"key":"8_CR18","unstructured":"Humphrey, W.S.: A Discipline for Software Engineering. Addison-Wesley, London (1995)"},{"key":"8_CR19","first-page":"1073","volume-title":"Handbook of Theoretical Computer Science","author":"P.C. Kanellakis","year":"1990","unstructured":"Kanellakis, P.C.: Elements of relational database theory. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, vol.\u00a0B, ch. 17, pp. 1073\u20131156. Elsevier, Amsterdam (1990)"},{"key":"8_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/942578.807067","volume":"7","author":"R. Milner","year":"1972","unstructured":"Milner, R.: Logic for computable functions: description of a machine implementation. SIGPLAN Notices\u00a07, 1\u20136 (1972)","journal-title":"SIGPLAN Notices"},{"key":"8_CR21","first-page":"2","volume-title":"9th International Conference on Software Engineering","author":"L. Osterweil","year":"1987","unstructured":"Osterweil, L.: Software processes are software too. In: 9th International Conference on Software Engineering, pp. 2\u201313. IEEE Computer Society Press, Los Alamitos (1987)"},{"key":"8_CR22","unstructured":"Reggio, G.: A method to capture formal requirements: the Invoice case study. In: Allemand, M., Attiogbe, C., Habrias, H. (eds.) Proceedings Workshop on Comparing Specification Techniques. IRIN \u2013 Universit\u00e9 de Nantes (1998)"},{"key":"8_CR23","doi-asserted-by":"crossref","unstructured":"Rich, C., Waters, R.C.: The programmer\u2019s apprentice: A research overview. IEEE Computer, 10\u201325 (November 1988)","DOI":"10.1109\/2.86782"},{"key":"8_CR24","volume-title":"Software Architecture","author":"M. Shaw","year":"1996","unstructured":"Shaw, M., Garlan, D.: Software Architecture. IEEE Computer Society Press, Los Alamitos (1996)"},{"key":"8_CR25","doi-asserted-by":"crossref","unstructured":"Souqui\u00e8res, J., L\u00e9vy, N.: Description of specification developments. In: Proc. of Requirements Engineering 1993, pp. 216\u2013223 (1993)","DOI":"10.1109\/ISRE.1993.324855"},{"issue":"9","key":"8_CR26","doi-asserted-by":"publisher","first-page":"1024","DOI":"10.1109\/32.58788","volume":"16","author":"D.R. Smith","year":"1990","unstructured":"Smith, D.R.: KIDS: A semi-automatic program development system. IEEE Transactions on Software Engineering\u00a016(9), 1024\u20131043 (1990)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"8_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1007\/3-540-63531-9_12","volume-title":"Software Engineering - ESEC-FSE \u201997","author":"S. Sutton","year":"1997","unstructured":"Sutton, S., Osterweil, L.: The design of a next-generation process language. In: Jazayeri, M., Schauer, H. (eds.) ESEC 1997 and ESEC-FSE 1997. LNCS, vol.\u00a01301, pp. 142\u2013158. Springer, Heidelberg (1997)"},{"key":"8_CR28","unstructured":"Spivey, J.M.: The Z Notation - A Reference Manual, 2nd edn. Prentice Hall, Englewood Cliffs (1992)"},{"issue":"11","key":"8_CR29","doi-asserted-by":"publisher","first-page":"902","DOI":"10.1145\/182.358443","volume":"26","author":"D.S. Wile","year":"1983","unstructured":"Wile, D.S.: Program developments: Formal explanations of implementations. Communications of the ACM\u00a026(11), 902\u2013911 (1983)","journal-title":"Communications of the ACM"},{"key":"8_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/3-540-49646-7_2","volume-title":"Computer Safety, Reliability and Security","author":"K. Winter","year":"1998","unstructured":"Winter, K., Santen, T., Heisel, M.: An agenda for event-driven software components with complex data models. In: Ehren-berger, W. (ed.) SAFECOMP 1998. LNCS, vol.\u00a01516, p. 16. Springer, Heidelberg (1998) (to appear)"}],"container-title":["Lecture Notes in Computer Science","Requirements Targeting Software and Systems Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10692867_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,27]],"date-time":"2025-02-27T01:01:56Z","timestamp":1740618116000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10692867_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540653097","9783540494393"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/10692867_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}