{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:00:24Z","timestamp":1725559224275},"publisher-location":"Berlin, Heidelberg","reference-count":13,"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_13","type":"book-chapter","created":{"date-parts":[[2010,7,14]],"date-time":"2010-07-14T07:14:12Z","timestamp":1279091652000},"page":"185-202","source":"Crossref","is-referenced-by-count":11,"title":["Deriving Architecture Specifications from KAOS Specifications: A Research Case Study"],"prefix":"10.1007","author":[{"given":"Divya","family":"Jani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Damien","family":"Vanderveken","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dewayne","family":"Perry","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","doi-asserted-by":"publisher","first-page":"981","DOI":"10.1002\/1096-9128(20000825)12:10<981::AID-CPE511>3.0.CO;2-7","volume":"12","author":"A. Coen-Porisini","year":"2000","unstructured":"Coen-Porisini, A., Mandrioli, D.: Using trio for designing a corba-based application. Concurrency: Practical and Experience\u00a012, 981\u20131015 (2000)","journal-title":"Concurrency: Practical and Experience"},{"key":"13_CR2","first-page":"188","volume-title":"ICSE 2000 - 22nd International Conference on on Software Engineering, Limerick","author":"A. Coen-Porisini","year":"2000","unstructured":"Coen-Porisini, A., Pradella, M., Rossi, M., Mandrioli, D.: A formal approach for designing corba based applications. In: ICSE 2000 - 22nd International Conference on on Software Engineering, Limerick, pp. 188\u2013197. ACM Press, New York (2000)"},{"key":"13_CR3","first-page":"179","volume-title":"FSE-4 - 4th ACM Symposium on the Foundations of Sofware Engineering","author":"P. Massonet","year":"1996","unstructured":"Massonet, P., van Lamsweerde, A.: Formal refinement patterns for goal-driven requirements elaboration. In: FSE-4 - 4th ACM Symposium on the Foundations of Sofware Engineering, San Fransisco, pp. 179\u2013190. ACM Press, New York (1996)"},{"key":"13_CR4","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1145\/587051.587070","volume-title":"FSE-10 - 10th ACM Symposium on the Foundations of Sofware Engineering","author":"E. Letier","year":"2002","unstructured":"Letier, E., van Lamsweerde, A.: Deriving operational software specifications from system goals. In: FSE-10 - 10th ACM Symposium on the Foundations of Sofware Engineering, Charleston, pp. 119\u2013128. ACM Press, New York (2002)"},{"key":"13_CR5","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1145\/581352.581353","volume-title":"ICSE 2002 - 24th International Conference of Sofware Engineering","author":"E. Letier","year":"2002","unstructured":"Letier, E., van Lamsweerde, A.: Agent-based tactics for goal-oriented requirements elaboration. In: ICSE 2002 - 24th International Conference of Sofware Engineering, pp. 83\u201393. ACM Press, Orlando (2002)"},{"key":"13_CR6","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":"13_CR7","unstructured":"Brandozzi, M., Perry, D.E.: Transforming goal oriented requirement specifications into architectural prescriptions. In: Castro, K. (ed.) STRAW 2001 - From Software Requirements to Architectures, pp. 54\u201360 (2001)"},{"key":"13_CR8","unstructured":"Brandozzi, M., Perry, D.E.: Architectural prescriptions for dependable systems. In: ICSE 2002 - International Workshop on Architecting Dependable Systems, Orlando (2002)"},{"key":"13_CR9","unstructured":"Brandozzi, M.: From goal oriented requirements specifications to architectural prescriptions. Master\u2019s thesis, The University of Texas at Austin (2001)"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Jani, D., Vanderveken, D., Perry, D.: Experience report deriving architectural specification from kaos specification. Technical report (2004), Also avaiable at http:\/\/www.ece.utexas.edu\/~perry\/papers\/R2A-ER.pdf","DOI":"10.1007\/11494713_13"},{"key":"13_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The Temporal Logic of Reactive and Concurrent Systems: Specification","author":"Z. Manna","year":"1992","unstructured":"Manna, Z., Pnueli, A.: 3. In: The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer, Heidelberg (1992)"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Jani, D.: Deriving architecture specifications from goal oriented requirement specifications. Master\u2019s thesis, The University of Texas at Austin (2004)","DOI":"10.1007\/11494713_13"},{"key":"13_CR13","unstructured":"Vanderveken, D.: Deriving architecture descriptions from goal oriented requirements. Master\u2019s thesis, University of Louvain, Belgium (2004)"}],"container-title":["Lecture Notes in Computer Science","Software Architecture"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11494713_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,31]],"date-time":"2021-10-31T10:48:13Z","timestamp":1635677293000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11494713_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540262756","9783540322689"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/11494713_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}