{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:22:12Z","timestamp":1725567732662},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540232520"},{"type":"electronic","value":"9783540302322"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30232-2_3","type":"book-chapter","created":{"date-parts":[[2010,10,24]],"date-time":"2010-10-24T11:56:19Z","timestamp":1287921379000},"page":"33-42","source":"Crossref","is-referenced-by-count":2,"title":["Formal Description Techniques and Software Engineering: Some Reflections after 2 Decades of Research"],"prefix":"10.1007","author":[{"given":"Juan","family":"Quemada","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"Royce, W.W.: Managing the Development of Large-Scale Software: Concepts and Techniques Proceedings, Wescon (August 1970)"},{"issue":"2","key":"3_CR2","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1145\/69610.357982","volume":"27","author":"P. Zave","year":"1984","unstructured":"Zave, P.: The Operational versus the Conventional Approach to Software Development. Com. Of the ACM\u00a027(2), 104\u2013118 (1984)","journal-title":"Com. Of the ACM"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Boehm, B.W.: Anchoring the Software Process. IEEE Software, 73\u201382 (July 1996)","DOI":"10.1109\/52.526834"},{"key":"3_CR4","unstructured":"Agile Processes, \n                    \n                      http:\/\/www.c2.com\/cgi\/wiki?AgileProcesses"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Schultz, G.D., Rose, D.B., West, C.H., Gray, J.P.: Executable Description and Validation of SNA. IEEE Transactions on Communications, 661\u2013677 (April 1980)","DOI":"10.1109\/TCOM.1980.1094695"},{"volume-title":"Using Formal Description Techniques, An Introduction to Estelle, LOTOS and SDL","year":"1993","key":"3_CR6","unstructured":"Turner, K.J. (ed.): Using Formal Description Techniques, An Introduction to Estelle, LOTOS and SDL. John Wiley and Sons, Chichester (1993) ISBN 0-471-93455-0"},{"key":"3_CR7","volume-title":"Formal Methods for Distributed Processing: A Survey of Object Oriented Approaches","author":"H. Bowman","year":"2001","unstructured":"Bowman, H., Derrick, J.: Formal Methods for Distributed Processing: A Survey of Object Oriented Approaches. Cambridge University Press, Cambridge (2001) ISBN 0-521-77184-6"},{"key":"3_CR8","unstructured":"Special issue on Protocol Engineering. IEEE Transactions on Computers\u00a040(4) (April 1991)"},{"key":"3_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communication Systems","author":"R. Milner","year":"1980","unstructured":"Milner, R.: A Calculus of Communication Systems. LNCS, vol.\u00a092. Springer, Heidelberg (1980)"},{"key":"3_CR10","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall International, Englewood Cliffs (1985)"},{"key":"3_CR11","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"34","author":"R. Nicola De","year":"1984","unstructured":"De Nicola, R., Hennesy, M.: Testing Equivalences for Processes. Theoretical Computer Science\u00a034, 83\u2013133 (1984)","journal-title":"Theoretical Computer Science"},{"key":"3_CR12","unstructured":"Brinksma, E., Scollo, P.: Formal Notions of Implementation and Conformance in LOTOS"},{"key":"3_CR13","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/B978-0-444-89874-6.50018-0","volume-title":"IFIP Transactions C-8: Protocol Specification, Testing and Verification XII","author":"A. Fernandez","year":"1992","unstructured":"Fernandez, A., Miguel, C., Vidaller, L., Quemada, J.: Development of a Satellite Communication Network Based on LOTOS. In: IFIP Transactions C-8: Protocol Specification, Testing and Verification XII, June 1992, pp. 179\u2013193. North-Holland, Amsterdam (1992) ISSN 0926-549X"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Networked and Distributed Systems \u2013 FORTE 2004"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30232-2_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,21]],"date-time":"2019-03-21T16:27:11Z","timestamp":1553185631000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30232-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540232520","9783540302322"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30232-2_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}