{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T06:54:37Z","timestamp":1725605677847},"publisher-location":"London","reference-count":9,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9781852334208"},{"type":"electronic","value":"9781447102991"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/978-1-4471-0299-1_35","type":"book-chapter","created":{"date-parts":[[2011,9,10]],"date-time":"2011-09-10T03:35:51Z","timestamp":1315625751000},"page":"407-413","source":"Crossref","is-referenced-by-count":0,"title":["Model Engineering for Distributed O-O Component Testing"],"prefix":"10.1007","author":[{"given":"Sita","family":"Ramakrishnan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Heinz","family":"Schmidt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"35_CR1","volume-title":"Who is Afraid of Ontologies?","author":"J Bezivin","year":"1998","unstructured":"Bezivin, J. (1998). Who is Afraid of Ontologies? In CDIF Workshop OOPSLA98, http:\/\/www.metamodel.com\/oopsla98-cdif-workshop\/bezivinl\/ cited Sep 99."},{"key":"35_CR2","volume-title":"The Unified Modeling Language User Guide","author":"G Booch","year":"1999","unstructured":"Booch, G., J. Rumbaugh, and I. Jacobson (1999). The Unified Modeling Language User Guide. Addison-Wesley."},{"key":"35_CR3","volume-title":"The OPEN Process Specification","author":"I Graham","year":"1997","unstructured":"Graham, I., B. Henderson-Sellers, and H. Younessi (1997). The OPEN Process Specification. Addison-Wesley Longman Ltd."},{"key":"35_CR4","first-page":"1","volume-title":"A Tutorial on TLA Verification","author":"P Ladkin","year":"1997","unstructured":"Ladkin, P. (1997, June). A Tutorial on TLA Verification. Technical Report, Universitat Bielefeld, Germany, 1\u201369."},{"issue":"3","key":"35_CR5","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L Lamport","year":"1994","unstructured":"Lamport, L. (1994, May). The Temporal Logic of Actions. ACM Transactions on Programming Languages and Systems 16(3), 872\u2013923.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"35_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The Temporal Logic of Reactive and Concurrent Systems","author":"Z Manna","year":"1992","unstructured":"Manna, Z. and A. Pnueli (1992). The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag."},{"key":"35_CR7","volume-title":"Object-oriented Software Construction","author":"B Meyer","year":"1988","unstructured":"Meyer, B. (1988). Object-oriented Software Construction. Prentice-Hall."},{"key":"35_CR8","volume-title":"Extending OCL to support Temporal Operators","author":"S Ramakrishnan","year":"1999","unstructured":"Ramakrishnan, S. and J. D. McGregor (1999, May). Extending OCL to support Temporal Operators. In Workshop on Testing Distributed Component-based Systems held in conjunction with the 21st International Conference on S.E."},{"key":"35_CR9","series-title":"Technical-Report TR95\/11, Dept. Software Development, Monash University","volume-title":"Reasoning about concurrent objects","author":"H Schmidt","year":"1995","unstructured":"Schmidt, H. (1995). Reasoning about concurrent objects. Technical-Report TR95\/11, Dept. Software Development, Monash University."}],"container-title":["OOIS 2000"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-0299-1_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,3]],"date-time":"2019-04-03T02:24:16Z","timestamp":1554258256000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-0299-1_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9781852334208","9781447102991"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-0299-1_35","relation":{},"subject":[],"published":{"date-parts":[[2001]]}}}