{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T09:08:15Z","timestamp":1725527295779},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642008665"},{"type":"electronic","value":"9783642008672"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-00867-2_12","type":"book-chapter","created":{"date-parts":[[2009,3,2]],"date-time":"2009-03-02T14:04:21Z","timestamp":1236002661000},"page":"251-274","source":"Crossref","is-referenced-by-count":5,"title":["Documenting the Progress of the System Development"],"prefix":"10.1007","author":[{"given":"Marta","family":"Pl\u0105ska","sequence":"first","affiliation":[]},{"given":"Marina","family":"Wald\u00e9n","sequence":"additional","affiliation":[]},{"given":"Colin","family":"Snook","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-Book: Assigning Programs to Meanings","author":"J.-R. Abrial","year":"1996","unstructured":"Abrial, J.-R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)"},{"key":"12_CR2","volume-title":"Enterprise Patterns and MDA: Building Better Software with Archetype Patterns and UML","author":"J. Arlow","year":"2004","unstructured":"Arlow, J., Neustadt, I.: Enterprise Patterns and MDA: Building Better Software with Archetype Patterns and UML. Addison-Wesley, Reading (2004)"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Back, R.J.R., Kurki-Suonio, R.: Decentralization of process nets with centralized control. In: Proc. of the 2nd ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, pp. 131\u2013142 (1983)","DOI":"10.1145\/800221.806716"},{"key":"12_CR4","first-page":"26","volume":"17","author":"R.J.R. Back","year":"1996","unstructured":"Back, R.J.R., Sere, K.: From modular systems to action systems. Software - Concepts and Tools\u00a017, 26\u201339 (1996)","journal-title":"Software - Concepts and Tools"},{"key":"12_CR5","volume-title":"The Unified Modeling Language - a Reference Manual","author":"G. Booch","year":"1998","unstructured":"Booch, G., Jacobson, I., Rumbaugh, J.: The Unified Modeling Language - a Reference Manual. Addison-Wesley, Reading (1998)"},{"key":"12_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/11955757_12","volume-title":"B 2007: Formal Specification and Development in B","author":"E. Chan","year":"2006","unstructured":"Chan, E., Robinson, K., Welch, B.: Patterns for B: Bridging Formal and Informal Development. In: Julliand, J., Kouchnarenko, O. (eds.) B 2007. LNCS, vol.\u00a04355, pp. 125\u2013139. Springer, Heidelberg (2006)"},{"key":"12_CR7","volume-title":"Design Patterns. Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns. Elements of Reusable Object-Oriented Software. Addison-Wesley Professional Computing Series, Reading (1995)"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"Iliasov, A.: Refinement Patterns for Rapid Development of Dependable Systems. Proc of Engineering Fault Tolerant Systems Workshop (at ESEC\/FSE, Dubrovnik, Croatia), ACM Digital Library, September 4 (2007)","DOI":"10.1145\/1316550.1316560"},{"key":"12_CR9","unstructured":"Ili\u010d, D., Troubitsyna, E.: A Formal Model Driven Approach to Requirements Engineering. TUCS Technical Report No 667, \u00c5bo Akademi University, Finland (February 2005)"},{"issue":"2","key":"12_CR10","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1145\/169701.169682","volume":"15","author":"S.M. Katz","year":"1993","unstructured":"Katz, S.M.: A superimposition control construct for distributed systems. ACM Transactions on Programming Languages and Systems\u00a015(2), 337\u2013356 (1993)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"12_CR11","unstructured":"Metayer, C., Abrial, J.R., Voisin, L.: Event-B Language, RODIN Deliverable 3.2 (D7) (May 2005), \n                    \n                      http:\/\/rodin.cs.ncl.ac.uk\/deliverables\/D7.pdf"},{"key":"12_CR12","unstructured":"Object Management Group. Unified Modelling Language Specification - Complete UML 1.4 specification (September 2001)"},{"key":"12_CR13","unstructured":"Object Management Group Systems Engineering Domain Special Interest Group (SE DSIG). S. A. Friedenthal and R. Burkhart. Extending UMLTM from Software to Systems (accessed May 2007)"},{"key":"12_CR14","unstructured":"Olszewski, M., Pl\u0105ska, M.: Memento system (2006), \n                    \n                      http:\/\/memento.unforgiven.pl"},{"key":"12_CR15","first-page":"332","volume-title":"Proc. of the 15th International Conference on VLSI Design (VLSID 2002)","author":"J. Peng","year":"2002","unstructured":"Peng, J., Abdi, S., Gajski, D.: Automatic Model Refinement for Fast Architecture Exploration. In: Proc. of the 15th International Conference on VLSI Design (VLSID 2002), p. 332. IEEE Computer Society, Los Alamitos (2002)"},{"key":"12_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/978-3-642-00867-2_12","volume-title":"Methods, Models and Tools for Fault Tolerance","author":"M. Pl\u0105ska","year":"2009","unstructured":"Pl\u0105ska, M., Wald\u00e9n, M., Snook, C.: Documenting the Progress of the System Development. In: Bulter, M., Jones, C., Romanovsky, A., Troubitsyna, E. (eds.) Methods, Models and Tools for Fault Tolerance. LNCS, vol.\u00a05454, pp. 251\u2013274. Springer, Heidelberg (2009)"},{"key":"12_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"461","DOI":"10.1007\/11611257_44","volume-title":"SOFSEM 2006: Theory and Practice of Computer Science","author":"C. Pons","year":"2006","unstructured":"Pons, C.: Heuristics on the Definition of UML Refinement Patterns. In: Wiedermann, J., Tel, G., Pokorn\u00fd, J., Bielikov\u00e1, M., \u0160tuller, J. (eds.) SOFSEM 2006. LNCS, vol.\u00a03831, pp. 461\u2013470. Springer, Heidelberg (2006)"},{"issue":"1","key":"12_CR18","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/1125808.1125811","volume":"15","author":"C. Snook","year":"2006","unstructured":"Snook, C., Butler, M.: UML-B: Formal modelling and design aided by UML. ACM Transactions on Software Engineering and Methodology\u00a015(1), 92\u2013122 (2006)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"12_CR19","unstructured":"Snook, C., Butler, M.: UML-B and Event-B: an integration of languages and tools. In: Proc. of The IASTED International Conference on Software Engineering \u2013 SE 2008, Innsbruck, Austria (February 2008)"},{"key":"12_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/11955757_15","volume-title":"B 2007: Formal Specification and Development in B","author":"C. Snook","year":"2006","unstructured":"Snook, C., Wald\u00e9n, M.: Refinement of Statemachines Using Event B Semantics. In: Julliand, J., Kouchnarenko, O. (eds.) B 2007. LNCS, vol.\u00a04355, pp. 171\u2013185. Springer, Heidelberg (2006)"},{"key":"12_CR21","unstructured":"Troubitsyna, E.: Stepwise Development of Dependable Systems. Turku Centre for Computer Science, TUCS, Ph.D. thesis No. 29 (June 2000)"},{"key":"12_CR22","doi-asserted-by":"crossref","unstructured":"Wald\u00e9n, M., Sere, K.: Reasoning About Action Systems Using the B-Method. Formal Methods in Systems Design\u00a013(5-35) (1998)","DOI":"10.1023\/A:1008688421367"}],"container-title":["Lecture Notes in Computer Science","Methods, Models and Tools for Fault Tolerance"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00867-2_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,6]],"date-time":"2019-03-06T06:52:43Z","timestamp":1551855163000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00867-2_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642008665","9783642008672"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00867-2_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}