{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:14:15Z","timestamp":1759032855640,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540261810"},{"type":"electronic","value":"9783540315568"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"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":[[2005]]},"DOI":"10.1007\/11494881_10","type":"book-chapter","created":{"date-parts":[[2010,9,25]],"date-time":"2010-09-25T18:47:34Z","timestamp":1285440454000},"page":"147-162","source":"Crossref","is-referenced-by-count":3,"title":["Tracing Integration Analysis in Component-Based Formal Specifications"],"prefix":"10.1007","author":[{"given":"Mart\u00edn","family":"L\u00f3pez-Nores","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9 J.","family":"Pazos-Arias","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jorge","family":"Garc\u00eda-Duque","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bel\u00e9n","family":"Barrag\u00e1ns-Mart\u00ednez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rebeca P.","family":"D\u00edaz-Redondo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ana","family":"Fern\u00e1ndez-Vilas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Gil-Solla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"Ramos-Cabrer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"Altisen, K., Maraninchi, F., Stauch, D.: Exploring aspects in the context of reactive systems. In: Proceedings of Workshop on Foundations of Aspect-Oriented Languages (FOAL), in conjunction with AOSD, Lancaster, UK, pp. 45\u201351 (2004)"},{"volume-title":"Lotosphere: Software development with LOTOS","year":"1995","key":"10_CR2","unstructured":"Bolognesi, T., van de Lagemaat, J., Vissers, C. (eds.): Lotosphere: Software development with LOTOS. Kluwer Academic Publishers, Dordrecht (1995)"},{"key":"10_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1007\/3-540-48683-6_25","volume-title":"Computer Aided Verification","author":"G. Bruns","year":"1999","unstructured":"Bruns, G., Godefroid, P.: Model checking partial state spaces with 3-valued temporal logics. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol.\u00a01633, pp. 274\u2013287. Springer, Heidelberg (1999)"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"d\u2019Avila Garcez, A.S., Russo, A., Nuseibeh, B., Kramer, J.: An analysis-revision cycle to evolve requirements specifications. In: Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE), San Diego, USA, pp. 354\u2013358 (2001)","DOI":"10.1109\/ASE.2001.989828"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Garc\u00eda-Duque, J., Pazos-Arias, J.J., Barrag\u00e1ns-Mart\u00ednez, B.: An analysis-revision cycle to evolve requirements specifications by using the SCTL-MUS methodology. In: Proceedings of the 10th IEEE International Conference on Requirements Engineering (RE), Essen, Germany, pp. 282\u2013288 (2002)","DOI":"10.1109\/ICRE.2002.1048539"},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"426","DOI":"10.1007\/3-540-44685-0_29","volume-title":"CONCUR 2001 - Concurrency Theory","author":"P. Godefroid","year":"2001","unstructured":"Godefroid, P., Huth, M., Jagadeesan, R.: Abstraction-based model checking using modal transition systems. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol.\u00a02154, pp. 426\u2013440. Springer, Heidelberg (2001)"},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1007\/978-3-540-45236-2_28","volume-title":"FME 2003: Formal Methods","author":"A. Gurfinkel","year":"2003","unstructured":"Gurfinkel, A., Chechik, M.: Generating counterexamples for multi-valued modelchecking. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol.\u00a02805, pp. 503\u2013521. Springer, Heidelberg (2003)"},{"key":"10_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1007\/BFb0028765","volume-title":"Computer Aided Verification","author":"T.A. Henzinger","year":"1998","unstructured":"Henzinger, T.A., Qadeer, S., Rajamani, S.K.: You assume, we guarantee: Methodology and case studies. In: Y. Vardi, M. (ed.) CAV 1998. LNCS, vol.\u00a01427, pp. 440\u2013451. Springer, Heidelberg (1998)"},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/BFb0053381","volume-title":"ECOOP \u201997 - Object-Oriented Programming","author":"G. Kiczales","year":"1997","unstructured":"Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C.V., Loingtier, J.-M., Irwin, J.: Aspect-oriented programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol.\u00a01241, pp. 220\u2013242. Springer, Heidelberg (1997)"},{"key":"10_CR10","unstructured":"Liu, S.: Capturing complete and accurate requirements by refinement. In: Proceedings of the 8th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), Maryland, USA, pp. 57\u201367 (2002)"},{"key":"10_CR11","unstructured":"L\u00f3pez-Nores, M., Pazos-Arias, J.J.: A Formal Approach to Component-based Specification with Improved Requirements Traceability. In: Proceedings of RE\u201904 Doctoral Symposium, Kyoto, Japan (2004)"},{"key":"10_CR12","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/BF01235764","volume":"1","author":"J. Moffett","year":"1996","unstructured":"Moffett, J.: A model for a causal logic for requirements engineering. Journal of Requirements Engineering\u00a01, 27\u201346 (1996)","journal-title":"Journal of Requirements Engineering"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Nuseibeh, B.: Crosscutting requirements. In: Proceedings of the 3rd International Conference on Aspect-Oriented Software Development (AOSD), pp. 3\u20134, Lancaster, UK (2004)","DOI":"10.1145\/976270.976272"},{"key":"10_CR14","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/PL00003939","volume":"13","author":"J.J. Pazos-Arias","year":"2001","unstructured":"Pazos-Arias, J.J., Garc\u00eda-Duque, J.: SCTL-MUS: A formal methodology for software development of distributed systems. A case study. Formal Aspects of Computing\u00a013, 50\u201391 (2001)","journal-title":"A case study. Formal Aspects of Computing"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Poppleton, M., Banach, R.: Retrenchment: Extending the reach of refinement. In: Proceedings of the 14th IEEE International Conference on Automated Software Engineering (ASE), Florida, USA, pp. 158\u2013165 (1999)","DOI":"10.1109\/ASE.1999.802189"},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"Rashid, A., Sawyer, P., Moreira, A., Ara\u00fajo, J.: Early aspects: A model for aspect-oriented requirements engineering. In: Proceedings of the 10th IEEE International Conference on Requirements Engineering (RE), Essen, Germany, pp. 199\u2013202 (2002)","DOI":"10.1109\/ICRE.2002.1048526"},{"key":"10_CR17","unstructured":"Schneider, S.: The B method: An introduction. Palgrave (2001)"},{"key":"10_CR18","doi-asserted-by":"crossref","unstructured":"Tarr, P., Ossher, H., Harrison, W., Sutton, S.: N degrees of separation: Multi-dimensional separation of concerns. In: Proceedings of the 21st International Conference on Software Engineering (ICSE), Los Angeles, USA, pp. 107\u2013119 (1999)","DOI":"10.1145\/302405.302457"},{"key":"10_CR19","volume-title":"The future of software engineering, chapter Formal specification: A roadmap","author":"A. Lamsweerde van","year":"2000","unstructured":"van Lamsweerde, A.: The future of software engineering, chapter Formal specification: A roadmap. ACM Press, New York (2000)"},{"key":"10_CR20","doi-asserted-by":"crossref","unstructured":"van Lamsweerde, A.: Requirements engineering in the year 00: A research perspective. In: Proceedings of the 22nd International Conference on Software Engineering (ICSE), Limerick, Ireland, pp. 5\u201319 (2000)","DOI":"10.1145\/337180.337184"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Open Object-Based Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11494881_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,26]],"date-time":"2025-02-26T02:17:11Z","timestamp":1740536231000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11494881_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540261810","9783540315568"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/11494881_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}