{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T16:51:28Z","timestamp":1773247888661,"version":"3.50.1"},"reference-count":43,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/ecbs.2003.1194781","type":"proceedings-article","created":{"date-parts":[[2004,1,24]],"date-time":"2004-01-24T04:33:03Z","timestamp":1074918783000},"page":"39-46","source":"Crossref","is-referenced-by-count":4,"title":["Architecture-based design of computer based systems"],"prefix":"10.1109","author":[{"given":"M.","family":"Denford","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T.","family":"O'Neill","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Leaney","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","article-title":"Systems engineering: principles and practice of computer-based systems engineering","author":"thome","year":"1993"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.1994.331683"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.1994.336765"},{"key":"ref32","first-page":"26","author":"o'neill","year":"2000","journal-title":"Architecture-Based Performance Analysis of the COLLINS Class Submarine Open System Extension (COSE) Concept Demonstrator (CD) Proceedings 7th IEEE International Conference and Workshop on the Engineering of Computer Based Systems"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/32.385972"},{"key":"ref30","first-page":"70","volume":"26","author":"medvidovic","year":"2000","journal-title":"A Classification and Comparison Framework for Software Architecture Description Languages IEEE Transactions on Software Engineering"},{"key":"ref37","first-page":"359","article-title":"IEEE ECBS'99 TC Architecture Working Group (AWG) Discussion Paper","author":"rowe","year":"0","journal-title":"Proceedings of ECBS'99"},{"key":"ref36","author":"rowe","year":"0","journal-title":"Defining systems evolvability - a taxonomy of change Proceedings of ECBS'98"},{"key":"ref35","volume":"13","author":"schulz","year":"1998","journal-title":"Model-Based Codesign IEEE Computer"},{"key":"ref34","article-title":"Systems Architecting: creating and building complex systems","author":"rechtin","year":"1991"},{"key":"ref10","article-title":"Why Correctness Must Be a Mathematical Concern","author":"dijkstra","year":"1981","journal-title":"The Correctness Problem in Computer Science"},{"key":"ref40","year":"0","journal-title":"Unified Modeling Language Rational Software Corporation most recent updates of UML are available via WWW"},{"key":"ref11","article-title":"Refinement and Evolution Issues in Bridging Requirements and Architecture","author":"egyed","year":"2001","journal-title":"First International Workshop from Software Requirements to Architectures (STRAW '01)"},{"key":"ref12","article-title":"Consistent Architectural Refinement and Evolution using the Unified Modeling Language","author":"egyed","year":"2001","journal-title":"Proc Workshop Describing Software Architecture with UML"},{"key":"ref13","article-title":"Style-based Refinement for Software Architectures","author":"garlan","year":"1996","journal-title":"Proceedings of the Second International Software Architecture Workshop (ISAW2)"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35563-4_2"},{"key":"ref15","author":"hayes","year":"1987","journal-title":"Specification Case Studies"},{"key":"ref16","author":"heales","year":"1998","journal-title":"Evolutionary and Revolutionary Maintenance of information Systems A Theoretical and Empirical analysis"},{"key":"ref17","volume":"12","author":"hoare","year":"1969","journal-title":"The Axiomatic Basis for Computer Programming Communications of the ACM"},{"key":"ref18","author":"hoare","year":"1985","journal-title":"Communicating Sequential Processes"},{"key":"ref19","author":"horowitz","year":"1991","journal-title":"The Importance of Architecture in DOD Software The MITRE Corporation Report M91-35"},{"key":"ref28","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1147\/sj.153.0225","article-title":"A model of large program development","volume":"15","author":"lehman","year":"1976","journal-title":"IBM Systems Journal"},{"key":"ref4","author":"allen","year":"1997","journal-title":"A Formal Approach to Software Architecture"},{"key":"ref27","first-page":"179","author":"leaney","year":"0","journal-title":"Measuring the Effectiveness of Computer Based Systems an Open System Measurement example Proceedings of ECBS'01"},{"key":"ref3","author":"alexander","year":"1964","journal-title":"Notes on the Synthesis of Form"},{"key":"ref6","article-title":"Formal Methods for Component Software: The Refinement Calculus Perspective","author":"b\u00fcchi","year":"1997","journal-title":"Second Workshop on Component-Oriented Programming"},{"key":"ref29","author":"mcmenamin","year":"1984","journal-title":"Essential systems analysis Yourdon Press Englewood Cliffs (N J )"},{"key":"ref5","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":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2000.873669"},{"key":"ref7","first-page":"281","author":"carrington","year":"0","journal-title":"Object-Z An Object-Oriented Extension to Z FORTE 1989"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2002.999832"},{"key":"ref1","year":"0","journal-title":"Abacus"},{"key":"ref20","year":"2002","journal-title":"IBM Pty Ltd IBM Insurance Application Architecture"},{"key":"ref22","year":"2000","journal-title":"IEEE Recommended Practice for Architectural Description of Software-Intensive Systems IEEE Computer Society"},{"key":"ref21","year":"1998","journal-title":"IEEE Guide for Developing System Requirements Specifications IEEE Computer Society"},{"key":"ref42","author":"wordsworth","year":"1990","journal-title":"The CICS application programming interface definition Z User Workshop Oxford"},{"key":"ref24","author":"kazman","year":"2001","journal-title":"Architecture Reconstruction Guidelines CMU\/SEI-2001-TR-026 Technical Report Software Engineering Institute Carnegie Mellon University"},{"key":"ref41","volume":"i","author":"ward","year":"1985","journal-title":"Structured Development for Real-Time Systems"},{"key":"ref23","author":"jones","year":"1979","journal-title":"Software Development A Rigorous Approach"},{"key":"ref26","author":"leaney","year":"0","journal-title":"Current Developments in the Definition and Description of System Architectures - A University of Technology Sydney (UTS) Engineering of Open Systems (EOS) Architecture Working Group (AWG) Position Paper Internal UTS report 2002-R-01"},{"key":"ref43","author":"wymore","year":"1976","journal-title":"Systems Engineering Methodology for Interdisciplinary Teams"},{"key":"ref25","year":"0","journal-title":"Larch"}],"event":{"name":"10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems. ECBS 2003","location":"Huntsville, AL, USA","acronym":"ECBS-03"},"container-title":["10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8501\/26873\/01194781.pdf?arnumber=1194781","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T03:18:06Z","timestamp":1497583086000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1194781\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":43,"URL":"https:\/\/doi.org\/10.1109\/ecbs.2003.1194781","relation":{},"subject":[]}}