{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:42:56Z","timestamp":1725486176816},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540431695"},{"type":"electronic","value":"9783540456698"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45669-4_9","type":"book-chapter","created":{"date-parts":[[2007,6,3]],"date-time":"2007-06-03T17:25:02Z","timestamp":1180891502000},"page":"172-188","source":"Crossref","is-referenced-by-count":1,"title":["Statistical Constraints and Verification"],"prefix":"10.1007","author":[{"given":"John","family":"Knapman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,2,21]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"J. Knapman \u201cStatistical Constraints for EAI\u201d in A. Evans, S. Kent, B. Selic (eds) \u201c\u226aUML\u226b 2000 \u2014 The Unified Modeling Language, Advancing the Standard\u201d, Third International Conference, October 2000, Springer","key":"9_CR1","DOI":"10.1007\/3-540-40011-7_6"},{"doi-asserted-by":"crossref","unstructured":"J. Knapman \u201cBusiness-oriented Constraint Language\u201d in A. Evans, S. Kent, B. Selic (eds) \u201c\u226aUML\u226b 2000 \u2014 The Unified Modeling Language, Advancing the Standard\u201d, Third International Conference, October 2000, Springer","key":"9_CR2","DOI":"10.1007\/3-540-40011-7_4"},{"doi-asserted-by":"crossref","unstructured":"T. Weigert, D. Garlan, J. Knapman, B. M\u00f8ller-Pedersen, B. Selic, \u201cModeling of Architectures with UML\u201d in A. Evans, S. Kent, B. Selic (eds) \u201c\u226aUML\u226b 2000 \u2014 The Unified Modeling Language, Advancing the Standard\u201d, Third International Conference, October 2000, Springer","key":"9_CR3","DOI":"10.1007\/3-540-40011-7_41"},{"unstructured":"J. Wordsworth, \u201cSoftware Development with Z: A Practical Approach to Formal Methods in Software Engineering\u201d, Addison-Wesley, 1992","key":"9_CR4"},{"doi-asserted-by":"crossref","unstructured":"W. Howden, \u201cSystems testing and statistical test data coverage\u201d, Proc. 21st Annual International Computer Software and Applications Conference (COMPSAC\u201997), Washington, DC, USA, Aug. 1997","key":"9_CR5","DOI":"10.1109\/CMPSAC.1997.625058"},{"doi-asserted-by":"crossref","unstructured":"D. Jackson, I. Schechter, I. Shlyakhter, \u201cAlcoa: the Alloy Constraint Analyzer\u201d, Proc. International Conference on Software Engineering, Limerick, Ireland, June 2000","key":"9_CR6","DOI":"10.1145\/337180.337616"},{"unstructured":"V. Pareto, \u201cd\u2019\u00e9conomiepolitique\u201d, 1896-7","key":"9_CR7"}],"container-title":["Lecture Notes in Computer Science","Object Modeling with the OCL"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45669-4_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,16]],"date-time":"2019-02-16T23:44:02Z","timestamp":1550360642000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45669-4_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540431695","9783540456698"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-45669-4_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}