{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:08:42Z","timestamp":1725516522598},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540691471"},{"type":"electronic","value":"9783540691495"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-69149-5_4","type":"book-chapter","created":{"date-parts":[[2008,8,12]],"date-time":"2008-08-12T12:07:43Z","timestamp":1218542863000},"page":"31-41","source":"Crossref","is-referenced-by-count":0,"title":["Methods and Tools for Formal Software Engineering"],"prefix":"10.1007","author":[{"given":"Zhiming","family":"Liu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Venkatesh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"Mastercraft. Tata Consultancy Services, \n                    \n                      http:\/\/www.tata-mastercraft.com"},{"key":"4_CR2","unstructured":"Aichernig, B.K., He, J., Liu, Z., Reed, M.: Theories and techniques of program modelling, design and verification. In: IFIP Working Conference on Verified Software: Theories, Tools and Experiments (VSTTE) (2005)"},{"key":"4_CR3","volume-title":"Design Patterns, Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1994","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns, Elements of Reusable Object-Oriented Software. Addlison Wesley, London (1994)"},{"key":"4_CR4","unstructured":"He, J.: Link simulation with refinement. In: Proc. of The 25th anniversary of CSP (2004)"},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","first-page":"72","volume-title":"Theoretical Aspects of Computing \u2013 ICTAC 2005","author":"J. He","year":"2005","unstructured":"He, J., Li, X., Liu, Z.: Component-based software engineering \u2013 the need to link methods and their theories. In: Van Hung, D., Wirsing, M. (eds.) ICTAC 2005. LNCS, vol.\u00a03722, pp. 72\u201397. Springer, Heidelberg (2005)"},{"key":"4_CR6","unstructured":"Hoare, A.C.R., Misra, J.: Verified software: Theories, tools and experiments. In: The Grand Challenge Paper at the IFIP Working Conference on Verified Software: Theories, Tools and Experiments (VSTTE), Zurich (October 10-13, 2005), \n                    \n                      http:\/\/vstte.ethz.ch\/"},{"issue":"1","key":"4_CR7","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/602382.602403","volume":"50","author":"C.A.R. Hoare","year":"2003","unstructured":"Hoare, C.A.R.: The verifying compiler: A grand challenge for computer research. Journal of the ACM\u00a050(1), 63\u201369 (2003)","journal-title":"Journal of the ACM"},{"key":"4_CR8","unstructured":"Joseph, M.: Formal techniques in large scale software engineering. In: Keynote at IFIP Working Conference on Verified Software: Theories, Tools and Experiments (VSTTE), Zurich (October 10-13, 2005), \n                    \n                      http:\/\/vstte.ethz.ch\/"},{"key":"4_CR9","volume-title":"The Rational Unified Process \u2013 An Introduction (.)","author":"P. Kruchten","year":"2000","unstructured":"Kruchten, P.: The Rational Unified Process \u2013 An Introduction, 2nd edn. Addison-Wesly, London, UK (2000)","edition":"2"},{"key":"4_CR10","volume-title":"Applying UML and Patterns","author":"C. Larman","year":"2001","unstructured":"Larman, C.: Applying UML and Patterns. Prentice-Hall, Englewood Cliffs (2001)"},{"key":"4_CR11","series-title":"Lecture Notes in Computer Science","volume-title":"International Conference on Distributed Computing and Internet Technology(ICDIT2004)","author":"X. Li","year":"2004","unstructured":"Li, X., Liu, Z., He, J., Long, Q.: Generating prototypes from a UML model of requirements. In: International Conference on Distributed Computing and Internet Technology(ICDIT2004), Bhubaneswar, India. LNCS, Springer, Heidelberg (2004)"},{"key":"4_CR12","first-page":"349","volume-title":"Proceedings of IFIP WCC-TCS2004","author":"Z. Liu","year":"2004","unstructured":"Liu, Z., He, J., Li, X.: Contract-oriented development of component systems. In: Proceedings of IFIP WCC-TCS2004, Toulouse, France, pp. 349\u2013366. Kluwer Academic Publishers, Boston (2004)"},{"key":"4_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/11561163_9","volume-title":"Formal Methods for Components and Objects","author":"Z. Liu","year":"2005","unstructured":"Liu, Z., He, J., Li, X.: rCOS: A refinement calculus for object systems. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2004. LNCS, vol.\u00a03657, pp. 183\u2013221. Springer, Heidelberg (2005)"},{"key":"4_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/b11717","volume-title":"Proc. of International Conference on Formal Engineering Methods","author":"Z. Liu","year":"2003","unstructured":"Liu, Z., He, J., Li, X., Chen, Y.: A relational model for object-oriented requirement analysis in UML. In: Proc. of International Conference on Formal Engineering Methods, Singapore, November 2003. LNCS, Springer, Heidelberg (2003)"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Liu, Z., Ravn, A.P., Li, X.: Unifying proof methodologies of Duration Calculus and Linear Temporal Logic. Formal Aspects of Computing\u00a016(2) (2004)","DOI":"10.1007\/s00165-004-0036-7"},{"key":"4_CR16","volume-title":"Australia Conference on Software Engineering (ASWEC)","author":"Q. Long","year":"2005","unstructured":"Long, Q., Liu, Z., He, J., Li, X.: Consistent code generation from uml models. In: Australia Conference on Software Engineering (ASWEC), IEEE Computer Scienty Press, Los Alamitos (2005)"},{"key":"4_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1007\/11560647_32","volume-title":"Theoretical Aspects of Computing \u2013 ICTAC 2005","author":"Q. Long","year":"2005","unstructured":"Long, Q., Qiu, Z., Liu, Z., Shao, L., He, J.: POST: A case study for an incremental development in rCOS. In: Van Hung, D., Wirsing, M. (eds.) ICTAC 2005. LNCS, vol.\u00a03722, pp. 485\u2013500. Springer, Heidelberg (2005)"},{"key":"4_CR18","volume-title":"Executable UML: a foundation for model-driven architecture","author":"S.J. Mellor","year":"2002","unstructured":"Mellor, S.J., Valcer, M.J.: Executable UML: a foundation for model-driven architecture. Addison-Wesley, Reading (2002)"},{"key":"4_CR19","unstructured":"OMG. The Unified Modeling Language (UML) Specification - Version 1.4, Joint submission to the Object Management Group (OMG) (September 2001) \n                    \n                      http:\/\/www.omg.org\/technology\/uml\/index.htm"},{"key":"4_CR20","unstructured":"Pnueli, A.: Looking ahead. In: Workshop on The Verification Grand Challenge 2005 SRI International, Menlo Park, CA(February 21\u201323)"},{"key":"4_CR21","unstructured":"Rushby, J.: Integrating verification components. In: Keynote at IFIP Working Conference on Verified Software: Theories, Tools and Experiments (VSTTE), Zurich, (October 10-13, 2005), \n                    \n                      http:\/\/vstte.ethz.ch\/"},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"Shrotri, U., Bhaduri, P., Venkatesh, R.: Model checking visual specification of requirements. In: International Conference on Software Engineering and Formal Methods (SEFM 2003), Australia, 3003., pp. 202\u2013209. IEEE Computer Society Press, Los Alamitos","DOI":"10.1109\/SEFM.2003.1236222"}],"container-title":["Lecture Notes in Computer Science","Verified Software: Theories, Tools, Experiments"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69149-5_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,2]],"date-time":"2019-03-02T07:38:45Z","timestamp":1551512325000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69149-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540691471","9783540691495"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69149-5_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}