{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:35:38Z","timestamp":1725550538635},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540304920"},{"type":"electronic","value":"9783540322405"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11589976_8","type":"book-chapter","created":{"date-parts":[[2005,10,26]],"date-time":"2005-10-26T09:38:16Z","timestamp":1130319496000},"page":"109-128","source":"Crossref","is-referenced-by-count":6,"title":["Agile Formal Method Engineering"],"prefix":"10.1007","author":[{"given":"Richard F.","family":"Paige","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Phillip J.","family":"Brooke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"The Agile Manifesto (2003), http:\/\/www.agilemanifesto.org"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Abdullah, M.S., Kimble, C., Paige, R.F., Benest, I.D., Evans, A.S.: Developing a UML profile for modelling knowledge-based systems. In: Proc. MDA: Foundations and Applications 2004. LNCS. Springer, Heidelberg (2004)","DOI":"10.1007\/11538097_15"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Abrial, J.-R.: The B-Book, Cambridge (1996)","DOI":"10.1017\/CBO9780511624162"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Ambler, S.: Process Patterns, Cambridge (1998)","DOI":"10.1017\/CBO9780511584992"},{"key":"8_CR5","volume-title":"Agile Modeling","author":"S. Ambler","year":"2002","unstructured":"Ambler, S.: Agile Modeling. John Wiley, Chichester (2002)"},{"key":"8_CR6","volume-title":"Extreme Programming Explained","author":"K. Beck","year":"2000","unstructured":"Beck, K.: Extreme Programming Explained. Addison-Wesley, Reading (2000)"},{"key":"8_CR7","volume-title":"Test-Driven Development","author":"K. Beck","year":"2002","unstructured":"Beck, K.: Test-Driven Development. Addison-Wesley, Reading (2002)"},{"key":"8_CR8","unstructured":"Brooke, P.J.: A timed semantics for a hierarchical design notation, DPhil Thesis, University of York (1999)"},{"key":"8_CR9","unstructured":"Brooke, P.J., Paige, R.F.: Simulating CSP in Eiffel. Preparation (2005)"},{"key":"8_CR10","unstructured":"Clark, T., Evans, A., Sammut, P., Willans, J.: Applied Metamodelling (2004), Available at www.xactium.com"},{"key":"8_CR11","unstructured":"D\u2019Souza, D., Wills, A.C.: Objects, Components and Frameworks with UML. AWL (1998)"},{"key":"8_CR12","volume-title":"SSADM Version 4: an Introduction","author":"M. Goodland","year":"1995","unstructured":"Goodland, M., Slater, C.: SSADM Version 4: an Introduction. McGraw-Hill, New York (1995)"},{"key":"8_CR13","volume-title":"A Practical Theory of Programming","author":"E.C.R. Hehner","year":"2003","unstructured":"Hehner, E.C.R.: A Practical Theory of Programming, 2nd edn. Springer, Heidelberg (2003)","edition":"2"},{"key":"8_CR14","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1986","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1986)"},{"key":"8_CR15","unstructured":"Ronin International. Enterprise unified process, http:\/\/www.enterpriseunifiedprocess.com"},{"key":"8_CR16","unstructured":"Kruchten, P.: The Rational Unified Process: an Introduction, 3rd edn. AWL (2003)"},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"Mahony, B., Dong, J.S.: Deep semantic links of Timed CSP and Object-Z. Formal Aspects of Computing\u00a013(2) (2002)","DOI":"10.1007\/s001650200004"},{"key":"8_CR18","volume-title":"Object Oriented Software Construction","author":"B. Meyer","year":"1997","unstructured":"Meyer, B.: Object Oriented Software Construction, 2nd edn. Prentice-Hall, Englewood Cliffs (1997)","edition":"2"},{"key":"8_CR19","unstructured":"Object Modelling Group. Model Driven Architecture (2004), http:\/\/www.omg.org\/mda\/"},{"key":"8_CR20","unstructured":"Object Modelling Group. Software Process Engineering Metamodel, SPEM (2005), http:\/\/www.omg.org\/technology\/documents\/formal\/spem.htm"},{"key":"8_CR21","unstructured":"Chair of\u00a0Software\u00a0Engineering. SCOOP web pages (2005), http:\/\/se.inf.ethz.ch\/scoop"},{"key":"8_CR22","doi-asserted-by":"crossref","unstructured":"Paige, R.F., Ostroff, J.S.: ERC: an object-oriented refinement calculus for Eiffel. Formal Aspects of Computing\u00a016(1) (2004)","DOI":"10.1007\/s00165-003-0024-3"},{"key":"8_CR23","doi-asserted-by":"crossref","unstructured":"Paige, R.F., Ostroff, J.S., Brooke, P.J.: Principles of modelling language design. Information and Software Technology\u00a042(10) (2000)","DOI":"10.1016\/S0950-5849(00)00109-9"},{"key":"8_CR24","volume-title":"A Practical Guide to Feature-Driven Development","author":"S. Palmer","year":"2002","unstructured":"Palmer, S., Felsing, M.: A Practical Guide to Feature-Driven Development. Prentice-Hall, Englewood Cliffs (2002)"},{"key":"8_CR25","unstructured":"ModelWare EC Integrated Project, www.modelware-ist.org"},{"key":"8_CR26","unstructured":"Ramsin, R., Paige, R.F.: Criteria-based analysis of object-oriented software development methodologies, Technical Report, University of York, UK (2005)"},{"key":"8_CR27","volume-title":"Encyclopedia of Software Engineering","author":"W. Scacchi","year":"2001","unstructured":"Scacchi, W.: Process models in software engineering. In: Encyclopedia of Software Engineering, 2nd edn. Wiley, Chichester (2001)","edition":"2"},{"key":"8_CR28","series-title":"Lecture Notes in Computer Science","volume-title":"Proc. ICCS 2002","author":"P. Welch","year":"2002","unstructured":"Welch, P., Aldous, J., Foster, J.: CSP networking for Java (CSP.net). In: Proc. ICCS 2002. LNCS. Springer, Heidelberg (2002)"},{"key":"8_CR29","unstructured":"Xactium. XMF user guide prerelease version 0.1 (2004), http:\/\/www.xactium.com"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11589976_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T10:05:57Z","timestamp":1586513157000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11589976_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540304920","9783540322405"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/11589976_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}