{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:49:16Z","timestamp":1725518956374},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540878742"},{"type":"electronic","value":"9783540878759"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-87875-9_26","type":"book-chapter","created":{"date-parts":[[2008,9,22]],"date-time":"2008-09-22T01:46:10Z","timestamp":1222047970000},"page":"356-370","source":"Crossref","is-referenced-by-count":4,"title":["Implementation of the Conformance Relation for Incremental Development of Behavioural Models"],"prefix":"10.1007","author":[{"given":"Hong-Viet","family":"Luong","sequence":"first","affiliation":[]},{"given":"Thomas","family":"Lambolais","sequence":"additional","affiliation":[]},{"given":"Anne-Lise","family":"Courbis","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"26_CR1","unstructured":"OMG: Unified Modeling Language Specification. Object Management Group (2007)"},{"key":"26_CR2","unstructured":"Boiten, E., Bujorianu, M.: Exploring UML refinement through unification. In: J\u00fcrjens, J., Rumpe, B., France, R., Fernandez, E. (eds.) Critical Systems Development with UML - Proceedings of the UML 2003 workshop. Number TUM-I0323, Technische Universit\u00e4t M\u00fcnchen, pp. 47\u201362 (September 2003)"},{"key":"26_CR3","unstructured":"Beeck, M.V.D.: Behaviour specifications: Equivalence and refinement notions. Techreport 24\/00-I, Universit\u00e4t M\u00fcnster (November 2000)"},{"key":"26_CR4","unstructured":"Luong, H.V., Lambolais, T., Courbis, A.L.: Implementation of extension and reduction relations for incremental development of behavioural models. Technical Report RR-006-2008, EMA, Laboratoire LGI2P, \u00c9cole des mines d\u2019Al\u00e8s (2008)"},{"key":"26_CR5","unstructured":"Lambolais, T., Gout, O.: Using conformance relations to help the development of state-machines. In: ISSRE 2004, International Symposium on Software Reliability Engineering (November 2004)"},{"key":"26_CR6","unstructured":"Gout, O.: D\u00e9veloppement incr\u00e9mental de sp\u00e9cifications orient\u00e9es objets. PhD thesis, \u00c9cole de mines d\u2019Al\u00e8s (2006)"},{"key":"26_CR7","volume-title":"Communicating and Mobile Systems: The \u03c0 Calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communicating and Mobile Systems: The \u03c0 Calculus. Cambridge University Press, Cambridge (1999)"},{"key":"26_CR8","unstructured":"Brinksma, E., Scollo, G.: Formal Notions of Implementation and Conformance in LOTOS. Technical Report INF-86-13, Dept. of Informatics, Twente University of Technology (1986)"},{"key":"26_CR9","series-title":"The Foundations Of Computing","first-page":"272","volume-title":"Algebraic theory of processes","author":"M. Hennessy","year":"1988","unstructured":"Hennessy, M.: Algebraic theory of processes. The Foundations Of Computing. MIT Press, Cambridge (1988) ISBN:0-262-08171-7"},{"key":"26_CR10","volume-title":"PSTV XI","author":"G. Leduc","year":"1991","unstructured":"Leduc, G.: Conformance relation, associated equivalence, and minimum canonical tester in lotos. In: PSTV XI. North-Holland, Amsterdam (1991)"},{"key":"26_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48320-9_6","volume-title":"CONCUR\u201999. Concurrency Theory","author":"J. Tretmans","year":"1999","unstructured":"Tretmans, J.: Testing concurrent systems: A formal approach. In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. LNCS, vol.\u00a01664. Springer, Heidelberg (1999)"},{"key":"26_CR12","doi-asserted-by":"crossref","unstructured":"Cleaveland, R., Hennessy, M.: Testing equivalence as a bisimulation equivalence. Formal Aspects of Computing\u00a03 (1992)","DOI":"10.1007\/BF01211314"},{"key":"26_CR13","unstructured":"ISO\/IEC 9646-1: Information technology \u2013 Open Systems Interconnection \u2013 Conformance testing methodology and framework \u2013 Part 1: General concepts (1991)"},{"key":"26_CR14","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/BF01384500","volume":"6","author":"F. Khendek","year":"1993","unstructured":"Khendek, F., Bochmann, G.V.: Merging behavior specifications. Formal Methods in System Design\u00a06, 259\u2013293 (1993)","journal-title":"Formal Methods in System Design"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87875-9_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:50:56Z","timestamp":1619524256000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87875-9_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540878742","9783540878759"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87875-9_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}