{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T17:27:34Z","timestamp":1729618054447,"version":"3.28.0"},"reference-count":29,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,9]]},"DOI":"10.1109\/somet.2013.6645654","type":"proceedings-article","created":{"date-parts":[[2013,10,30]],"date-time":"2013-10-30T20:12:38Z","timestamp":1383163958000},"page":"157-164","source":"Crossref","is-referenced-by-count":2,"title":["Towards Design-by-Contract based software architecture design"],"prefix":"10.1109","author":[{"given":"Mert","family":"Ozkaya","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christos","family":"Kloukinas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2003.1201238"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/FTDCS.1997.644733"},{"key":"18","article-title":"What industry needs from architectural languages:A survey","volume":"99","author":"malavolta","year":"2012","journal-title":"IEEE Transactions on Software Engineering"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/239098.239104"},{"key":"16","article-title":"Concurrency","author":"magee","year":"2006","journal-title":"State Models and Javaprograms"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2005.314"},{"key":"14","first-page":"152","article-title":"Xcd-Modular, realizablesoftware architectures","author":"kloukinas","year":"2012","journal-title":"Corina S Pasareanu and Gwen Sala?un editors FACS Volume 7684 of Lecture Notes in Computer Science"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359585"},{"key":"12","first-page":"217","article-title":"Middleware-layer connector synthesis: Beyond state of the art inmiddleware interoperability","author":"issarny","year":"2011","journal-title":"Marco Bernardo and Val?erie Issarny editors SFM Volume 6659 of Lecture Notes in Computer Science"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0022115"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90008-4"},{"journal-title":"Specification version 3 3-Part 3 CORBA Component Model","article-title":"Common object request broker architecture (CORBA)","year":"0","key":"23"},{"journal-title":"Alliance OSGi Core Release 5 Specification","year":"2012","key":"24"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2002.1049404"},{"key":"26","first-page":"287","article-title":"Reasoningabout software architectures with contractually specified components","author":"reussner","year":"2003","journal-title":"Component-Based Software Quality Volume 2693 of Lecture Notes InComputer Science"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/32.385970"},{"key":"28","article-title":"A gentle introduction to OSGi","volume":"33","author":"luiz","year":"2008","journal-title":"ACM SIGSOFT Software EngineeringNotes"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1109\/2.825699"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/2.774917"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/258077.258078"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84800-223-4"},{"key":"7","first-page":"107","article-title":"Specification andrefinement of dynamic software architectures","author":"canal","year":"1999","journal-title":"Patrick Donohoe editor WICSA Volume 140 of IFIP Conference Proceedings"},{"key":"6","doi-asserted-by":"crossref","first-page":"212","DOI":"10.1007\/s10009-004-0167-4","article-title":"An overview of JML tools and applications","volume":"7","author":"burdy","year":"2005","journal-title":"STTT"},{"key":"5","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/j.entcs.2004.04.010","article-title":"Towards a rewritingsemantics for a software architecture description language","volume":"95","author":"braga","year":"2004","journal-title":"Electr NotesTheor Comput Sci"},{"key":"4","article-title":"The vienna developmentmethod","author":"bj\ufffdrner","year":"1978","journal-title":"The Meta-Language Volume 61 of Lecture Notes in ComputerScience"},{"key":"9","first-page":"231","article-title":"A simple and practical approachto unit testing: The JML and JUnit way","author":"cheon","year":"2002","journal-title":"Boris Magnusson Editor ECOOP Volume 2374 of Lecture Notes in Computer Science"},{"key":"8","first-page":"342","article-title":"Beyond assertions: Advanced specification and verification with JMLand ESC\/Java2","author":"chalin","year":"2005","journal-title":"FMCO Volume 4111 of LectureNotes in Computer Science"}],"event":{"name":"2013 IEEE 12th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT)","start":{"date-parts":[[2013,9,22]]},"location":"Budapest, Hungary","end":{"date-parts":[[2013,9,24]]}},"container-title":["2013 IEEE 12th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6636142\/6645635\/06645654.pdf?arnumber=6645654","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T21:07:34Z","timestamp":1498079254000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6645654\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/somet.2013.6645654","relation":{},"subject":[],"published":{"date-parts":[[2013,9]]}}}