{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,22]],"date-time":"2025-02-22T22:40:41Z","timestamp":1740264041440,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540262756"},{"type":"electronic","value":"9783540322689"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11494713_7","type":"book-chapter","created":{"date-parts":[[2010,7,14]],"date-time":"2010-07-14T07:14:12Z","timestamp":1279091652000},"page":"94-112","source":"Crossref","is-referenced-by-count":2,"title":["Pattern-Based Architectural Design Driven by Quality Properties: A Platform to Model Scientific Calculation"],"prefix":"10.1007","author":[{"given":"Francisca","family":"Losavio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicole","family":"Levy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Parinaz","family":"Davari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fran\u00e7ois","family":"Colonna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_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":"7_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1007\/3-540-60973-3_108","volume-title":"FME \u201996: Industrial Benefit and Advances in Formal Methods","author":"P.S.C. Alencar","year":"1996","unstructured":"Alencar, P.S.C., Cowan, D.D., Lucena, C.J.P.: A Formal Approach to Architectural Design Patterns. In: Gaudel, M.-C., Woodcock, J.C.P. (eds.) FME 1996. LNCS, vol.\u00a01051, pp. 576\u2013594. Springer, Heidelberg (1996)"},{"key":"7_CR3","volume-title":"The timeless way of building","author":"C. Alexander","year":"1979","unstructured":"Alexander, C.: The timeless way of building. Oxford University Press, Oxford (1979)"},{"key":"7_CR4","volume-title":"Design and Use of Software Architecture","author":"J. Bosch","year":"2000","unstructured":"Bosch, J.: Design and Use of Software Architecture. Addison Wesley, Harlow (2000)"},{"key":"7_CR5","volume-title":"Pattern-Oriented Software Architecture. A System of Patterns","author":"F. Buschmann","year":"1996","unstructured":"Buschmann, F., Meunier, R., Rhonert, H., Sommerlad, P., Stal, M.: Pattern-Oriented Software Architecture. A System of Patterns. John Wiley & Sons, New York (1996)"},{"key":"7_CR6","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1016\/S0920-5489(02)00096-X","volume":"25","author":"L. Chung","year":"2003","unstructured":"Chung, L., Cooper, K., Yi, A.: Developing adaptable software architectures using design patterns: an NFR approach. Computer Standards & Interfaces\u00a025, 253\u2013260 (2003)","journal-title":"Computer Standards & Interfaces"},{"key":"7_CR7","series-title":"SEI Series in Software Engineering","volume-title":"Evaluating Software Architecture. Methods and Case Studies","author":"P. Clements","year":"2002","unstructured":"Clements, P., Kazman, R., Klein, M.: Evaluating Software Architecture. Methods and Case Studies. SEI Series in Software Engineering. Addison-Wesley, Reading (2002)"},{"key":"7_CR8","volume-title":"Documenting Software Architectures: Views and Beyond","author":"P. Clements","year":"2002","unstructured":"Clements, P., Bachmann, F., Bass, L., Garlan, D., Ivers, J., Little, R., Nord, R., Stafford, J.: Documenting Software Architectures: Views and Beyond, September 2002. Addison Wesley, Reading (2002)"},{"key":"7_CR9","volume-title":"Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R.: Design Patterns. In: Elements of Reusable Object-Oriented Software, Addison Wesley, Reading (1995)"},{"key":"7_CR10","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/s007660170013","volume":"6","author":"D. Gross","year":"2001","unstructured":"Gross, D., Yu, E.: From Non-Functional Requirements to Design Through Patterns. Requirements Engineering Journal\u00a06, 18\u201336 (2001)","journal-title":"Requirements Engineering Journal"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Grnbacher, P., Egyed, A., Medvidovic, N.: Reconciling Software Requirements and Architectures: the CBSP Approach. Journal of Software and Systems Modeling (SOSYM) (to appear)","DOI":"10.1109\/ISRE.2001.948560"},{"key":"7_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1007\/3-540-47866-3_21","volume-title":"Conceptual Modeling ER\u201999","author":"M. Heisel","year":"1999","unstructured":"Heisel, M., Souquires, J.: A Method for Requirements Elicitation and Formal Specification. In: Akoka, J., Bouzeghoub, M., Comyn-Wattiau, I., M\u00e9tais, E. (eds.) ER 1999. LNCS, vol.\u00a01728, pp. 309\u2013325. Springer, Heidelberg (1999)"},{"key":"7_CR13","first-page":"143","volume-title":"Language Constructs for Describing Features","author":"M. Heisel","year":"2000","unstructured":"Heisel, M., Souquires, J.: A heuristic algorithm to detect feature interactions in requirements. In: Gilmore, S., Ryan, M. (eds.) Language Constructs for Describing Features, pp. 143\u2013162. Springer, Heidelberg (2000)"},{"key":"7_CR14","unstructured":"ISO\/IEC 9126-1. Software Engineering - Product Quality. Part 1: Quality Model (2001)"},{"key":"7_CR15","volume-title":"Problem Frames","author":"M. Jackson","year":"2001","unstructured":"Jackson, M.: Problem Frames. Addison Wesley, Harlow (2001)"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Klein, M., Kazman, R.: Attribute-Based Architectural Styles. CMU\/SEI-99-TR-022, ESC-TR-99-022 (October 1999)","DOI":"10.21236\/ADA371802"},{"key":"7_CR17","volume-title":"The Rational Unified Process","author":"P. Krutchen","year":"1999","unstructured":"Krutchen, P.: The Rational Unified Process. Addison Wesley, Reading (1999)"},{"key":"7_CR18","unstructured":"Lalanda, P.: Shared repository pattern. In: PLOP 1998 (1998)"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"van Lamsweerde, A.: Elaborating security requirements by construction of intentional anti-models. In: 26th ICSE 2004, Edinburgh, pp. 148\u2013157 (2004)","DOI":"10.1109\/ICSE.2004.1317437"},{"key":"7_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-540-39800-4_2","volume-title":"Formal Methods for Software Architectures","author":"A. Lamsweerde van","year":"2003","unstructured":"van Lamsweerde, A.: From system goals to software architecture. In: Bernardo, M., Inverardi, P. (eds.) SFM 2003. LNCS, vol.\u00a02804, pp. 25\u201343. Springer, Heidelberg (2003)"},{"key":"7_CR21","unstructured":"Levy, N., Marcano, R., Souquires, J.: From requirements to formal specification using UML and B. In: International Conference on Computer Systems and Technologies CompSysTech 2002 (2002)"},{"key":"7_CR22","doi-asserted-by":"crossref","unstructured":"Liu, J., Issarny, V.: QoS-aware Service Location in Mobile Ad-Hoc Networks. In: MDM 2001, Berkeley, C.A, USA (January 2001)","DOI":"10.1007\/3-540-45512-4_18"},{"key":"7_CR23","doi-asserted-by":"crossref","unstructured":"Losavio, F., Chirinos, L., Prez, M.: Quality Models to Design Software Architecture. In: IEEE TOOLS, Zurich, March 2001, pp. 123\u2013135 (2001)","DOI":"10.1109\/TOOLS.2001.911761"},{"issue":"2","key":"7_CR24","doi-asserted-by":"publisher","first-page":"133","DOI":"10.5381\/jot.2003.2.2.a2","volume":"2","author":"F. Losavio","year":"2003","unstructured":"Losavio, F., Chirinos, L., Lvy, N., Ramdane-Cherif, A.: Quality Characteristics for Software Architecture. Journal of Object Technology\u00a02(2), 133\u2013150 (2003), http:\/\/www.jot.fm\/issues\/issue_2003_03\/article2","journal-title":"Journal of Object Technology"},{"issue":"1","key":"7_CR25","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1201\/1078\/43877.21.1.20041201\/78983.3","volume":"21","author":"F. Losavio","year":"2004","unstructured":"Losavio, F., Chirinos, L., Matteo, A.: Identifying Quality-Based Requirements. Information Systems Management (ISYM)\u00a021(1), 15\u201321 (Winter 2004)","journal-title":"Information Systems Management (ISYM)"},{"issue":"1","key":"7_CR26","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1201\/1078\/43877.21.1.20041201\/78984.4","volume":"21","author":"F. Losavio","year":"2004","unstructured":"Losavio, F., Chirinos, L., Matteo, A., Lvy, N., Ramdane-Cherif, A.: Designing Quality Architecture: Incorporating ISO Standards into the Unified Process. Information Systems Management (ISYM)\u00a021(1), 27\u201344 (2004)","journal-title":"Information Systems Management (ISYM)"},{"key":"7_CR27","unstructured":"Marcano, R., Levy, N.: Using B formal specifications for analysis and verfication of UML\/OCL models. In: Workshop on consistency problems in UML-based software development. 5th International Conference on the Unified Modeling Language, Dresden, Germany (October 2002)"},{"key":"7_CR28","doi-asserted-by":"crossref","unstructured":"Poladian, V., Sousa, J.P., Garlan, D., Shaw, M.: Dynamic Reconfiguration of Resource-Aware Services. In: 26th ICSE 2004, Edinburgh, pp. 604\u2013613 (2004)","DOI":"10.1109\/ICSE.2004.1317482"},{"key":"7_CR29","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, New Jersey (1996)"},{"key":"7_CR30","volume-title":"Patterns for Concurrent and Networked Objects","author":"D. Schmidt","year":"2000","unstructured":"Schmidt, D., Stal, M., Rhonert, H., Buschmann, F.: Pattern-Oriented Software Architecture. In: Patterns for Concurrent and Networked Objects, vol.\u00a02. Wiley, Chichester (2000)"},{"key":"7_CR31","unstructured":"UML Resource Page, http:\/\/www.omg.org\/UML"},{"key":"7_CR32","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/978-1-4757-3573-4_7","volume-title":"Concurrency in Dependable Systems","author":"A. Zarras","year":"2002","unstructured":"Zarras, A., Issarny, V.: Quality Analysis of Enterprise Information Systems. In: Ezhilchelvan, P., Romanovsky, A. (eds.) Concurrency in Dependable Systems, pp. 127\u2013146. Kluwer Academic Publishers, Boston (2002) ISBN 1-4020-7043-8"}],"container-title":["Lecture Notes in Computer Science","Software Architecture"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11494713_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,22]],"date-time":"2025-02-22T22:10:21Z","timestamp":1740262221000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11494713_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540262756","9783540322689"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/11494713_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}