{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,29]],"date-time":"2025-10-29T02:49:49Z","timestamp":1761706189258,"version":"3.28.0"},"reference-count":30,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1109\/hicss.2003.1174886","type":"proceedings-article","created":{"date-parts":[[2004,6,22]],"date-time":"2004-06-22T20:27:43Z","timestamp":1087936063000},"page":"10 pp.","source":"Crossref","is-referenced-by-count":6,"title":["Generating OCL specifications and class diagrams from use cases: a Newtonian approach"],"prefix":"10.1109","author":[{"given":"B.","family":"Roussev","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/74877.74885"},{"key":"ref10","first-page":"14","article-title":"Small Change, Big Trouble","volume":"4","author":"collard","year":"2001","journal-title":"STQE"},{"key":"ref11","article-title":"The End of Computing Science","author":"dijkstra","year":"2000","journal-title":"Manuscript written for the CACM"},{"article-title":"Telelogic, the SOMT method","year":"1995","author":"ek","key":"ref12"},{"key":"ref13","article-title":"A Methodology for Specifying and Analyzing Consistency of Object-Oriented Behavioral Models","author":"engels","year":"2001","journal-title":"ACMESEC\/FSE Vienna Austria"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/320384.320390"},{"key":"ref15","article-title":"Object-Orientation as Structural, Functional and Behavioral Modeling: A Comparison of Six Methods for Object-Oriented Analysis","volume":"37","author":"ivari","year":"1995","journal-title":"Inf and Softw Tech"},{"article-title":"Object-Oriented Software Engineering: A Use Case Driven Approach","year":"1992","author":"jacobson","key":"ref16"},{"article-title":"The Unified Software Development Process","year":"1999","author":"jacobson","key":"ref17"},{"article-title":"Requirements Analysis and System Design","year":"2001","author":"maciaszek","key":"ref18"},{"article-title":"Concurrency: State Models and Java Programs","year":"1999","author":"magee","key":"ref19"},{"article-title":"The Object Constraint Language: Precise Modeling with UML","year":"1998","author":"warmer","key":"ref28"},{"key":"ref4","article-title":"Why Use Cases are not Functions","author":"bittner","year":"2000","journal-title":"The Rational Edge"},{"key":"ref27","article-title":"The Future of UML","author":"warmer","year":"2001","journal-title":"OMG Information Day Amsterdam"},{"article-title":"Object Oriented Systems Development","year":"1999","author":"bahrami","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/32.469460"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/299917.299919"},{"article-title":"The Unified Modeling Language","year":"1999","author":"booch","key":"ref5"},{"key":"ref8","article-title":"Use of E-Lotos in adding formality to UML","volume":"6","author":"clark","year":"2000","journal-title":"Journal of Universal Computer Science"},{"key":"ref7","article-title":"From Craft to Science: Searching for First Principles of Software Development - Part I","author":"buhrer","year":"2000","journal-title":"The Rational Edge"},{"key":"ref2","article-title":"Software: Engineering or Pre-engineering? or How (not) to blow up the Ariane 5 and DM 1,200 million in 40 seconds","author":"baber","year":"1999","journal-title":"Faculty of Science Lecture"},{"key":"ref9","article-title":"Structuring use cases with goals","author":"cockburn","year":"1997","journal-title":"Journal of Object-Oriented Programming"},{"key":"ref1","article-title":"Toward Executable UML","author":"ambler","year":"2002","journal-title":"Software Develop"},{"article-title":"Communication and Concurrency, International Series in Computer Science","year":"1989","author":"milner","key":"ref20"},{"journal-title":"Object Management Group OMG Unified Modeling Language Specification Version 1 4","year":"2001","key":"ref22"},{"key":"ref21","article-title":"Generating object-Z specifications from use cases","author":"moreira","year":"1999","journal-title":"International Conference on Enterprise Information Systems"},{"article-title":"Kommunikation mit Automaten, Schriften des Rheinisch","year":"1962","author":"petri","key":"ref24"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/260750.260784"},{"journal-title":"The Standish Group","year":"0","key":"ref26"},{"key":"ref25","article-title":"The Value Added Invariant: A Newtonian Approach for Generating Class Diagrams from a Use Case Model","author":"roussev","year":"2002","journal-title":"WITUML 16th European Conference on Object-Oriented Programming ECOOP"}],"event":{"name":"36th Annual Hawaii International Conference on System Sciences, 2003. Proceedings of the","start":{"date-parts":[[2003,1,9]]},"location":"Big Island, HI, USA","end":{"date-parts":[[2003,1,9]]}},"container-title":["36th Annual Hawaii International Conference on System Sciences, 2003. Proceedings of the"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8360\/26341\/01174886.pdf?arnumber=1174886","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,15]],"date-time":"2017-03-15T02:55:28Z","timestamp":1489546528000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1174886\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/hicss.2003.1174886","relation":{},"subject":[],"published":{"date-parts":[[2003]]}}}