{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T07:27:00Z","timestamp":1748071620839,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540604068"},{"type":"electronic","value":"9783540455523"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60406-5_20","type":"book-chapter","created":{"date-parts":[[2011,7,5]],"date-time":"2011-07-05T19:52:06Z","timestamp":1309895526000},"page":"272-293","source":"Crossref","is-referenced-by-count":6,"title":["Tool support for formal software development: A generic architecture"],"prefix":"10.1007","author":[{"given":"Maritta","family":"Heisel","sequence":"first","affiliation":[]},{"given":"Thomas","family":"Santen","sequence":"additional","affiliation":[]},{"given":"Dominik","family":"Zimmermann","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,8,18]]},"reference":[{"key":"20_CR1","first-page":"69","volume-title":"Automatic Program Construction Techniques","author":"W. Bibel","year":"1984","unstructured":"W. Bibel and K. M. H\u00f6rnig. LOPS \u2014 a system based on a strategical approach to program synthesis. In A. Biermann, G. Guiho, and Y. Kodratoff, editors, Automatic Program Construction Techniques, pages 69\u201389. MacMillan, New York, 1984."},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"M. Broy and S. J\u00e4hnichen, editors. KORSO: Methods, Languages, and Tools to Construct Correct Software. LNCS. Springer Verlag, 1995. to appear.","DOI":"10.1007\/BFb0015452"},{"key":"20_CR3","unstructured":"CIP System Group. The Munich Project CIP. Volume II: The Program Transformation System CIP-S. LNCS 292. Springer-Verlag, 1987."},{"key":"20_CR4","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1145\/58566.59297","volume":"6","author":"J. Conclin","year":"1988","unstructured":"J. Conclin and M. Begeman. gIBIS: a hypertext tool for exploratory policy discussion. ACM Transactions on Office Informations Systems, 6:303\u2013331, October 1988.","journal-title":"ACM Transactions on Office Informations Systems"},{"key":"20_CR5","volume-title":"Technical Report NISTGCR 93\/626","author":"D. Craigan","year":"1993","unstructured":"D. Craigan, S. Gerhart, and T. Ralston. An international survey of industrial applications of formal methods. Technical Report NISTGCR 93\/626, National Institute of Standards and Technology, Computer Systems Laboratory, Gaithersburg, MD 20899, 1993."},{"key":"20_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-5621-2","volume-title":"The Evolution of Programs","author":"N. Dershowitz","year":"1983","unstructured":"N. Dershowitz. The Evolution of Programs. Birkh\u00e4user, Boston, 1983."},{"key":"20_CR7","unstructured":"M. Fr\u00f6hlich and M. Werner. daVinci V1.3 User Manual. Technical report, Universit\u00e4t Bremen, 1994."},{"key":"20_CR8","unstructured":"R. Goldblatt. Axiomatising the Logic of Computer Programming. LNCS 130. Springer-Verlag, 1982."},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"D. Gries. The Science of Programming. Springer-Verlag, 1981.","DOI":"10.1007\/978-1-4612-5983-1"},{"key":"20_CR10","unstructured":"M. Heisel. A formal notion of strategy for software development. Technical Report 94-28, TU Berlin, 1994."},{"key":"20_CR11","doi-asserted-by":"crossref","unstructured":"M. Heisel, W. Reif, and W. Stephan. Implementing verification strategies in the KIV system. In E. Lusk and R. Overbeek, editors, 9th International Conference on Automated Deduction, LNCS 310, pages 131\u2013140. Springer-Verlag, 1988.","DOI":"10.1007\/BFb0012828"},{"key":"20_CR12","unstructured":"M. Heisel, T. Santen, and D. Zimmermann. A generic system architecture of strategy-based software development. Technical Report 95-8, Technical University of Berlin, 1995."},{"key":"20_CR13","doi-asserted-by":"crossref","unstructured":"B. Hoffmann and B. Krieg-Br\u00fcckner, editors. PROgram Development by SPECification and TRAnsformation, the PROSPECTRA Methodology, Language Family and System. LNCS 680. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-56733-X"},{"key":"20_CR14","unstructured":"B. Krieg-Br\u00fcckner, W. Menzel, W. Reif, H. Ruess, T. Santen, D. Schwier, G. Schellhorn, K. Stenzel, and W. Stephan. System Architecture Framework for KORSO. In Broy and J\u00e4hnichen [2], 1995. to appear."},{"key":"20_CR15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/942578.807067","volume":"7","author":"R. Milner","year":"1972","unstructured":"R. Milner. Logic for computable functions: description of a machine implementation. SIGPLAN Notices, 7:1\u20136, 1972.","journal-title":"SIGPLAN Notices"},{"key":"20_CR16","doi-asserted-by":"crossref","unstructured":"L. Osterweil. Software processes are software too. In 9th International Conference on Software Engineering, pages 2\u201313. IEEE Computer Society Press, 1987.","DOI":"10.1109\/TSE.1987.233154"},{"key":"20_CR17","unstructured":"J. K. Ousterhout. Tcl and the Tk Toolkit. Addison-Wesley, 1994."},{"key":"20_CR18","doi-asserted-by":"crossref","unstructured":"L. C. Paulson. Isabelle: The next seven hundred theorem provers. In E. Losk and R. Overbeek, editors, Ninth International Conference on Automated Deduction, LNCS 310, pages 772\u2013773. Springer Verlag, 1988.","DOI":"10.1007\/BFb0012891"},{"key":"20_CR19","doi-asserted-by":"crossref","unstructured":"C. Potts. A generic model for representing design methods. In International Conference on Software Engineering, pages 217\u2013226. IEEE Computer Society Press, 1989.","DOI":"10.1109\/ICSE.1989.714422"},{"key":"20_CR20","doi-asserted-by":"crossref","unstructured":"C. Rich and R. C. Waters. The programmer's apprentice: A research overview. IEEE Computer, pages 10\u201325, November 1988.","DOI":"10.1109\/2.86782"},{"issue":"4","key":"20_CR21","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1145\/129852.129855","volume":"35","author":"T. Shepard","year":"1992","unstructured":"T. Shepard, S. Sibbald, and C. Wortley. A visual software process language. Communications of the ACM, 35(4):37\u201344, April 1992.","journal-title":"Communications of the ACM"},{"key":"20_CR22","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/0004-3702(85)90083-9","volume":"27","author":"D. R. Smith","year":"1985","unstructured":"D. R. Smith. Top-down synthesis of divide-and-conquer algorithms. Artificial Intelligence, 27:43\u201396, 1985.","journal-title":"Artificial Intelligence"},{"issue":"9","key":"20_CR23","doi-asserted-by":"publisher","first-page":"1024","DOI":"10.1109\/32.58788","volume":"16","author":"D. R. Smith","year":"1990","unstructured":"D. R. Smith. KIDS: A semi-automatic program development system. IEEE Transactions on Software Engineering, 16(9): 1024\u20131043, September 1990.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"20_CR24","unstructured":"J. Souqui\u00e8res. Aide au D\u00e9veloppement de Specifications. Th\u00e8se d'Etat, Universit\u00e9 de Nancy I, 1993."},{"key":"20_CR25","doi-asserted-by":"crossref","unstructured":"J. Souqui\u00e8res and N. L\u00e9vy. Description of specification developments. In Proc. of Requirements Engineering '93, pages 216\u2013223, 1993.","DOI":"10.1109\/ISRE.1993.324855"},{"issue":"11","key":"20_CR26","doi-asserted-by":"publisher","first-page":"902","DOI":"10.1145\/182.358443","volume":"26","author":"D. S. Wile","year":"1983","unstructured":"D. S. Wile. Program developments: Formal explanations of implementations. Communications of the ACM, 26(11):902\u2013911, November 1983.","journal-title":"Communications of the ACM"}],"container-title":["Lecture Notes in Computer Science","Software Engineering \u2014 ESEC '95"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60406-5_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,6]],"date-time":"2025-03-06T23:32:52Z","timestamp":1741303972000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60406-5_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540604068","9783540455523"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-60406-5_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}