{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:44:37Z","timestamp":1725551077948},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540300267"},{"type":"electronic","value":"9783540320937"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11581741_14","type":"book-chapter","created":{"date-parts":[[2005,10,25]],"date-time":"2005-10-25T14:06:33Z","timestamp":1130249193000},"page":"175-189","source":"Crossref","is-referenced-by-count":2,"title":["Designing a Domain-Specific Contract Language: A Metamodelling Approach"],"prefix":"10.1007","author":[{"given":"Zhan En","family":"Chan","sequence":"first","affiliation":[]},{"given":"Richard F.","family":"Paige","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"What is metamodeling, and what is it good for? last accessed 5 June (2005), available at http:\/\/www.metamodel.com"},{"key":"14_CR2","unstructured":"Baar, T., Hahnle, R.: An integrated metamodel for OCL types. In: Proceedings of OOPSLA 2000, Workshop Refactoring the UML: In Search of the Core, Minneapolis, Minnesota, USA (2000)"},{"key":"14_CR3","volume-title":"Proceedings of the 14th international conference on Software engineering and knowledge engineering","author":"L. Baresi","year":"2002","unstructured":"Baresi, L., Denaro, G., Mainetti, L., Paolini, P.: Assertions to better specify the Amazon bug. In: Proceedings of the 14th international conference on Software engineering and knowledge engineering. ACM Press, New York (2002)"},{"key":"14_CR4","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1109\/ICSE.2003.1201191","volume-title":"Proceedings of the 25th International Conference on Software Engineering","author":"M. Barnett","year":"2003","unstructured":"Barnett, M., Cook, C., Pendse, O., Rothermel, G., Summet, J., Wallace, C.: End-user software engineering with assertions in the spreadsheet paradigm. In: Proceedings of the 25th International Conference on Software Engineering, pp. 93\u2013103. IEEE Computer Society Press, Los Alamitos (2003)"},{"issue":"7","key":"14_CR5","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/2.774917","volume":"32","author":"A. Beugnard","year":"1999","unstructured":"Beugnard, A., J\u00e9z\u00e9quel, J.-M., Plouzeau, N., Watkins, D.: Making components contract aware. IEEE Computer\u00a032(7), 38\u201345 (1999)","journal-title":"IEEE Computer"},{"key":"14_CR6","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1145\/566172.566183","volume-title":"Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis","author":"L.C. Briand","year":"2002","unstructured":"Briand, L.C., Labiche, Y., Sun, H.: Investigating the use of analysis contracts to support fault isolation in object oriented code. In: Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis, pp. 70\u201380. ACM Press, New York (2002)"},{"key":"14_CR7","unstructured":"En Chan, Z.: Multiview of a contract metamodel in systems engineering. Msc thesis, Department of Computer Science, University of York, United Kingdom (September 2004)"},{"key":"14_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/3-540-44569-2_2","volume-title":"Policies for Distributed Systems and Networks","author":"N. Damianou","year":"2001","unstructured":"Damianou, N., Dulay, N., Lupu, E., Sloman, M.: The Ponder policy specification language. In: Sloman, M., Lobo, J., Lupu, E.C. (eds.) POLICY 2001. LNCS, vol.\u00a01995, pp. 18\u201339. Springer, Heidelberg (2001)"},{"key":"14_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1007\/3-540-45669-4_8","volume-title":"Object Modeling with the OCL","author":"S. Flake","year":"2002","unstructured":"Flake, S., Mueller, W.: An OCL extension for real-time constraints. In: Clark, A., Warmer, J. (eds.) Object Modeling with the OCL. LNCS, vol.\u00a02263, pp. 150\u2013171. Springer, Heidelberg (2002)"},{"issue":"10","key":"14_CR10","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C.A.R. Hoare","year":"1969","unstructured":"Hoare, C.A.R.: An axiomatic basis for computer programming. Communications of the ACM\u00a012(10), 576\u2013580 (1969)","journal-title":"Communications of the ACM"},{"key":"14_CR11","unstructured":"Microsoft Inc. Domain-Specific Language (DSL) Tools (2004)"},{"key":"14_CR12","volume-title":"Design Patterns and Contracts","author":"C. Mingins","year":"1999","unstructured":"Mingins, C., J\u00e9z\u00e9quel, J.-M., Train, M.: Design Patterns and Contracts. Addison-Wesley, Reading (1999)"},{"key":"14_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/3-540-44815-2_5","volume-title":"Generative and Component-Based Software Engineering","author":"H. Klaeren","year":"2001","unstructured":"Klaeren, H., Pulverm\u00fcller, E., Rashid, A., Speck, A.: Aspect composition applying the design by contract principle. In: Butler, G., Jarzabek, S. (eds.) GCSE 2000. LNCS, vol.\u00a02177, pp. 57\u201369. Springer, Heidelberg (2001)"},{"key":"14_CR14","volume-title":"Requirements Engineering: processes and techniques","author":"G. Kotonya","year":"1998","unstructured":"Kotonya, G., Sommerville, I.: Requirements Engineering: processes and techniques. John Wiley & Sons, Chichester (1998)"},{"key":"14_CR15","unstructured":"Loke, S.W., Ling, S.: Design-by-contract for Java based mobile agents. In: Proc. OOSDS 1999 (1999)"},{"issue":"4","key":"14_CR16","doi-asserted-by":"crossref","first-page":"5","DOI":"10.5381\/jot.2004.3.4.a1","volume":"3","author":"P. Madsen","year":"2004","unstructured":"Madsen, P.: Enhancing design-by-contract with knowledge about equivalence partitions. Journal of Object Technology, Special issue: TOOLS USA 2003\u00a03(4), 5\u201321 (2004)","journal-title":"Journal of Object Technology, Special issue: TOOLS USA 2003"},{"key":"14_CR17","unstructured":"McNeile, A., Simons, N.: Methods of Behaviour Modelling: A Commentary on Behaviour Modelling Techniques for MDA. Metamaxim Ltd, (2004) DRAFT Version 3"},{"key":"14_CR18","unstructured":"Meyer, B.: Building bug-free O-O software: An introduction to design by contract, available at http:\/\/www.eiffel.com"},{"key":"14_CR19","unstructured":"Meyer, B.: Design-by-contract. Technical report tr-ei-12\/co, ISE Inc. (1987)"},{"key":"14_CR20","volume-title":"Object-Oriented Software Construction","author":"B. Meyer","year":"1997","unstructured":"Meyer, B.: Object-Oriented Software Construction. Prentice-Hall, Englewood Cliffs (1997)"},{"key":"14_CR21","unstructured":"Michiels, C., Snoeck, M., Lemahieu, W., Goethals, F., Dedene, G.: A layered architecture sustaining model driven and event driven software development, technical report, KU-Leuven"},{"key":"14_CR22","volume-title":"Design by Contract, by Example","author":"R. Mitchell","year":"2001","unstructured":"Mitchell, R., McKim, J.: Design by Contract, by Example. Addison-Wesley, Reading (2001)"},{"issue":"3","key":"14_CR23","doi-asserted-by":"crossref","first-page":"37","DOI":"10.5381\/jot.2002.1.3.a3","volume":"1","author":"I. Nunes","year":"2002","unstructured":"Nunes, I.: Design by contract using meta-assertions. Journal of Object Technology, Special Edition: TOOLS USA 2002 proceedings\u00a01(3), 37\u201356 (2002)","journal-title":"Journal of Object Technology, Special Edition: TOOLS USA 2002 proceedings"},{"key":"14_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1007\/978-3-540-45221-8_26","volume-title":"\u00abUML\u00bb 2003 - The Unified Modeling Language. Modeling Languages and Applications","author":"I. Nunes","year":"2003","unstructured":"Nunes, I.: An OCL extension for low-coupling preserving contracts. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol.\u00a02863, pp. 310\u2013324. Springer, Heidelberg (2003)"},{"key":"14_CR25","unstructured":"Object Management Group. UML 2.0 OCL Final Adopted Specification (2004)"},{"key":"14_CR26","unstructured":"Society of\u00a0Automative\u00a0Engineers. Architectural Analysis and Design Language (AADL). SAE (2005)"},{"key":"14_CR27","unstructured":"Paige, R.: An encoding of unit and accuracy assertions in UML and OCL, DARP internal report (2003)"},{"key":"14_CR28","unstructured":"Radjenovic, A.: AIM: Architectural Modelling for Managing Change in HIRTS. DARP HIRTS Project (2005)"},{"key":"14_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/3-540-46852-8_12","volume-title":"\u00abUML\u00bb \u201999 - The Unified Modeling Language. Beyond the Standard","author":"M. Richters","year":"1999","unstructured":"Richters, M., Gogolla, M.: A metamodel for OCL. In: France, R.B., Rumpe, B. (eds.) UML 1999. LNCS, vol.\u00a01723, pp. 156\u2013171. Springer, Heidelberg (1999)"},{"issue":"1","key":"14_CR30","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1109\/32.341844","volume":"21","author":"D.S. Rosenblum","year":"1995","unstructured":"Rosenblum, D.S.: A practical approach to programming with assertions. IEEE Transactions on Software Engineering\u00a021(1), 19\u201331 (1995)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"14_CR31","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1109\/ASE.2003.1240326","volume-title":"18th IEEE International Conference on Automated Software Engineering","author":"G. Rosu","year":"2003","unstructured":"Rosu, G., Chen, F.: Certifying measurement unit safety policy. In: 18th IEEE International Conference on Automated Software Engineering, p. 304. IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"14_CR32","volume-title":"Proc. ICSE 2004","author":"J. Skene","year":"2004","unstructured":"Skene, J., Lamanna, D.D., Emmerich, W.: Precise service level agreements. In: Proc. ICSE 2004. IEEE Press, Los Alamitos (2004)"},{"key":"14_CR33","volume-title":"Software Engineering","author":"I. Sommerville","year":"2004","unstructured":"Sommerville, I.: Software Engineering, 7th edn. Addison-Wesley, Reading (2004)","edition":"7"},{"issue":"1","key":"14_CR34","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1145\/954127.954139","volume":"15","author":"R.N. Taylor","year":"1980","unstructured":"Taylor, R.N.: Assertions in programming languages. ACM SIGPLAN Notices\u00a015(1), 105\u2013114 (1980)","journal-title":"ACM SIGPLAN Notices"},{"key":"14_CR35","unstructured":"Yergeau, F., Cowan, J., Bray, T., Paoli, J., Sperberg-McQueen, C.M., Maler, E.: Extensible markup language (XML) 1.1"}],"container-title":["Lecture Notes in Computer Science","Model Driven Architecture \u2013 Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11581741_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,18]],"date-time":"2021-07-18T21:27:16Z","timestamp":1626643636000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11581741_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540300267","9783540320937"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/11581741_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}