{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T13:35:27Z","timestamp":1743082527198,"version":"3.40.3"},"publisher-location":"London","reference-count":29,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540198864"},{"type":"electronic","value":"9781447132400"}],"license":[{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/978-1-4471-3240-0_12","type":"book-chapter","created":{"date-parts":[[2011,12,28]],"date-time":"2011-12-28T05:22:09Z","timestamp":1325049729000},"page":"217-235","source":"Crossref","is-referenced-by-count":0,"title":["Environment-based Development of Reactive Systems"],"prefix":"10.1007","author":[{"given":"Yves","family":"Ledru","sequence":"first","affiliation":[]},{"given":"Pierre","family":"Collette","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"AL93] M. Abadi and L. Lamport. Composing specifications. ACM Transactions on Programming Languages and Systems, 15(1):73\u2013132, january 1993.","DOI":"10.1145\/151646.151649"},{"key":"12_CR2","volume-title":"S. Brookes and G. Winskel, editors, Seminar on Concurrency, volume 197 of Lecture Notes in Computer Science, pages 389-449. Springer-Verlag","author":"G Berry","year":"1985","unstructured":"G. Berry and I. Cosserat. The ESTEREL synchronous programming language and its mathematical semantics. In S. Brookes and G. Winskel, editors, Seminar on Concurrency, volume 197 of Lecture Notes in Computer Science, pages 389\u2013449. Springer-Verlag, 1985."},{"key":"12_CR3","unstructured":"Bro89] M. Broy. Functional specification of communicating systems. In G.X. Ritter,editor, IFIP 89,pages 851\u2013856.North-Holland,1989."},{"key":"12_CR4","volume-title":"W. H. J. Feijen, A. J. M. Van gasteren, D. Gries, and J. Misra, editors, Beauty is our business - a birthday salute to Edsger W. Dijkstra, pages 83-93. Springer Verlag","author":"M Broy","year":"1990","unstructured":"M. Broy. On bounded buffers: Modularity, robustness, and reliability in reactive systems. In W. H. J. Feijen, A. J. M. Van gasteren, D. Gries, and J. Misra, editors, Beauty is our business - a birthday salute to Edsger W. Dijkstra, pages 83\u201393. Springer Verlag, 1990."},{"key":"12_CR5","volume-title":"From environment to system specifications: Dining philosophers revisited. Technical report","author":"P Collette","year":"1993","unstructured":"P. Collette and Y. Ledru: From environment to system specifications: Dining philosophers revisited. Technical report, Universit\u00e9 Catholique de Louvain, Unit\u00e9 d\u2019Informatique, 1993."},{"key":"12_CR6","volume-title":"Parallel Program Design: A Foundation.Addison-Wesley","author":"K Chandy","year":"1988","unstructured":"K. Chandy and J. Misra. Parallel Program Design: A Foundation.Addison-Wesley, 1988."},{"key":"12_CR7","volume-title":"Proceedings of the 14th POPL","author":"P Caspi","year":"1987","unstructured":"P. Caspi, D. Pilaud, N. Halbwachs, and J. A. Plaice. LUSTRE: A declarative language for programming synchronous systems. In Proceedings of the 14th POPL, pages 178\u2013188. ACM, 1987."},{"key":"12_CR8","volume-title":"North Holland","author":"M Diaz","year":"1989","unstructured":"M. Diaz, J.-P. Ansart, J.-P. Courtiat, P. Azema, and V. Chari. The formal description technique Estelle - Results of the ESPRIT\/SEDOS project. North Holland, 1989."},{"key":"12_CR9","volume-title":"Technische Universit\u00e4t M\u00fcnchen","author":"F Dederichs","year":"1990","unstructured":"F. Dederichs. System and environment: the philosophers revisited. Technical Report TUM-I9040, Technische Universit\u00e4t M\u00fcnchen, 1990."},{"key":"12_CR10","volume-title":"Proceedings of the fourth International Workshop on Software Specification and Design. IEEE Computer Society","author":"E Dubois","year":"1987","unstructured":"E. Dubois and J. Hagelstein. Reasoning on formal requirements:a lift control system. In Proceedings of the fourth International Workshop on Software Specification and Design. IEEE Computer Society, 1987."},{"issue":"2","key":"12_CR11","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/BF00289519","volume":"1","author":"EW Dijkstra","year":"1971","unstructured":"E.W. Dijkstra. Hierarchical ordering of sequential processes. Acta Informatica, 1 (2): 115\u2013138, 1971.","journal-title":"Acta Informatica"},{"key":"12_CR12","volume-title":"5671 Al Nuenen","author":"EW Dijkstra","year":"1978","unstructured":"E.W. Dijkstra. Two starvation free solutions to a general exclusion problem. Technical Report EWD 625, Plataanstraat 5, 5671 Al Nuenen, 1978."},{"issue":"2","key":"12_CR13","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1145\/22719.22947","volume":"9","author":"M.S. Feather","year":"1987","unstructured":"M.S. Feather. Language support for the specification and development of composite systems. ACM Transactions on Programming Languages and Systems,9(2):198\u2013234, april 1987.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"3","key":"12_CR14","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/BF01212304","volume":"4","author":"J Fiadeiro","year":"1992","unstructured":"J. Fiadeiro and T. Maibaum. Temporal theories as modularization units for concurrent system specification. Formal Aspects of Computing, 4 (3): 239\u2013272, 1992.","journal-title":"Formal Aspects of Computing"},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"D. Harel. Statecharts: a visual formalism for complex systems. Science of Computer Programming, 8 (3), 1987.","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"12_CR16","volume-title":"International Organization for Standardisation","author":"ISO Lotos","year":"1988","unstructured":"ISO. Lotos, a formal description technique based on the temporal ordering of observational behaviour. Technical Report ISO-DP-8807, International Organization for Standardisation, 1988."},{"key":"12_CR17","volume-title":"Prentice-Hall","author":"M.A","year":"1983","unstructured":"M.A. Jackson. System development. Prentice-Hall, 1983."},{"key":"12_CR18","volume-title":"Systematic Software Development Using VDM (Second Edition)","author":"CB Jones","year":"1990","unstructured":"C. B. Jones. Systematic Software Development Using VDM (Second Edition). Prentice-Hall, London, 1990."},{"issue":"1","key":"12_CR19","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1145\/63238.63240","volume":"32","author":"L Lamport","year":"1989","unstructured":"L. Lamport. A simple approach to specifying concurrent systems. Communications of the ACM, 32 (1): 32\u201345, 1989.","journal-title":"Communications of the ACM"},{"key":"12_CR20","volume-title":"The temporal logic of actions. Technical Report SRC79","author":"L Lamport","year":"1991","unstructured":"L. Lamport. The temporal logic of actions. Technical Report SRC79, DEC Systems Research Center, Palo Alto, december 1991."},{"key":"12_CR21","volume-title":"Proceedings of the CompEuro90 Conference, pages 109-116. IEEE Computer Society Press","author":"Y Ledru","year":"1990","unstructured":"Y. Ledru. Hierarchical Specification of Reactive Systems: a case study. In Proceedings of the CompEuro\u201990 Conference, pages 109116. IEEE Computer Society Press, 1990."},{"key":"12_CR22","volume-title":"Towards the formal development of terminating reactive systems. PhD thesis","author":"Y Ledru","year":"1991","unstructured":"Y. Ledru. Towards the formal development of terminating reactive systems. PhD thesis, Universit\u00e9 Catholique de Louvain, Unit\u00e9 d\u2019Informatique, 1991."},{"issue":"12","key":"12_CR23","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/0167-6423(93)90022-H","volume":"20","author":"Y Ledru","year":"1993","unstructured":"Y. Ledru. Developing reactive systems in a VDM framework. Science of Computer Programming, 20 (1\u20132): 51\u201371, 1993.","journal-title":"Science of Computer Programming"},{"key":"12_CR24","volume-title":"Proceedings of the ACM Symposium on Principles of Distributed Computing. ACM","author":"NA Lynch","year":"1990","unstructured":"N.A. Lynch and M.R. Tuttle. Hierarchical correctness proofs for distributed algorithms. In Proceedings of the ACM Symposium on Principles of Distributed Computing. ACM, 1990."},{"key":"12_CR25","volume-title":"Springer-Verlag","author":"Z Manna","year":"1992","unstructured":"Z. Manna and A. Pnueli. The temporal logic of reactive and concurrent systems. Springer-Verlag, 1992."},{"key":"12_CR26","volume-title":"M. Paul and H.J.Siegert, editors, Distributed Systems - Methods and Tools for Specification - An Advanced Course, volume 190 of Lecture Notes in Computer Science. Springer-Verlag","author":"Geoff Mullery","year":"1985","unstructured":"Geoff Mullery. Acquisition - environment. In M. Paul and H.J.Siegert, editors, Distributed Systems - Methods and Tools for Specification - An Advanced Course, volume 190 of Lecture Notes in Computer Science. Springer-Verlag, 1985."},{"key":"12_CR27","volume-title":"H.-J. Kugler, editor, IFIP 86, pages 845-858. North-Holland","author":"A Pnueli","year":"1986","unstructured":"A. Pnueli. Specification and development of reactive systems. In H.-J. Kugler, editor, IFIP\n                           86, pages 845\u2013858. North-Holland, 1986."},{"key":"12_CR28","volume-title":"R. Shyamasundar, editor, Software technology and Theoretical Computer Science, volume 652 of Lecture Notes in Computer Science. Springer-Verlag","author":"A Pnueli","year":"1992","unstructured":"A. Pnueli. System specification and refinement in temporal logic. In R. Shyamasundar, editor, Software technology and Theoretical Computer Science, volume 652 of Lecture Notes in Computer Science. Springer-Verlag, 1992."},{"key":"12_CR29","volume-title":"Proceedings of the fourth International Workshop on Software Specification and Design. IEEE Computer Society","author":"G-C Roman","year":"1987","unstructured":"G.-C. Roman and M.E. Ehlers. System specifications and physical relevance. In Proceedings of the fourth International Workshop on Software Specification and Design. IEEE Computer Society, 1987."}],"container-title":["Workshops in Computing","6th Refinement Workshop"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3240-0_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,7]],"date-time":"2023-02-07T05:53:59Z","timestamp":1675749239000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4471-3240-0_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540198864","9781447132400"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3240-0_12","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1994]]}}}