{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:50:06Z","timestamp":1725490206376},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540752202"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75221-9_18","type":"book-chapter","created":{"date-parts":[[2007,8,30]],"date-time":"2007-08-30T10:33:13Z","timestamp":1188469993000},"page":"399-413","source":"Crossref","is-referenced-by-count":3,"title":["Design Verification Patterns"],"prefix":"10.1007","author":[{"given":"John","family":"Knudsen","sequence":"first","affiliation":[]},{"given":"Anders P.","family":"Ravn","sequence":"additional","affiliation":[]},{"given":"Arne","family":"Skou","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","volume-title":"Software Architecture in Practice","author":"L. Bass","year":"1999","unstructured":"Bass, L., Clements, P., Kazman, R.: Software Architecture in Practice. Addison-Wesley, Reading (1999)"},{"key":"18_CR2","series-title":"Texts in Theoretical Computer Science","volume-title":"Domains, Requirements and Software Design","author":"D. Bj\u00f8rner","year":"2006","unstructured":"Bj\u00f8rner, D.: Software Engineering. In: Domains, Requirements and Software Design. Texts in Theoretical Computer Science, vol.\u00a03, Springer, Heidelberg (2006)"},{"key":"18_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1007\/11804192_16","volume-title":"Formal Methods for Components and Objects","author":"P. Chalin","year":"2006","unstructured":"Chalin, P., Kiniry, J.R., Leavens, G.T., Poll, E.: Beyond assertions: Advanced specification and verification with JML and ESC\/Java2. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2005. LNCS, vol.\u00a04111, pp. 342\u2013363. Springer, Heidelberg (2006)"},{"key":"18_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/978-3-540-30101-1_4","volume-title":"Formal Methods for Components and Objects","author":"W. Damm","year":"2004","unstructured":"Damm, W., Hungar, H., Olderog, E.-R.: On the verification of cooperating traffic agents. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2003. LNCS, vol.\u00a03188, pp. 77\u2013110. Springer, Heidelberg (2004)"},{"issue":"5","key":"18_CR5","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1080\/00207170600587531","volume":"79","author":"W. Damm","year":"2006","unstructured":"Damm, W., Hungar, H., Olderog, E.-R.: Verification of cooperating travel agents. International Journal of Control\u00a079(5), 395\u2013421 (2006)","journal-title":"International Journal of Control"},{"key":"18_CR6","volume-title":"Design Patterns","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns. Addison-Wesley, Reading (1995)"},{"key":"18_CR7","unstructured":"Object Management Group. Unified Modeling Language: Superstructure, version 2.0, final adopted specification (2005), http:\/\/www.omg.org\/uml\/,formal\/05-07-04"},{"key":"18_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"288","DOI":"10.1007\/3-540-58468-4_171","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"J. He","year":"1994","unstructured":"He, J., Hoare, C.A.R., Fr\u00e4nzle, M., M\u00fcller-Olm, M., Olderog, E.-R., Schenke, M., Hansen, M.R., Ravn, A.P., Rischel, H.: Provably correct systems. In: Langmaack, H., de Roever, W.-P., Vytopil, J. (eds.) Formal Techniques in Real-Time and Fault-Tolerant Systems. LNCS, vol.\u00a0863, pp. 288\u2013335. Springer, Heidelberg (1994)"},{"issue":"1-2","key":"18_CR9","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/j.tcs.2006.07.034","volume":"365","author":"J. He","year":"2006","unstructured":"He, J., Li, X., Liu, Z.: rCOS: A refinement calculus for object systems. Theoretical Computer Science\u00a0365(1-2), 109\u2013142 (2006)","journal-title":"Theoretical Computer Science"},{"key":"18_CR10","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)"},{"key":"18_CR11","volume-title":"Unifying Theories of Programming","author":"C.A.R. Hoare","year":"1998","unstructured":"Hoare, C.A.R., He, J.: Unifying Theories of Programming. Prentice-Hall, Englewood Cliffs (1998)"},{"key":"18_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/3-540-47884-1_14","volume-title":"Integrated Formal Methods","author":"J. Hoenicke","year":"2002","unstructured":"Hoenicke, J., Olderog, E.-R.: Combining Specification Techniques for Processes Data and Time. In: Butler, M., Petre, L., Sere, K. (eds.) IFM 2002. LNCS, vol.\u00a02335, pp. 245\u2013266. Springer, Heidelberg (2002)"},{"key":"18_CR13","unstructured":"Hoenicke, J.: Combination of Processes, Data, and Time. PhD thesis, Fachbereich Informatik Universitt Oldenburg (2006)"},{"key":"18_CR14","series-title":"Real-Time Safety Critical Systems","volume-title":"Towards Verified Systems","author":"H. Langmaack","year":"1994","unstructured":"Langmaack, H., Ravn, A.P.: The procos project: Provably correct systems. In: Bowen, J. (ed.) Towards Verified Systems. Real-Time Safety Critical Systems, ch. Appendix B. vol.\u00a02, Elsevier, Amsterdam (1994)"},{"key":"18_CR15","volume-title":"Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process","author":"C. Larman","year":"2001","unstructured":"Larman, C.: Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process, 2nd edn. Prentice-Hall, Englewood Cliffs (2001)","edition":"2"},{"key":"18_CR16","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1142\/9789812772831_0007","volume-title":"Mathematical Frameworks for Component Software","author":"Z. Liu","year":"2006","unstructured":"Liu, Z., He, J., Li, X.: rCOS: A relational calculus of components. In: Mathematical Frameworks for Component Software, pp. 207\u2013238. World Scientific, Singapore (2006)"},{"key":"18_CR17","doi-asserted-by":"crossref","unstructured":"Liu, Z., Mencl, V., Ravn, A.P., Yang, L.: Harnessing theories for tool support. In: Proceedings of International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2006) (November 2006) (An extended version is found as UNU-IIST Technical Report 335, August 2006)","DOI":"10.1109\/ISoLA.2006.49"},{"key":"18_CR18","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":"18_CR19","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":"18_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1007\/11921240_23","volume-title":"Theoretical Aspects of Computing - ICTAC 2006","author":"R. Meyer","year":"2006","unstructured":"Meyer, R., Faber, J., Rybalchenko, A.: Model checking duration calculus: A practical approach. In: Barkaoui, K., Cavalcanti, A., Cerone, A. (eds.) ICTAC 2006. LNCS, vol.\u00a04281, pp. 332\u2013346. Springer, Heidelberg (2006)"},{"key":"18_CR21","series-title":"Lecture Notes in Computer Science","volume-title":"Integrated Formal Methods","author":"M. M\u00f6ller","year":"2004","unstructured":"M\u00f6ller, M., Olderog, E.-R., Rasch, H., Wehrheim, H.: Linking CSP-OZ with UML and Java: A case study. In: Boiten, E.A., Derrick, J., Smith, G.P. (eds.) IFM 2004. LNCS, vol.\u00a02999, Springer, Heidelberg (2004)"},{"issue":"2","key":"18_CR22","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/MC.1985.1662795","volume":"18","author":"B. Moszkowski","year":"1985","unstructured":"Moszkowski, B.: A temporal logic for multilevel reasoning about hardware. Computer\u00a018(2), 10\u201319 (1985)","journal-title":"Computer"},{"key":"18_CR23","series-title":"Trends in Software-Engineering","first-page":"107","volume-title":"Formal Methods in Real-Time Systems","author":"E.-R. Olderog","year":"1996","unstructured":"Olderog, E.-R., Ravn, A.P., Skakkeb\u00e6k, J.U.: Refining system requirements to program specifications (chapter 5). In: Heitmeyer, C., Mandrioli, D. (eds.) Formal Methods in Real-Time Systems. Trends in Software-Engineering, pp. 107\u2013134. Wiley, Chichester (1996)"},{"key":"18_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1007\/3-540-60609-2_11","volume-title":"SOFSEM \u201995: Theory and Practice of Informatics","author":"H. Rischel","year":"1995","unstructured":"Rischel, H., Cuellar, J., M\u00f8rk, S., Ravn, A.P., Wildgruber, I.: Development of safety-critical real-time systems. In: Bartosek, M., Staudek, J., Wiedermann, J. (eds.) SOFSEM 1995. LNCS, vol.\u00a01012, pp. 206\u2013235. Springer, Heidelberg (1995)"},{"key":"18_CR25","volume-title":"The Unified Modelling Language Reference Manual","author":"J. Rumbaugh","year":"1999","unstructured":"Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modelling Language Reference Manual. Addison-Wesley, Reading (1999)"},{"key":"18_CR26","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-5265-9","volume-title":"The Object-Z specification language","author":"G. Smith","year":"2000","unstructured":"Smith, G.: The Object-Z specification language. Kluwer Academic Publishers, Norwell, MA, USA (2000)"},{"key":"18_CR27","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1109\/ICSE.2004.1317488","volume-title":"Proceedings 26th International Conference on Software Engineering, ICSE 2004","author":"N. Soundarajan","year":"2004","unstructured":"Soundarajan, N., Hallstrom, J.O.: Responsibilities and rewards: specifying design patterns. In: Proceedings 26th International Conference on Software Engineering, ICSE 2004, May 2004, pp. 666\u2013675. IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"18_CR28","volume-title":"Component Software: Beyond Object-Oriented Programming","author":"C. Szyperski","year":"1997","unstructured":"Szyperski, C.: Component Software: Beyond Object-Oriented Programming. Addison-Wesley, Reading (1997)"},{"key":"18_CR29","series-title":"Lecture Notes in Computer Science","first-page":"21","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"C. Zhou","year":"1991","unstructured":"Zhou, C., Hansen, M.R., Ravn, A.P., Rischel, H.: Duration specifications for shared processors. In: Vytopil, J. (ed.) Formal Techniques in Real-Time and Fault-Tolerant Systems. LNCS, vol.\u00a0571, pp. 21\u201332. Springer, Heidelberg (1991)"},{"key":"18_CR30","series-title":"An EATCS Series","volume-title":"Monographs in Theoretical Computer Science","author":"C. Zhou","year":"2004","unstructured":"Zhou, C., Hansen, M.R.: Duration Calculus: A Formal Approach to Real-Time Systems. In: Monographs in Theoretical Computer Science. An EATCS Series, Springer, Heidelberg (2004)"},{"issue":"5","key":"18_CR31","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1016\/0020-0190(91)90122-X","volume":"40","author":"C.C. Zhou","year":"1991","unstructured":"Zhou, C.C., Hoare, C.A.R., Ravn, A.P.: A calculus of durations. Information Processing Letters\u00a040(5), 269\u2013276 (1991)","journal-title":"Information Processing Letters"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Hybrid Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75221-9_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:56:24Z","timestamp":1619520984000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75221-9_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540752202"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75221-9_18","relation":{},"subject":[]}}