{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:38:44Z","timestamp":1742913524633,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642310683"},{"type":"electronic","value":"9783642310690"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31069-0_40","type":"book-chapter","created":{"date-parts":[[2012,7,3]],"date-time":"2012-07-03T06:01:27Z","timestamp":1341295287000},"page":"494-501","source":"Crossref","is-referenced-by-count":1,"title":["Towards Specialization of the Contract-Aware Software Development Process"],"prefix":"10.1007","author":[{"given":"Anna","family":"Derezi\u0144ska","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Przemys\u0142aw","family":"O\u0142tarzewski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"40_CR1","unstructured":"Meyer, B.: Object-Oriented Software Construction, 2nd edn. Prentice-Hall (1997)"},{"key":"40_CR2","doi-asserted-by":"crossref","unstructured":"France, R., Rumpe, B.: Model-driven Development of Complex Software: A Research Roadmap. In: Proc. of Future of Software Engineering at ICSE 2007, pp. 37\u201354. IEEE Soc. (2007)","DOI":"10.1109\/FOSE.2007.14"},{"key":"40_CR3","first-page":"7","volume-title":"Information Systems in Management XI","author":"A. Derezi\u0144ska","year":"2011","unstructured":"Derezi\u0144ska, A., O\u0142tarzewski, P.: Business Software Development Process Combining Model-Driven and Contract-Based Approaches. In: Ja\u0142owiecki, P., \u0141uasiewicz, P., Or\u0142owski, A. (eds.) Information Systems in Management XI, pp. 7\u201317. WULS Press, Warsaw (2011)"},{"key":"40_CR4","unstructured":"Object Constraint Language (OCL) (March 15, 2012), \n                      \n                        http:\/\/www.omg.org\/spec\/OCL\/"},{"key":"40_CR5","unstructured":"Warmer, J., Kleppe, A.: The Object Constraint Language: Getting Your Models Ready for MDA. Addison-Wesley Professional (2008)"},{"key":"40_CR6","unstructured":"O\u0142trzewski, P.: Software Development Using Contracts by Example of the T.O.F.I.C Tool. Master Thesis, Inst. of Computer Science, Warsaw Univ. of Technology (2011) (in Polish)"},{"key":"40_CR7","doi-asserted-by":"crossref","unstructured":"Neumarite, L., Ceponiene, L., Vadrickas, G.: Representation of Business Rules in UML&OCL Models for Developing Information Systems. In: Stirna, J., Persson, A. (eds.) POEM 2008. LNBIP, vol.\u00a015, pp. 182\u2013196. Springer (2008)","DOI":"10.1007\/978-3-540-89218-2_14"},{"key":"40_CR8","volume-title":"Model Driven Architecture: Appling MDA to Enterprise Computing","author":"S. Frankel","year":"2003","unstructured":"Frankel, S.: Model Driven Architecture: Appling MDA to Enterprise Computing. Wiley Press, Hoboken (2003)"},{"key":"40_CR9","unstructured":"Microsoft Code Contracts (March 15, 2012), \n                      \n                        http:\/\/research.microsoft.com\/en-us\/projects\/contracts"},{"key":"40_CR10","unstructured":"IBM Rational Software Architect (March 15, 2012), \n                      \n                        http:\/\/www-01.ibm.com\/software\/awdtools\/swarchitect\/"},{"key":"40_CR11","doi-asserted-by":"crossref","unstructured":"Derezi\u0144ska, A., O\u0142tarzewski, P.: Model-Driven Engineering Support for Building C# Applications. In: Sobh, T., Elleithy, K. (eds.) Innovations in Computing Sciences and Software Engineering, pp. 449\u2013454. Springer (2010)","DOI":"10.1007\/978-90-481-9112-3_76"},{"key":"40_CR12","unstructured":"Eiffel Software: An Eiffel Tutorial (March 15, 2012), \n                      \n                        http:\/\/docs.eiffel.com\/"},{"key":"40_CR13","unstructured":"Chimiak-Opoka, J., Demuth, B., et al.: OCL Tools Report Based on the IDE4OCL Feature Model. In: Proc. of International Workshop on OCL and Textual Modeling, col. Tools Europe (2011)"},{"issue":"4","key":"40_CR14","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1007\/s10270-003-0031-0","volume":"2","author":"A. Toval","year":"2003","unstructured":"Toval, A., Requena, V., Fernandez, J.L.: Emerging OCL tools. Journal of Software and System Modeling\u00a02(4), 248\u2013261 (2003)","journal-title":"Journal of Software and System Modeling"},{"key":"40_CR15","first-page":"235","volume-title":"Information Systems Architecture and Technology, Web Information Systems Engineering, Knowledge Discovery and Hybrid Computing","author":"A. Derezi\u0144ska","year":"2011","unstructured":"Derezi\u0144ska, A., O\u0142tarzewski, P.: Code Generation of Contracts Using OCL Tools. In: Borzemski, L., et al. (eds.) Information Systems Architecture and Technology, Web Information Systems Engineering, Knowledge Discovery and Hybrid Computing, pp. 235\u2013244. Publishing House of Wroclaw University of Technology, Poland (2011)"},{"key":"40_CR16","unstructured":"Chimiak-Opoka, J., Demuth, B.: A Feature Model for an IDE4OCL. In: Proc. of International Workshop on OCL and Textual Modeling (2010)"},{"key":"40_CR17","unstructured":"Dresden OCL, (March 15, 2012), \n                      \n                        http:\/\/reuseware.org\/index.php\/DresdenOCL"},{"key":"40_CR18","doi-asserted-by":"publisher","first-page":"737","DOI":"10.1016\/j.advengsoft.2009.12.014","volume":"41","author":"A. Coronato","year":"2010","unstructured":"Coronato, A., De Pietro, G.: Formal design and implementation of constraints in software components. Advances in Engineering Software\u00a041, 737\u2013747 (2010)","journal-title":"Advances in Engineering Software"},{"key":"40_CR19","doi-asserted-by":"crossref","unstructured":"Dan, L., Danning, L.: Applying Model Driven to Software Development: a University Library Case Study. In: Proc. of the 3rd International Conference on Communication Software and Networks, ICCSN, pp. 179\u2013183. IEEE Comp. Soc. (2011)","DOI":"10.1109\/ICCSN.2011.6013804"}],"container-title":["Lecture Notes in Business Information Processing","Advanced Information Systems Engineering Workshops"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31069-0_40","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T19:29:49Z","timestamp":1558380589000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31069-0_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642310683","9783642310690"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31069-0_40","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2012]]}}}