{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:21:00Z","timestamp":1725456060093},"publisher-location":"Berlin\/Heidelberg","reference-count":15,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540566627"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0024640","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T10:09:15Z","timestamp":1132740555000},"page":"83-92","source":"Crossref","is-referenced-by-count":2,"title":["An industrial experience on LOTOS-based prototyping for switching systems design"],"prefix":"10.1007","author":[{"given":"Gonzalo","family":"Le\u00f3n","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juan C.","family":"Yelmo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlos","family":"S\u00e1nchez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F. Javier","family":"Carrasco","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juan J.","family":"Gil","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"IEEE-Software Special Issue on Formal Methods, September 1990."},{"key":"7_CR2","unstructured":"ISO\/EC: Information Processing Systems \u2014 Open Systems Interconnection \u2014 LOTOS \u2014 A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. ISO\/IEC 1988."},{"key":"7_CR3","unstructured":"G. Le\u00f3n. On the Technology Transfer of Formal Methods: An Experience on LOTOS. In FORTE'90, Madrid."},{"key":"7_CR4","unstructured":"A. Cazorla, J.C. Moreno. Manual de metodolog\u00eda del proyecto TESYS-B (in Spanish). Telef\u00f3nica I+D, TESYS-B-0000-0055-MOP, internal report, April 1990."},{"key":"7_CR5","unstructured":"The Lotosphere ConsortiumThe Lotosphere Integrated Tool Environment Lite. In FORTE'91, Sydney."},{"key":"7_CR6","unstructured":"E. Brinksma, G. Scollo, and C. Steenbergen. LOTOS Specifications, Their Implementations and Their Test. In sixth International Workshop on Protocol Specification, Testing and Verification. Montreal, June 1986."},{"key":"7_CR7","unstructured":"G. Le\u00f3n, J.C. Yelmo. On the intertwining of FDTs and conventional software development processes for communication systems: an incremental approach. Proceedings of the V International Conference on Software Engineering and its Applications, Toulouse, December 1992."},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Barry W. Boehm. A Spiral Model of Software Development and Enhancement. IEEE Computer, May 1988.","DOI":"10.1109\/2.59"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Barry W. Boehm. Software risk management: principles and practice. IEEE software, January 1991.","DOI":"10.1109\/52.62930"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"C. Miguel, A. Fern\u00e1ndez, J.M. Ortu\u00f1o and L. Vidaller. A LOTOS based Performance Evaluation Tool. To be published in the Forthcoming Special Issue of\u201d Computer Networks and ISDN Systems\u201d on TOOLS FOR FDTs, 1992.","DOI":"10.1016\/0169-7552(93)90049-A"},{"key":"7_CR11","unstructured":"CCITT Q.699: Interworking between digital subscriber signalling system layer 3 protocol and the signalling system no. 7 ISDN user part. Blue book 1988."},{"key":"7_CR12","unstructured":"J. S\u00e1nchez, G. Le\u00f3n.PTD: Architectural System Description Support Based on Visual Specification Languages. The EUROMICRO Journal, Sept 1992."},{"key":"7_CR13","unstructured":"J. Quemada, S. Pavon and A. Fern\u00e1ndez. Transforming LOTOS specifications with LOLA-The Parameterized Expansion. In FORTE'88, Stirling."},{"key":"7_CR14","unstructured":"J. Ma\u00f1as and T. de Miguel. From LOTOS to C. In FORTE'88, Stirling."},{"key":"7_CR15","unstructured":"Bellcore TR-TSV-000772. Generic System Requirements in support of Switched Multi-Megabit Data Service. Issue 1, May 1991."}],"container-title":["Lecture Notes in Computer Science","FME '93: Industrial-Strength Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0024640","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:53:59Z","timestamp":1586580839000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0024640"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540566627"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/bfb0024640","relation":{},"subject":[]}}