{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T06:09:02Z","timestamp":1729663742664,"version":"3.28.0"},"reference-count":30,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1109\/qsic.2003.1319098","type":"proceedings-article","created":{"date-parts":[[2005,4,12]],"date-time":"2005-04-12T14:25:04Z","timestamp":1113315904000},"page":"154-160","source":"Crossref","is-referenced-by-count":1,"title":["Testing decomposition of component specifications based on a rule for formal verification"],"prefix":"10.1109","author":[{"given":"M.S.","family":"Lund","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1147\/sj.411.0001"},{"key":"ref10","first-page":"241","article-title":"Verification of SDL specifications on base of a stream semantics","volume":"ii","author":"hinkel","year":"1998","journal-title":"Proceedings of the 1st Workshop of the SDL Forum Society Workshop on SDL and MSC"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"journal-title":"Communicating Sequential Processes","year":"1985","author":"hoare","key":"ref12"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"324","DOI":"10.1007\/978-0-387-34878-0_26","article-title":"An attempt to embed a restricted version of SDL as a target language in Focus","author":"holz","year":"1995","journal-title":"Proc Int Conf on Formal Description Techniques VII (FORTE'94)"},{"journal-title":"ISO\/IEC 10746 Basic reference model for open distributed processing","year":"1995","key":"ref14"},{"journal-title":"ITU-TS Recommendation Z 100 Specification and Description Language (SDL)","year":"2000","key":"ref15"},{"journal-title":"Development Methods for Computer Programs including a Notion of Interference","year":"1981","author":"jones","key":"ref16"},{"journal-title":"Systematic Software Development Using VDM Series in Computer Science","year":"1990","author":"jones","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/177492.177726"},{"article-title":"Validation of contract decomposition by testing","year":"2002","author":"lund","key":"ref19"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(01)00130-3"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/BF01211434"},{"journal-title":"Telelogic Telelogic Tau 4 2 User's Manual","year":"2001","key":"ref27"},{"journal-title":"Model Driven Architecture (MDA) Document number ormsc\/2001–07–01 Object Management Group","article-title":"Architecture Board ORMSC","year":"2001","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s002360050039"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/52.819971"},{"key":"ref5","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-0091-5","author":"broy","year":"2001","journal-title":"Specification and Development of Interactive Systems FOCUS on Streams Interfaces and Refinement"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1147\/sj.411.0004"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-63010-4_15"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/203095.201069"},{"journal-title":"Formale semantische Fundierung und eine da-rauf abgestützte Verifikationsmethode für SDL","year":"1998","author":"hinkel","key":"ref9"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/151646.151649"},{"journal-title":"Object-Oriented Software Construction","year":"1997","author":"meyer","key":"ref20"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1981.230844"},{"key":"ref21","first-page":"6","article-title":"From UML to design by contract","author":"mingins","year":"2001","journal-title":"Journal of Object-Oriented Programming"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(99)00074-9"},{"journal-title":"OMG-UML Unified Modeling Language Specification version 1 4 Object Management Group","year":"2001","key":"ref23"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61055-3_48"},{"key":"ref25","article-title":"What is model driven architecture","author":"runde","year":"2003","journal-title":"Research Report 304 Department of Informatics"}],"event":{"name":"Third International Conference on Quality Software, 2003. Proceedings.","start":{"date-parts":[[2003,11,7]]},"location":"Dallas, TX, USA","end":{"date-parts":[[2003,11,7]]}},"container-title":["Third International Conference on Quality Software, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9215\/29226\/01319098.pdf?arnumber=1319098","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,11]],"date-time":"2019-02-11T13:59:07Z","timestamp":1549893547000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1319098\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/qsic.2003.1319098","relation":{},"subject":[],"published":{"date-parts":[[2003]]}}}