{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T10:03:07Z","timestamp":1742378587438},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540592938"},{"type":"electronic","value":"9783540492337"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-59293-8_229","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:12:38Z","timestamp":1330258358000},"page":"696-710","source":"Crossref","is-referenced-by-count":3,"title":["Reactive system specification and refinement"],"prefix":"10.1007","author":[{"given":"K.","family":"Lano","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"issue":"11","key":"46_CR1","first-page":"832","volume":"26","author":"J. F. Allen","year":"1983","unstructured":"J. F. Allen: Maintaining knowledge about temporal intervals, CACM, 26(11):832\u2013843, November 1983.","journal-title":"Maintaining knowledge about temporal intervals, CACM"},{"key":"46_CR2","unstructured":"S. Austin, G. I. Parkin: Formal Methods: A Survey, National Physical Laboratory, Queens Road, Teddington, Middlesex, TW11 0LW, March 1993."},{"key":"46_CR3","unstructured":"R. Duke, P. King P, G. Smith: Formalising Behavioural Compatibility for Reactive Object-oriented Systems, in Proc 14th Australian Compt. Sci. Conf. (ACSC-14), 1991."},{"key":"46_CR4","doi-asserted-by":"crossref","unstructured":"J. Fiadeiro, T. Maibaum: Sometimes \u201cTomorrow\u201d is \u201cSometime\u201d, in Temporal Logic, D. M. Gabbay and H. J. Ohlbach (editors), LNAI 827, Springer-Verlag 1994, 48\u201366.","DOI":"10.1007\/BFb0013980"},{"key":"46_CR5","doi-asserted-by":"crossref","unstructured":"C. Fidge: Proof Obligations for Real-Time Refinement, Proceedings of 6th Refinement Workshop, Springer-Verlag Workshops in Computing, 1994.","DOI":"10.1007\/978-1-4471-3240-0_15"},{"key":"46_CR6","doi-asserted-by":"crossref","unstructured":"K. Lano: Refinement in Object-oriented Specification Languages, Proceedings of 6th Refinement Workshop, Springer-Verlag Workshops in Computing, 1994.","DOI":"10.1007\/978-1-4471-3240-0_13"},{"key":"46_CR7","doi-asserted-by":"crossref","unstructured":"K. Lano: Formal Object-oriented Specification of Real Time Systems, Dept. of Computing, Imperial College, 1994.","DOI":"10.1007\/978-1-4471-3073-4"},{"key":"46_CR8","unstructured":"K. Lano: Software Specification and Development in Z ++, to appear in The Z Handbook, J. Bowen and M. Hinchey (eds.), McGraw-Hill 1995."},{"key":"46_CR9","unstructured":"K. Lano: Reasoning Techniques in VDM ++, AFRODITE project report AFRO\/IC\/KL\/RT\/V1, Dept. of Computing, Imperial College, 1994."},{"key":"46_CR10","unstructured":"K. Lano, H. Haughton: Object-oriented Specification Case Studies, Prentice Hall, 1993."},{"key":"46_CR11","doi-asserted-by":"crossref","unstructured":"K. Lano, H. Haughton: Improving the Process of System Specification and Refinement in B, Proceedings of 6th Refinement Workshop, Springer-Verlag Workshops in Computing, 1994.","DOI":"10.1007\/978-1-4471-3240-0_3"},{"key":"46_CR12","doi-asserted-by":"crossref","unstructured":"B. Liskov, J. Wing: Family Values: A Behavioral Notion of Subtyping, School of Computer Science, Carnegie Mellon University, report CMU-CS-93-187, 1993.","DOI":"10.21236\/ADA259881"},{"key":"46_CR13","unstructured":"C. McHale, S. Baker, B. Walsh, A. Donnelly: Synchronisation Variables, Amadeus Project report TCD-CS-94-01, University of Dublin, 1994."},{"key":"46_CR14","unstructured":"J. S. Ostroff: Temporal Logic for Real-Time Systems, John Wiley, 1989."},{"key":"46_CR15","doi-asserted-by":"crossref","unstructured":"A. Pnueli: Applications of Temporal Logic to the Specification and Verification of Reactive Systems: A Survey of Current Trends, Current Trends in Concurrency, de Bakker J., de Roever W.-P., Rozenberg G. (Eds), Springer-Verlag Lecture Notes in Computer Science, Vol. 224, 1986.","DOI":"10.1007\/BFb0027047"},{"key":"46_CR16","unstructured":"J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, W. Lorensen, Object-Oriented Modelling and Design, Prentice-Hall International, 1991."}],"container-title":["Lecture Notes in Computer Science","TAPSOFT '95: Theory and Practice of Software Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-59293-8_229.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:26:42Z","timestamp":1605630402000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59293-8_229"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540592938","9783540492337"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-59293-8_229","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}