{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:21:20Z","timestamp":1725664880429},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540602712"},{"type":"electronic","value":"9783540447825"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60271-2_135","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T18:05:04Z","timestamp":1330279504000},"page":"434-448","source":"Crossref","is-referenced-by-count":7,"title":["A two-dimensional view of integrated formal and informal specification techniques"],"prefix":"10.1007","author":[{"given":"R. B.","family":"France","sequence":"first","affiliation":[]},{"given":"M. M.","family":"Larrondo-Petrie","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"27_CR1","volume-title":"Software Engineering Standards Symposium","author":"S. Auijla","year":"1993","unstructured":"S. Auijla, A. Bryant, and L. Semmens. A rigorous review technique: Using formal notations within conventional development methods. In Software Engineering Standards Symposium, U.K. IEEE Computer Society Press, 1993."},{"key":"27_CR2","unstructured":"D. Coleman, P. Arnold, S. Bodoff, C. Dollin, H. Gilchrist, F. Hayes, and P. Jeremaes. Object-Oriented Development: The Fusion Method. Prentice Hall, 1994."},{"key":"27_CR3","unstructured":"T. DeMarco. Structured Analysis and System Specification. Prentice-Hall, 1978."},{"key":"27_CR4","doi-asserted-by":"crossref","unstructured":"R. Elmstrom, R. Lintulampi, and M. Pezze. Giving semantics to SA\/RT by means of high-level timed Petri nets. Real-Time Systems, 5, 1993.","DOI":"10.1007\/BF01088591"},{"key":"27_CR5","unstructured":"R. France, T. Horton, M. Larrondo-Petrie, and S. Reeves. Process support for rigorous structured analysis. In Software Engineering Research Forum '93. SERF'93, 1993."},{"key":"27_CR6","doi-asserted-by":"crossref","unstructured":"R. France and M. M. Larrondo-Petrie. Understanding the role of formal specification techniques in requirements engineering. In to appear in Conference on Software Engineering Education. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-58951-1_105"},{"key":"27_CR7","doi-asserted-by":"crossref","unstructured":"R. B. France. Semantically Extended Data Flow Diagrams: A formal specification tool. IEEE TSE, 18(4), 1992.","DOI":"10.1109\/32.129221"},{"key":"27_CR8","unstructured":"C. Gane and T. Sarson. Structured Systems Analysis: Tools and techniques. Prentice-Hall, 1978."},{"key":"27_CR9","unstructured":"D. Hatley and I. Pirbhai. Strategies for Real-Time System Specification. Dover Press, 1987."},{"key":"27_CR10","unstructured":"F. Polack. Integrating formal notations and system analysis: using entity relationship diagrams. Software Engineering Journal"},{"key":"27_CR11","unstructured":"J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-Oriented Modeling and Design. Prentice Hall, 1991."},{"key":"27_CR12","doi-asserted-by":"crossref","unstructured":"L. Semmens and P. Allen. Using Yourdon and Z: An approach to formal specification. In Z User Workshop. Springer-Verlag, 1991.","DOI":"10.1007\/978-1-4471-3540-1_15"},{"key":"27_CR13","doi-asserted-by":"crossref","unstructured":"L. Semmens, R. B. France, and T. W. G. Docker. Integrated structured analysis and formal specification techniques. The Computer Journal, 35(6), 1992.","DOI":"10.1093\/comjnl\/35.6.600"},{"key":"27_CR14","unstructured":"S. Shlaer and S. J. Mellor. Object lifecycles: Modeling the world in states. Prentice Hall, 1992."},{"key":"27_CR15","unstructured":"J. M. Spivey. The Z notation: A reference manual. Prentice-Hall, 1989."},{"key":"27_CR16","unstructured":"T. H. Tse and L. Pong. Towards a formal foundation for DeMarco data flow diagrams. Technical report, Center of Computer Studies, University of Hong Kong, 1986."},{"key":"27_CR17","unstructured":"E. Yourdon. Modern Systems Analysis. Prentice-Hall, 1989."}],"container-title":["Lecture Notes in Computer Science","ZUM '95: The Z Formal Specification Notation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60271-2_135.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:57:12Z","timestamp":1605646632000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60271-2_135"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540602712","9783540447825"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-60271-2_135","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}