{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:11:51Z","timestamp":1725491511827},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540752080"},{"type":"electronic","value":"9783540752097"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75209-7_31","type":"book-chapter","created":{"date-parts":[[2007,9,11]],"date-time":"2007-09-11T07:42:37Z","timestamp":1189496557000},"page":"451-466","source":"Crossref","is-referenced-by-count":3,"title":["i 2 MAP: An Incremental and Iterative Modeling and Analysis Process"],"prefix":"10.1007","author":[{"given":"Sascha","family":"Konrad","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Heather J.","family":"Goldsby","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Betty H. C.","family":"Cheng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"10","key":"31_CR1","doi-asserted-by":"publisher","first-page":"1462","DOI":"10.1109\/32.6191","volume":"14","author":"B.W. Boehm","year":"1988","unstructured":"Boehm, B.W., Papaccio, P.N.: Understanding and controlling software costs. IEEE Transactions on Software Engineering\u00a014(10), 1462\u20131477 (1988)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"31_CR2","unstructured":"Object Management Group (2007), http:\/\/www.omg.org"},{"key":"31_CR3","doi-asserted-by":"crossref","unstructured":"Lutz, R.R.: Targeting safety-related errors during software requirements analysis. In: SIGSOFT 1993 Symposium on the Foundations of Software Engineering (1993)","DOI":"10.1145\/256428.167069"},{"key":"31_CR4","volume-title":"Future of Software Engineering 2007","author":"B.H. Cheng","year":"2007","unstructured":"Cheng, B.H., Atlee, J.M.: Research directions in requirements engineering. In: Briand, L., Wolf, A. (eds.) Future of Software Engineering 2007, IEEE Computer Society, Los Alamitos (2007)"},{"issue":"4","key":"31_CR5","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1145\/12944.12948","volume":"11","author":"B. Boehm","year":"1986","unstructured":"Boehm, B.: A spiral model of software development and enhancement. SIGSOFT Software Engineering Notes\u00a011(4), 14\u201324 (1986)","journal-title":"SIGSOFT Software Engineering Notes"},{"key":"31_CR6","unstructured":"IBM Rational: Rational Unified Process (RUP) (2006), http:\/\/www-306.ibm.com\/software\/awdtools\/rmc\/features\/index.html"},{"key":"31_CR7","volume-title":"Software engineering: a practitioner\u2019s approach","author":"R.S. Pressman","year":"2001","unstructured":"Pressman, R.S.: Software engineering: a practitioner\u2019s approach, 5th edn. McGraw-Hill, Inc., New York (2001)","edition":"5"},{"issue":"4","key":"31_CR8","doi-asserted-by":"publisher","first-page":"589","DOI":"10.1145\/1109118.1109120","volume":"10","author":"S. Suhaib","year":"2005","unstructured":"Suhaib, S., Mathaikutty, D., Berner, D., Shukla, S.: XFM: An incremental methodology for developing formal models. ACM Transactions on Design Automation of Electronic Systems (TODAES)\u00a010(4), 589\u2013609 (2005)","journal-title":"ACM Transactions on Design Automation of Electronic Systems (TODAES)"},{"key":"31_CR9","first-page":"175","volume-title":"Extreme Programming and Flexible Processes in Software Engineering - XP 2000","author":"M. Boger","year":"2000","unstructured":"Boger, M., Baier, T., Wienberg, F., Lamersdorf, W.: Extreme modeling. In: Extreme Programming and Flexible Processes in Software Engineering - XP 2000, pp. 175\u2013189. Addison-Wesley Longman Publishing Co., Inc, Boston, MA (2000)"},{"key":"31_CR10","first-page":"146","volume-title":"Proceedings of the 7th European Software Engineering Conference","author":"A. Gargantini","year":"1999","unstructured":"Gargantini, A., Heitmeyer, C.: Using model checking to generate tests from requirements specifications. In: Proceedings of the 7th European Software Engineering Conference, London, pp. 146\u2013162. Springer, Heidelberg (1999)"},{"key":"31_CR11","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1109\/ISSRE.2006.42","volume-title":"17th International Symposium on Software Reliability Engineering","author":"J. Fletcher","year":"2006","unstructured":"Fletcher, J., Cleland-Huang, J.: Softgoal traceability patterns. In: 17th International Symposium on Software Reliability Engineering, pp. 363\u2013374. IEEE Computer Society, Los Alamitos, CA (2006)"},{"key":"31_CR12","doi-asserted-by":"crossref","unstructured":"Goldsby, H.J., Konrad, S., Cheng, B.H.C.: Goal-oriented patterns for UML-based modeling of embedded systems requirements. Technical Report MSU-CSE-07-19, Computer Science and Engineering, Michigan State University, East Lansing, Michigan (March 2007), (Submitted for publication) Available at: http:\/\/www.cse.msu.edu\/~hjg\/goldsby07Goal.pdf","DOI":"10.1109\/HASE.2007.21"},{"key":"31_CR13","doi-asserted-by":"crossref","unstructured":"McUmber, W.E., Cheng, B.H.C.: A general framework for formalizing UML with formal languages. In: ICSE 2001. Proceedings of the IEEE International Conference on Software Engineering, Toronto, Canada (May 2001)","DOI":"10.1109\/ICSE.2001.919116"},{"key":"31_CR14","doi-asserted-by":"crossref","unstructured":"Konrad, S., Cheng, B.H.C.: Facilitating the construction of specification pattern-based properties. In: RE 2005. Proceedings of the IEEE International Requirements Engineering Conference, Paris, France (August 2005)","DOI":"10.1109\/RE.2005.29"},{"key":"31_CR15","first-page":"249","volume-title":"RE 2001","author":"A. Lamsweerde van","year":"2001","unstructured":"van Lamsweerde, A.: Goal-oriented requirements engineering: A guided tour. In: RE 2001. Proceedings of the 5th IEEE International Symposium on Requirements Engineering, p. 249. IEEE Computer Society, Washington, DC (2001)"},{"key":"31_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-5269-7","volume-title":"Non-Functional Requirements in Software Engineering","author":"L. Chung","year":"2000","unstructured":"Chung, L., Nixon, B., Yu, E., Mylopoulos, J.: Non-Functional Requirements in Software Engineering. Kluwer Academic, Dordrecht (2000)"},{"key":"31_CR17","unstructured":"Konrad, S.: Model-driven Development and Analysis of High Assurance Systems. PhD thesis, Michigan State University (2006)"},{"key":"31_CR18","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1016\/j.entcs.2004.08.067","volume":"133","author":"C. Ponsard","year":"2005","unstructured":"Ponsard, C., Massonet, P., Rifaut, A., Molderez, J.F., van Lamsweerde, A., Van Tran, H.: Early verification and validation of mission critical systems. Electr. Notes Theor. Comput. Sci.\u00a0133, 237\u2013254 (2005)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"31_CR19","unstructured":"Darimont, R.: Process Support for Requirements Elaboration. PhD thesis, Louvain-la-Neuve, Belgium (1995)"},{"key":"31_CR20","unstructured":"IBM: Rational Rose XDE Developer (2005), http:\/\/www-306.ibm.com\/software\/awdtools\/developer\/rosexde\/"},{"key":"31_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/11663430_6","volume-title":"Satellite Events at the MoDELS 2005 Conference","author":"S. Konrad","year":"2006","unstructured":"Konrad, S., Cheng, B.H.C.: Automated analysis of natural language properties for UML models. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol.\u00a03844, pp. 48\u201357. Springer, Heidelberg (2006)"},{"key":"31_CR22","volume-title":"The Spin Model Checker, Primer and Reference Manual","author":"G. Holzmann","year":"2004","unstructured":"Holzmann, G.: The Spin Model Checker, Primer and Reference Manual. Addison-Wesley, Reading, Massachusetts (2004)"},{"key":"31_CR23","unstructured":"Goldsby, H., Cheng, B.H.C., Konrad, S., Kamdoum, S.: Enabling a roundtrip engineering process for the modeling and analysis of embedded systems. In: Proceedings of the ACM\/IEEE 8th International Conference on Model Driven Engineering Languages and Systems, Genova, Italy (October 2006)"},{"key":"31_CR24","unstructured":"Ambler, S.W.: Unified \u2013 and agile (January 2006), http:\/\/www.sdmagazine.com\/documents\/s=9947\/sdm0601g\/0601g.html"},{"key":"31_CR25","unstructured":"Ambler, S.W.: Agile model driven devlopment (AMDD) (2006), http:\/\/www.agilemodeling.com\/essays\/amdd.html"},{"key":"31_CR26","unstructured":"Mellor, S.J.: Agile MDA (2005), http:\/\/www.omg.org\/mda\/mda_files\/Agile_MDA.pdf"},{"key":"31_CR27","volume-title":"Extreme programming explained: Embrace change","author":"K. Beck","year":"1999","unstructured":"Beck, K.: Extreme programming explained: Embrace change. Addison-Wesley Longman Publishing Co., Inc, Boston, MA (1999)"},{"key":"31_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1007\/3-540-44870-5_12","volume-title":"Extreme Programming and Agile Processes in Software Engineering","author":"\u00c1. Herranz-Nieva","year":"2003","unstructured":"Herranz-Nieva, \u00c1., Moreno-Navarro, J.J.: Formal extreme (and extremely formal) programming. In: Marchesi, M., Succi, G. (eds.) XP 2003. LNCS, vol.\u00a02675, pp. 88\u201396. Springer, Heidelberg (2003)"},{"key":"31_CR29","series-title":"Lecture Notes in Computer Science","first-page":"332","volume-title":"Verification: Theory and Practice","author":"T.A. Henzinger","year":"2004","unstructured":"Henzinger, T.A., Jhala, R., Majumdar, R., Sanvido, M.A.A.: Extreme model checking. In: Dershowitz, N. (ed.) Verification: Theory and Practice. LNCS, vol.\u00a02772, pp. 332\u2013358. Springer, Heidelberg (2004)"},{"key":"31_CR30","first-page":"251","volume-title":"IWPC 2004","author":"D. Beyer","year":"2004","unstructured":"Beyer, D., Henzinger, T.A., Jhala, R., Majumdar, R.: An Eclipse plug-in for model checking. In: IWPC 2004. Proceedings of the 12th IEEE International Workshop on Program Comprehension, pp. 251\u2013255. IEEE Computer Society Press, Los Alamitos (CA) (2004)"},{"key":"31_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1007\/978-3-540-30187-5_28","volume-title":"UML 2004","author":"S. Hayashi","year":"2004","unstructured":"Hayashi, S., YiBing, P., Sato, M., Mori, K., Sejeon, S., Haruna, S.: Test driven development of UML models with smart modeling system. In: Baar, T., Strohmeier, A., Moreira, A., Mellor, S.J. (eds.) UML 2004. LNCS, vol.\u00a03273, pp. 395\u2013409. Springer, Heidelberg (2004)"},{"key":"31_CR32","series-title":"Lecture Notes in Computer Science","volume-title":"Software Engineering Education in the Modern Age","author":"S. Konrad","year":"2006","unstructured":"Konrad, S., Cheng, B.H.C.: Real-time specification patterns. In: Inverardi, P., Jazayeri, M. (eds.) ICSE 2005. LNCS, vol.\u00a04309, Springer, Heidelberg (2006)"},{"key":"31_CR33","doi-asserted-by":"crossref","unstructured":"Konrad, S., Campbell, L.A., Cheng, B.H.C.: Automated analysis of timing information in UML diagrams. In: ASE 2004. Proceedings of the Nineteenth IEEE International Conference on Automated Software Engineering, Linz, Austria, pp. 350\u2013353 (September 2004) (poster summary)","DOI":"10.1109\/ASE.2004.1342762"},{"key":"31_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"546","DOI":"10.1007\/BFb0028779","volume-title":"Computer Aided Verification","author":"M. Bozga","year":"1998","unstructured":"Bozga, M., Daws, C., Maler, O., Olivero, A., Tripakis, S., Yovine, S.: Kronos: A model-checking tool for real-time systems. In: Vardi, M.Y. (ed.) CAV 1998. LNCS, vol.\u00a01427, pp. 546\u2013550. Springer, Heidelberg (1998)"},{"key":"31_CR35","first-page":"40","volume":"70","author":"P. Pettersson","year":"2000","unstructured":"Pettersson, P., Larsen, K.G.: Uppaal2k. Bulletin of the European Association for Theoretical Computer Science\u00a070, 40\u201344 (2000)","journal-title":"Bulletin of the European Association for Theoretical Computer Science"},{"issue":"1-2","key":"31_CR36","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/s100090050008","volume":"1","author":"T.A. Henzinger","year":"1997","unstructured":"Henzinger, T.A., Ho, P.H., Wong-Toi, H.: HYTECH: A model checker for hybrid systems. International Journal on Software Tools for Technology Transfer\u00a01(1-2), 110\u2013122 (1997)","journal-title":"International Journal on Software Tools for Technology Transfer"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75209-7_31.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:56:02Z","timestamp":1619520962000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75209-7_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540752080","9783540752097"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75209-7_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}