{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,3]],"date-time":"2025-08-03T23:01:40Z","timestamp":1754262100477,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/iceccs.2004.1310898","type":"proceedings-article","created":{"date-parts":[[2004,9,28]],"date-time":"2004-09-28T09:50:22Z","timestamp":1096365022000},"page":"3-12","source":"Crossref","is-referenced-by-count":7,"title":["Architecture driven modelling in software development"],"prefix":"10.1109","author":[{"given":"M.","family":"Broy","sequence":"first","affiliation":[]}],"member":"263","reference":[{"journal-title":"Communicating Sequential Processes","year":"1985","author":"hoare","key":"ref10"},{"journal-title":"Object-Oriented Software Engineering","year":"1992","author":"jacobsen","key":"ref11"},{"key":"ref12","first-page":"471","article-title":"The Semantics of a Simple Language for Parallel Processing","author":"kahn","year":"1974","journal-title":"Information Processing 74 Proc of the IFIP Congress 74"},{"key":"ref13","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume":"92","author":"milner","year":"1980","journal-title":"A Calculus of Communicating Systems Lecture Notes in Computer Science"},{"journal-title":"Criteria for the Use and Applicability of Formal Description Techniques Recommendation Z 120 Message Sequence Chart (MSC)","first-page":"35","year":"1993","key":"ref14"},{"journal-title":"ITU-T Recommendation Z 120 Annex B Algebraic Semantics of Message Sequence Charts ITU-Telecommunication Standardization Sector","year":"1995","key":"ref15"},{"journal-title":"Real-time Objectoriented Modeling","year":"1994","author":"selic","key":"ref16"},{"journal-title":"Object-Oriented Modelling and Design","year":"1991","author":"rumbaugh","key":"ref17"},{"journal-title":"Formale Methodik des Entwurfs verteilter objektorientierter Systeme","year":"1996","author":"rumpe","key":"ref18"},{"journal-title":"Specification and Description Language (SDL) Recommendation Z 100 Technical Report CCITT","year":"1988","key":"ref19"},{"key":"ref4","first-page":"44","article-title":"Refinement of Time","author":"broy","year":"1997","journal-title":"Transformation-Based Reactive System Development ARTS'97 Mallorca 1997 Lecture Notes in Computer Science 1231"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/BF01211434"},{"key":"ref6","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-0091-5","author":"broy","year":"2001","journal-title":"Specification and Development of Interactive Systems FOCUS on Streams Interfaces and Refinement"},{"key":"ref5","article-title":"A Graphical Description Technique for Communication in Software Architectures","author":"broy","year":"0","journal-title":"Joint 1997 Asia Pacific Software Engineering Conference and International Computer Science Conference (APSEC'97\/ICSC'97)"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"journal-title":"The Esterel Synchronous Programming Language Design Semantics Implementation INRIA Research Report 842","year":"1988","author":"berry","key":"ref7"},{"journal-title":"Object Oriented Design with Applications","year":"1991","author":"booch","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-77572-7_13"},{"key":"ref9","article-title":"Zur Übersetzung von E\/R-Schemata nach Spectrum","author":"hettler","year":"1994","journal-title":"Technischer Bericht TUM-I9409 TU München"},{"key":"ref20","article-title":"The Requirement and Design Specification Language Spectrum","author":"broy","year":"1993","journal-title":"An Informal Introduction Version 1 0 Part I\/II1 Technische Universität München Institut für Informatik TUM-I9311\/TUM-I9312"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/237432.237434"},{"journal-title":"The Unified Modeling Language for Object-Oriented Development Version 1 0 RATIONAL Software Cooperation","year":"0","author":"booch","key":"ref21"},{"key":"ref23","first-page":"122","article-title":"Consistent Graphical Specification of Distributed Systems","author":"huber","year":"1997","journal-title":"FME ‘97 4th International Symposium of Formal Methods Europe Lecture Notes in Computer Science 1313"}],"event":{"name":"Proceedings. Ninth IEEE International Conference on Engineering of Complex Computer Systems","acronym":"ICECCS-04","location":"Florence, Italy"},"container-title":["Proceedings. Ninth IEEE International Conference on Engineering of Complex Computer Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9173\/29106\/01310898.pdf?arnumber=1310898","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T06:25:43Z","timestamp":1497594343000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1310898\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/iceccs.2004.1310898","relation":{},"subject":[]}}