{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T06:27:52Z","timestamp":1743143272682,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540205371"},{"type":"electronic","value":"9783540400202"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"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":[[2003]]},"DOI":"10.1007\/978-3-540-40020-2_11","type":"book-chapter","created":{"date-parts":[[2010,6,23]],"date-time":"2010-06-23T18:42:34Z","timestamp":1277318554000},"page":"201-215","source":"Crossref","is-referenced-by-count":4,"title":["Use of Patterns in Formal Development: Systematic Transition from Problems to Architectural Designs"],"prefix":"10.1007","author":[{"given":"Christine","family":"Choppy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maritta","family":"Heisel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/0169-7552(87)90085-7","volume":"14","author":"T. Bolognesi","year":"1987","unstructured":"Bolognesi, T., Brinksma, E.: Introduction to the ISO specification language LOTOS. Computer Networks and ISDN Systems, North-Holland\u00a014, 25\u201359 (1987)","journal-title":"Computer Networks and ISDN Systems, North-Holland"},{"key":"11_CR2","volume-title":"Software Architecture in Practice","author":"L. Bass","year":"1998","unstructured":"Bass, L., Clements, P., Kazman, R.: Software Architecture in Practice. Addison-Wesley, Reading (1998)"},{"key":"11_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/3-540-45931-6_3","volume-title":"Foundations of Software Science and Computation Structures","author":"M. Bidoit","year":"2002","unstructured":"Bidoit, M., Hennicker, R., Kurz, A.: On the Integration of Observability and Reachability Concepts. In: Nielsen, M., Engberg, U. (eds.) FOSSACS 2002. LNCS, vol.\u00a02303, pp. 21\u201336. Springer, Heidelberg (2002)"},{"unstructured":"Blanc, B.: Prise en compte de principes architecturaux lors de la formalisation des besoins - Proposition d\u2019une extension en CASL et d\u2019un guide m\u00e9thodologique associ\u00e9. Th\u00e8se de Doctorat, ENS Cachan (2002)","key":"11_CR4"},{"unstructured":"Bidoit, M., Mosses, P.: CASL User Manual (2002), http:\/\/www.brics.dk\/Projects\/CoFI\/","key":"11_CR5"},{"key":"11_CR6","volume-title":"Pattern- Oriented Software Architecture: A System of Patterns","author":"F. Buschmann","year":"1996","unstructured":"Buschmann, F., Meunier, R., Rohnert, H., Sommerlad, P., Stal, M.: Pattern- Oriented Software Architecture: A System of Patterns. John Wiley & Sons, Chichester (1996)"},{"doi-asserted-by":"crossref","unstructured":"Choppy, C., Heisel, M.: Systematic transition from problems to architectural designs. Technical report, Universit\u00e9 Paris Nord (2003) (to appear)","key":"11_CR7","DOI":"10.1007\/978-3-540-40020-2_11"},{"key":"11_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/978-3-540-44616-3_7","volume-title":"Recent Trends in Algebraic Development Techniques","author":"C. Choppy","year":"2000","unstructured":"Choppy, C., Reggio, G.: Using CASL to Specify the Requirements and the Design: A Problem Specific Approach. In: Bert, D., Choppy, C., Mosses, P.D. (eds.) WADT 1999. LNCS, vol.\u00a01827, pp. 104\u2013123. Springer, Heidelberg (2000)"},{"key":"11_CR9","volume-title":"Design Patterns \u2013 Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns \u2013 Elements of Reusable Object-Oriented Software. Addison Wesley, Reading (1995)"},{"key":"11_CR10","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-0-387-35350-0_2","volume-title":"Proc. Systems Implementation 2000","author":"M. Heisel","year":"1998","unstructured":"Heisel, M.: Agendas \u2013 a concept to guide software development activites. In: Horspool, R.N. (ed.) Proc. Systems Implementation 2000, pp. 19\u201332. Chapman & Hall London, Boca Raton (1998)"},{"key":"11_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"818","DOI":"10.1007\/BFb0030643","volume-title":"TAPSOFT\u201997: Theory and Practice of Software Development","author":"M. Heisel","year":"1997","unstructured":"Heisel, M., L\u00e9vy, N.: Using LOTOS patterns to characterize architectural styles. In: Bidoit, M., Dauchet, M. (eds.) CAAP 1997, FASE 1997, and TAPSOFT 1997. LNCS, vol.\u00a01214, pp. 818\u2013832. Springer, Heidelberg (1997)"},{"key":"11_CR12","volume-title":"Software Requirements & Specifications: a Lexicon of Practice, Principles and Prejudices","author":"M. Jackson","year":"1995","unstructured":"Jackson, M.: Software Requirements & Specifications: a Lexicon of Practice, Principles and Prejudices. Addison-Wesley, Reading (1995)"},{"key":"11_CR13","volume-title":"Problem Frames. Analyzing and structuring software development problems","author":"M. Jackson","year":"2001","unstructured":"Jackson, M.: Problem Frames. Analyzing and structuring software development problems. Addison-Wesley, Reading (2001)"},{"unstructured":"Roggenbach, M., Mossakowski, T.: What is a good CASL specification. WADT (2002)","key":"11_CR14"},{"key":"11_CR15","volume-title":"Software Architecture. Perspectives on an Emerging Discipline","author":"M. Shaw","year":"1996","unstructured":"Shaw, M., Garlan, D.: Software Architecture. Perspectives on an Emerging Discipline. Prentice-Hall, Englewood Cliffs (1996)"},{"unstructured":"Souqui\u00e8res, J., Heisel, M.: Structuring the first steps of requirements elicitation. Technical Report A00-R-123, LORIA, Nancy, France (2000)","key":"11_CR16"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-40020-2_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T06:54:28Z","timestamp":1559199268000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-40020-2_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540205371","9783540400202"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-40020-2_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}