{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:05:21Z","timestamp":1729641921961,"version":"3.28.0"},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/ecbs.2004.1316684","type":"proceedings-article","created":{"date-parts":[[2004,11,13]],"date-time":"2004-11-13T00:14:14Z","timestamp":1100304854000},"page":"69-74","source":"Crossref","is-referenced-by-count":1,"title":["Enabling optimisation in the design of complex computer based systems"],"prefix":"10.1109","author":[{"given":"J.","family":"Leaney","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Denford","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T.","family":"O'Neill","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/32.385972"},{"volume":"2003","journal-title":"Multidisciplinary System Design Optimisation","year":"2003","key":"17"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/193173.195403"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2001.922420"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/32.825767"},{"key":"13","article-title":"Formalising design patterns","author":"lano","year":"1996","journal-title":"1st BCS-FACS Northern Formal Methods Workshop Electronic Workshops in Computer Science"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2001.922420"},{"journal-title":"Communicating Sequential Processes","year":"1985","author":"hoare","key":"11"},{"journal-title":"The Importance of Architecture in DOD Software","year":"1991","author":"horowitz","key":"12"},{"key":"21","article-title":"The architecture based performance of computer based systems","author":"o'neill","year":"2000","journal-title":"Proceedings of the 13th IEEE Conference and Workshop on Engineering of Computer-based Systems"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2000.839858"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2002.998432"},{"journal-title":"Design Patterns for Object-Oriented Software Development","year":"1995","author":"pree","key":"23"},{"journal-title":"Systems Architecting Creating and Building Complex Systems","year":"1991","author":"rechtin","key":"24"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.1994.331683"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4359-6"},{"key":"2","doi-asserted-by":"crossref","DOI":"10.1109\/ASE.2002.1115011","article-title":"Enabling iterative software architecture derivation using early non-functional property evaluation","author":"barber","year":"2002","journal-title":"Automated Software Engineering 2002 Proceedings ASE 2002 17th IEEE International Conference on"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2000.873663"},{"journal-title":"A Formal Approach to Software Architecture Ph D Thesis","year":"1997","author":"allen","key":"1"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1115\/DETC2002\/DAC-34130"},{"volume":"2003","journal-title":"New Architectures for Multidisciplinary Design and Optimisation","year":"1995","key":"6"},{"journal-title":"Software Power Optimisations in An Embedded System","year":"2000","author":"dalal","key":"5"},{"key":"4","article-title":"Formal refinement of software architectures based on rewriting logic","author":"bolusset","year":"2002","journal-title":"Proceedings of RCS'02 - International workshop on refinement of critical systems Methods tools and experience"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2000.873663"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2003.1201196"}],"event":{"name":"Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004.","location":"Brno, Czech Republic"},"container-title":["Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9203\/29178\/01316684.pdf?arnumber=1316684","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T11:52:51Z","timestamp":1497613971000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1316684\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/ecbs.2004.1316684","relation":{},"subject":[]}}