{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T07:37:47Z","timestamp":1729669067116,"version":"3.28.0"},"reference-count":30,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/ecbs.2004.1316677","type":"proceedings-article","created":{"date-parts":[[2004,11,13]],"date-time":"2004-11-13T00:14:14Z","timestamp":1100304854000},"page":"13-20","source":"Crossref","is-referenced-by-count":1,"title":["A comparative analysis of object-oriented and other methods for modeling computer based systems"],"prefix":"10.1109","author":[{"given":"S.M.","family":"White","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"UML Language Specification V1 5","year":"2003","key":"19"},{"journal-title":"Operating Systems","year":"1974","author":"madnick","key":"17"},{"key":"18","article-title":"Reasoning about plans","author":"mcdermott","year":"1985","journal-title":"Formal Theories of the Commonsense World"},{"journal-title":"Applying UML and Patterns 2nd Edition","year":"2002","author":"larman","key":"15"},{"journal-title":"Program Development in Java","year":"2001","author":"liskov","key":"16"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1980.230208"},{"journal-title":"System Development","year":"1983","author":"jackson","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/42411.42414"},{"journal-title":"Software requirements for the A-7E aircraft","year":"1978","author":"heninger","key":"12"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1977.229900"},{"key":"20","doi-asserted-by":"crossref","first-page":"510","DOI":"10.1007\/BFb0027047","article-title":"Applications of temporal logic to the specification and verification of reactive systems: A survey of current trends","volume":"224","author":"pneuli","year":"1986","journal-title":"Current Trends in Concurrency Overviews and Tutorials"},{"key":"22","first-page":"15","article-title":"Application of entity-relationship approach to information processing systems modeling","author":"teichroew","year":"1980","journal-title":"Entity-Relationship Approach to Systems Analysis and Design"},{"key":"23","volume":"3","author":"ward","year":"1985","journal-title":"Structured Development for Real-Time Systems"},{"journal-title":"Software Requirements Methodology and Tool Study for A-6E Technology Transfer","year":"1983","author":"white","key":"24"},{"journal-title":"A Pragmatic Formal Method for Computer System Definition","year":"1987","author":"white","key":"25"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1109\/2.241426"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/ICRE.1994.292394"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1109\/2.963442"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1145\/362575.362577"},{"journal-title":"The Unified Modeling Language User Guide","year":"1999","author":"booch","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/800057.808665"},{"key":"10","first-page":"54","article-title":"On the formal semantics of statecharts","author":"harel","year":"1987","journal-title":"2nd Proceedings IEEE Symposium on Logic in Computer Science"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1985.1662863"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6312946"},{"key":"7","article-title":"Extending UML from software to systems","author":"friedenthal","year":"2002","journal-title":"Powerpoint Presentation to INCOSE Chapter Crossroads of America"},{"journal-title":"UML Distilled 2nd Edition","year":"2002","author":"fowler","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/363095.363143"},{"key":"4","article-title":"The Pamela methodology","author":"cherry","year":"1987","journal-title":"Proc of Nat'l Conf on Methodologies and Tools for Real-time Systems"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(83)90004-3"},{"journal-title":"Compiler Construction for Digital Computers","year":"1971","author":"gries","key":"8"}],"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\/01316677.pdf?arnumber=1316677","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T11:52:52Z","timestamp":1497613972000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1316677\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/ecbs.2004.1316677","relation":{},"subject":[]}}