{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T22:10:31Z","timestamp":1736115031673,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540614630"},{"type":"electronic","value":"9783540685951"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bfb0014355","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T09:04:25Z","timestamp":1132736665000},"page":"612-615","source":"Crossref","is-referenced-by-count":1,"title":["Proplane: A specification development environment"],"prefix":"10.1007","author":[{"given":"Jeanine","family":"Souqui\u00e8res","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicole","family":"L\u00e9vy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"54_CR1","unstructured":"G. Bosch and J. Souqui\u00e8res. Prototype Assistant: its Function and its Design. Esprit Project 2537 ICARUS, Deliverable #48, January 1994."},{"key":"54_CR2","doi-asserted-by":"crossref","unstructured":"S. Clerici, R. Jimenez, and F. Orejas. Semantic Constructions in the GLIDER Specification Language, volume Recent Trends in Data Type Specification of LNCS 785. Springer Verlag, 1994.","DOI":"10.1007\/3-540-57867-6_8"},{"key":"54_CR3","unstructured":"R. Darimont. Process support for requirements elaboration. Phd thesis, Universit\u00e9 catholique de Louvain, Facult\u00e9 des Sciences Appliqu\u00e9es, D\u00e9partement d'Ing\u00e9nierie Informatique, June 1995."},{"key":"54_CR4","unstructured":"[DFHs+94] E. Dubois, J.-P. Finance, J. Hagelstein, A. van Lamsweerde, F. Orejas, J. Souqui\u00e8res, and P. Wodon. Icarus: Overview of the project. Technical report, Esprit2 Project, EEC, December 1994."},{"key":"54_CR5","volume-title":"A Development Model: Application to Z Specifications","author":"R. Darimont","year":"1993","unstructured":"R. Darimont and J. Souqui\u00e8res. A Development Model: Application to Z Specifications. In Proc. of the WG 8.1 Working Conference on Information System Development Process, Como, Italy, 1993. North Holland."},{"key":"54_CR6","doi-asserted-by":"crossref","unstructured":"N. L\u00e9vy. Improving PROPLANE: a Specification Development Framework. In Proc. Second IFAC Int. Workshop on Safety and Reliability in Emerging Control Technologies, Daytona Beach, Florida, pages 229\u2013240, November 1995.","DOI":"10.1016\/S1474-6670(17)44836-1"},{"key":"54_CR7","doi-asserted-by":"crossref","unstructured":"N. L\u00e9vy and G. Smith. A language-independent approach to specification construction. In Proceedings SIGSOFT'94: Symposium on the Foundations of Software Engineering, New Orleans, USA., December 1994.","DOI":"10.1145\/193173.195296"},{"key":"54_CR8","unstructured":"J. Souqui\u00e8res and R. Darimont. La description du d\u00e9veloppement de sp\u00e9cifications. Technique et Science Informatiques, 14(9), novembre 1995."},{"key":"54_CR9","doi-asserted-by":"crossref","unstructured":"J. Souqui\u00e8res and N. L\u00e9vy. Description of Specification Developments. In Proceeding of RE'93, pages 216\u2013223. I.E.E.E. Press, January 1993.","DOI":"10.1109\/ISRE.1993.324855"},{"key":"54_CR10","volume-title":"Proc. of the 8th Z User Meeting (ZUM'94)","author":"G. Smith","year":"1994","unstructured":"G. Smith. An Object-Oriented Development Framework for Z. In J.P. Bowen and J.A. Hall, editors, Proc. of the 8th Z User Meeting (ZUM'94), Cambridge. Springer-Verlag, Workshops in Computing, June 1994."},{"key":"54_CR11","unstructured":"J. Souqui\u00e8res. Aides au d\u00e9veloppement de sp\u00e9cifications. Th\u00e8se d'\u00e9tat, CRIN\/Universit\u00e9 de Nancy 1, Janvier 1993."}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0014355","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T21:48:50Z","timestamp":1736113730000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0014355"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540614630","9783540685951"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/bfb0014355","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}