{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:15:02Z","timestamp":1725488102139},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540675303"},{"type":"electronic","value":"9783540454991"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-45499-3_36","type":"book-chapter","created":{"date-parts":[[2007,7,31]],"date-time":"2007-07-31T21:55:04Z","timestamp":1185918904000},"page":"514-528","source":"Crossref","is-referenced-by-count":4,"title":["Extended Institutions for Testing"],"prefix":"10.1007","author":[{"given":"Marielle","family":"Doche","sequence":"first","affiliation":[]},{"given":"Virginie","family":"Wiels","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,5,19]]},"reference":[{"key":"36_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1007\/3-540-61629-2_38","volume-title":"Recent Trends in Data Type Specification","author":"M. Arrais","year":"1996","unstructured":"M. Arrais and J. L. Fiadeiro. Unifying theories in different institutions. In Recent Trends in Data Type Specification, volume 1130 of LNCS, pages 81\u2013101. Springer Verlag, 1996."},{"key":"36_CR2","unstructured":"S. Barbey, D. Buchs, and C. P\u00e9raire. Test selection for object-oriented software based on formal specifications. In Proceedings of PROCOMET\u201998, number Technical Report EPFL-DI No 97\/252, December 1997."},{"key":"36_CR3","doi-asserted-by":"crossref","unstructured":"G. Bernot, M-C. Gaudel, and B. Marre. Software testing based on formal specifications: a theory and a tool. Software Engineering Journal, 6, November 1991.","DOI":"10.1049\/sej.1991.0040"},{"key":"36_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1007\/3-540-48683-6_6","volume-title":"CAV\u201999","author":"E. Brinksma","year":"1999","unstructured":"E. Brinksma. Formal methods for conformance testing: Theory can be practical. In CAV\u201999, number 1633 in LNCS, pages 44\u201346. Springer Verlag, July 1999."},{"key":"36_CR5","unstructured":"J. Cazin, C. Seguin, W. Osnowycz, E. Ciapessoni, and E. Ratto. An experience in the specification and test of an electrical flight control system using a temporal logic framework. InDASIA 96 Data Systems in Aerospace. ESA publications, May 1996."},{"key":"36_CR6","unstructured":"E. Ciapessoni, E. Corsetti, M. Migliorati, and E. Ratto. Specifying industrial real-time systems in a logical framework. In ICLP 94-Post Conference Workshop on Logic Programming in Software Engineering, 1994."},{"key":"36_CR7","unstructured":"A. Daurat, M. Doche, and D. Le Berre. Manipulations des principaux objets du formalisme Moka-TRIO par l\u2019interface Java-Moka. ONERA-CERT \/ DTIM, 1999."},{"key":"36_CR8","unstructured":"M. Doche. Techniques formelles pour l\u2019\u00e9valuation de syst\u00e8mes complexes. Test et modularit\u00e9. PhD thesis, ENSAE, ONERA-CERT\/DTIM, December 1999."},{"key":"36_CR9","unstructured":"M. Doche, C. Seguin, and V. Wiels. A modular approach to specify and test an electrical flight control system. In FMICS-4, Fourth International Workshop on Formal Methods for Industrial Critical Systems, July 1999."},{"key":"36_CR10","doi-asserted-by":"crossref","unstructured":"H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 2: Modules specifications and constraints, volume 21 of EATCS Monographs on Theoretical Computer Science. Springer-Verlag, 1990.","DOI":"10.1007\/978-3-642-61284-8_8"},{"issue":"3","key":"36_CR11","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 modularisation units for concurrent system specification. Formal Aspects of Computing, 4(3):239\u2013272, 1992.","journal-title":"Formal Aspects of Computing"},{"key":"36_CR12","unstructured":"J.H. Gallier. Logic for Computer Science: Foundations of Automatic Theorem Proving. Harper and Row, 1986."},{"key":"36_CR13","doi-asserted-by":"crossref","unstructured":"M-C. Gaudel. Testing can be formal, too. In TAPSOFT\u201995, pages 82\u201396. Springer Verlag, 1995.","DOI":"10.1007\/3-540-59293-8_188"},{"issue":"4","key":"36_CR14","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1145\/133233.129397","volume":"14","author":"C. Ghezzi","year":"1992","unstructured":"C. Ghezzi, D. Mandrioli, and A. Morzenti. A model parametric real-time logic. ACM Transactions on programming languages and systems, 14(4):521\u2013573, October 1992.","journal-title":"ACM Transactions on programming languages and systems"},{"issue":"1","key":"36_CR15","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J. A. Goguen","year":"1992","unstructured":"J. A. Goguen and R. Burstall. Institutions: Abstract model theory for specification and programming. Journal of the ACM, 39(1):95\u2013146, January 1992.","journal-title":"Journal of the ACM"},{"key":"36_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/3-540-48683-6_12","volume-title":"Computer Aided Verification, CAV\u201999","author":"T. J\u00e9ron","year":"1999","unstructured":"T. J\u00e9ron and P. Morel. Test generation derived from model-checking. In Computer Aided Verification, CAV\u201999, volume 1633 of LNCS, pages 108\u2013121. Springer-Verlag, July 1999."},{"key":"36_CR17","doi-asserted-by":"crossref","unstructured":"D. Mandrioli, S. Morasca, and A. Morzenti. Functionnal test case generation for real-time systems. In Dependable computing for critical applications 3., volume 8 of Dependable computing and fault-tolerant systems, pages 29\u201361. Springer Verlag, 1992.","DOI":"10.1007\/978-3-7091-4009-3_2"},{"key":"36_CR18","unstructured":"J. Meseguer. General logics. In H-D. Ebbinghaus and all, editors, Proceedings of Logic Colloquium. North-Holland, 1987."},{"key":"36_CR19","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of FME\u201997","author":"P. Michel","year":"1997","unstructured":"P. Michel and V. Wiels. A framework for modular formal specification and verification. In Proceedings of FME\u201997, number 1313 in LNCS. Springer-Verlag, 1997."},{"key":"36_CR20","doi-asserted-by":"crossref","unstructured":"C. Seguin and W. Wiels. Using a logical and categorical approach for the validation of fault-tolerant systems. In FME96, Formal Methods Europe, March 1996.","DOI":"10.1007\/3-540-60973-3_96"},{"key":"36_CR21","unstructured":"V. Wiels. Modularit\u00e9 pour la conception et la validation formelles de syst\u00e8mes. PhD thesis, ENSAE-ONERA\/CERT\/DERI, October 1997."},{"key":"36_CR22","doi-asserted-by":"crossref","unstructured":"V. Wiels and S. Easterbrook. Management of evolving specifications using category theory. In Proceedings of Automated Software Engineering\u201998, 1998.","DOI":"10.1109\/ASE.1998.732561"},{"key":"36_CR23","first-page":"675","volume":"B","author":"M. Wirsing","year":"1990","unstructured":"M. Wirsing. Algebraic specification. In Handbook of theoretical computer science, Formal Models and Semantics, volume B, pages 675\u2013788. Elsevier and MIT Press, 1990.","journal-title":"Handbook of theoretical computer science, Formal Models and Semantics"}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45499-3_36","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T12:28:23Z","timestamp":1556713703000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45499-3_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540675303","9783540454991"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-45499-3_36","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}