{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:08:49Z","timestamp":1725664129630},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540589518"},{"type":"electronic","value":"9783540491675"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-58951-1_105","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:56:14Z","timestamp":1330275374000},"page":"205-221","source":"Crossref","is-referenced-by-count":5,"title":["Understanding the role of formal specification techniques in requirements engineering"],"prefix":"10.1007","author":[{"given":"Robert B.","family":"France","sequence":"first","affiliation":[]},{"given":"Maria M.","family":"Larrondo-Petrie","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"19_CR1","unstructured":"B. Cohen. The CBM company: An exercise in the formal specification of a dataflow analysis. Technical report, City University, Class Notes 1991."},{"key":"19_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":"19_CR3","unstructured":"T. DeMarco. Structured Analysis and System Specification. Prentice-Hall, 1978."},{"key":"19_CR4","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":"19_CR5","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":"19_CR6","unstructured":"R. B. France and M. M. Larrondo-Petrie. A framework for integrating formal and structured analysis techniques. Technical report, Florida Atlantic University, TR-CSE-93-24 1993."},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"R. B. France and M. M. Larrondo-Petrie. From structured analysis to formal specifications: State of the theory. In Proceedings of the 1994 ACM Computer Science Conference. ACM, 1994.","DOI":"10.1145\/197530.197634"},{"key":"19_CR8","unstructured":"R. B. France and J. Wu. Towards systematic formalization of informal requirements specifications: A case study on the vending machine problem. In to appear in the ISCA'95 proceedings, (also a FAU technical report), 1995."},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"M. D. Fraser, K. Kumar, and V. K. Vaishnavi. Informal and formal requirements specification languages: Bridging the gap. IEEE Transaction on Software Engineering, 17(5), 1991.","DOI":"10.1109\/32.90448"},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"J. V. Guttag, J. J. Horning, and J. M. Wing. The Larch family of specification languages. IEEE Software, 2(5), 1985.","DOI":"10.1109\/MS.1985.231756"},{"key":"19_CR11","unstructured":"D. Hatley and I. Pirbhai. Strategies for Real-Time System Specification. Dover Press, 1987."},{"key":"19_CR12","unstructured":"C. Jones. Systematic software development using VDM. Prentice-Hall, 1986."},{"key":"19_CR13","unstructured":"P. G. Larsen, J. van Katwijk, N. Plat, K. Pronk, and H. Toetenel. SVDM: An integrated combination of SA and VDM. In Methods Integration Conference. Springer-Verlag, 1991."},{"key":"19_CR14","unstructured":"J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-Oriented Modeling and Design. Prentice Hall, 1991."},{"key":"19_CR15","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":"19_CR16","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":"19_CR17","unstructured":"S. Shlaer and S. J. Mellor. Object lifecycles: Modeling the world in states. Prentice Hall, 1992."},{"key":"19_CR18","unstructured":"J. M. Spivey. The Z notation: A reference manual. Prentice-Hall, 1989."},{"key":"19_CR19","doi-asserted-by":"crossref","unstructured":"J. M. Wing and A. M. Zaremski. Two ways to integrate formal specifications in practice. In Proceedings of Formal Methods '91, 1991.","DOI":"10.1007\/3-540-54834-3_32"},{"key":"19_CR20","unstructured":"E. Yourdon. Modern Systems Analysis. Prentice-Hall, 1989."}],"container-title":["Lecture Notes in Computer Science","Software Engineering Education"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58951-1_105.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:24:57Z","timestamp":1605648297000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58951-1_105"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540589518","9783540491675"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-58951-1_105","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}