{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,11,19]],"date-time":"2024-11-19T15:57:44Z","timestamp":1732031864656},"reference-count":52,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2006,3,3]],"date-time":"2006-03-03T00:00:00Z","timestamp":1141344000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Requirements Eng"],"published-print":{"date-parts":[[2006,9]]},"DOI":"10.1007\/s00766-006-0028-7","type":"journal-article","created":{"date-parts":[[2006,3,2]],"date-time":"2006-03-02T08:10:54Z","timestamp":1141287054000},"page":"239-263","source":"Crossref","is-referenced-by-count":5,"title":["Guidelines for the incremental identification of aspects in requirements specifications"],"prefix":"10.1007","volume":"11","author":[{"given":"Jorge","family":"Garc\u00eda-Duque","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mart\u00edn","family":"L\u00f3pez-Nores","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9 J.","family":"Pazos-Arias","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ana","family":"Fern\u00e1ndez-Vilas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rebeca P.","family":"D\u00edaz-Redondo","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"}]},{"given":"Yolanda","family":"Blanco-Fern\u00e1ndez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,3,3]]},"reference":[{"key":"28_CR1","unstructured":"Altisen K, Maraninchi F, Stauch D (2004) Exploring aspects in the context of reactive systems. In: Proceedings of the workshop on foundations of aspect-oriented languages, in conjunction with AOSD, Lancaster, pp 45\u201351"},{"key":"28_CR2","unstructured":"Baniassad E, Clarke S (2004) Finding aspects in requirements with Theme\/Doc. In: Proceedings of the workshop on early aspects, in conjunction with AOSD, Lancaster, pp 15\u201322"},{"key":"28_CR3","unstructured":"Barrag\u00e1ns-Mart\u00ednez B, Pazos-Arias JJ, Fern\u00e1ndez-Vilas A (2004) On measuring levels of inconsistency in multi-perspective requirements specifications. In: Proceedings of the 1st international conference on the principles of software engineering, Buenos Aires, pp 21\u201330"},{"key":"28_CR4","doi-asserted-by":"crossref","unstructured":"Barrag\u00e1ns-Mart\u00ednez B, Pazos-Arias JJ, Fern\u00e1ndez-Vilas A (2005) Merging requirements views with incompleteness and inconsistency. In: Proceedings of the IEEE Australian software engineering conference, Brisbane, pp 58\u201367","DOI":"10.1109\/ASWEC.2005.29"},{"issue":"7","key":"28_CR5","doi-asserted-by":"crossref","first-page":"594","DOI":"10.1109\/32.859530","volume":"26","author":"T Bolognesi","year":"2000","unstructured":"Bolognesi T (2000) Toward constraint-object-oriented development. IEEE Trans Softw Eng 26(7):594\u2013616","journal-title":"IEEE Trans Softw Eng"},{"key":"28_CR6","doi-asserted-by":"crossref","unstructured":"Breu S, Krinke J (2004) Aspect mining using event traces. In: Proceedings of the 19th international conference on automated software engineering, Linz, pp 310\u2013315","DOI":"10.1109\/ASE.2004.1342754"},{"key":"28_CR7","doi-asserted-by":"crossref","first-page":"274","DOI":"10.1007\/3-540-48683-6_25","volume":"1633","author":"G Bruns","year":"1999","unstructured":"Bruns G, Godefroid P (1999) Model checking partial state spaces with 3-valued temporal logics. Lect Notes Comput Sci 1633:274\u2013287","journal-title":"Lect Notes Comput Sci"},{"key":"28_CR8","doi-asserted-by":"crossref","unstructured":"Ceccato M, Marin M, Mens K, Moonen L, Tonella P, Tourw\u00e9 T (2005) A qualitative comparison of three aspect mining techniques. In: Proceedings of the 13th international workshop on program comprehension, in conjunction with ICSE, St. Louis, pp 13\u201322","DOI":"10.1109\/WPC.2005.2"},{"key":"28_CR9","unstructured":"CTAS: The Center TRACON Automation System. http:\/\/www.ctas.arc.nasa.gov\/"},{"key":"28_CR10","unstructured":"Ehrig H (1986) Towards an algebraic semantics of the ISO specification language LOTOS. In: Proceedings of the 4th workshop on abstract data type, Brunswick"},{"issue":"2","key":"28_CR11","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/S0164-1212(03)00067-0","volume":"70","author":"A Fern\u00e1ndez-Vilas","year":"2004","unstructured":"Fern\u00e1ndez-Vilas A, Pazos-Arias JJ, Gil-Solla A, D\u00edaz-Redondo RP, Garc\u00eda-Duque J, Barrag\u00e1ns-Mart\u00ednez B (2004) Incremental specification with SCTL\/MUS-T: a case study. J Syst Softw 70(2):189\u2013208","journal-title":"J Syst Softw"},{"key":"28_CR12","unstructured":"Filman R, Elrad T, Clarke S, Ak\u015fit M (eds) (2005) Aspect-oriented software development. Addison-Wesley, Boston"},{"key":"28_CR13","doi-asserted-by":"crossref","unstructured":"Finkelstein A, Spanoudakis G, Till D (1996) Managing interference. In: Joint proceedings of the 2nd international workshop on software architecture and the international workshop on multiple perspectives in software development, San Francisco, pp 172\u2013174","DOI":"10.1145\/243327.243646"},{"key":"28_CR14","unstructured":"Garc\u00eda-Duque J, Pazos-Arias JJ (2001) Reasoning over inconsistent viewpoints: how levels of agreement can evolve? In: Proceedings of the 2nd international workshop on living with inconsistency, in conjunction with ICSE 2001, Toronto, pp 1\u20133"},{"key":"28_CR15","doi-asserted-by":"crossref","unstructured":"Garc\u00eda-Duque J, Pazos-Arias JJ, Barrag\u00e1ns-Mart\u00ednez B (2002) 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, Essen, pp 282\u2013288","DOI":"10.1109\/ICRE.2002.1048539"},{"key":"28_CR16","doi-asserted-by":"crossref","first-page":"426","DOI":"10.1007\/3-540-44685-0_29","volume":"2154","author":"P Godefroid","year":"2001","unstructured":"Godefroid P, Huth M, Jagadeesan R (2001) Abstraction-based model checking using modal transition systems. Lect Notes Comput Sci 2154:426\u2013440","journal-title":"Lect Notes Comput Sci"},{"key":"28_CR17","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1016\/0169-7552(92)90109-4","volume":"24","author":"R Gotzhein","year":"1992","unstructured":"Gotzhein R (1992) Temporal logic and applications\u2014a tutorial. Comput Netw ISDN Syst 24:203\u2013218","journal-title":"Comput Netw ISDN Syst"},{"issue":"2","key":"28_CR18","doi-asserted-by":"crossref","first-page":"258","DOI":"10.1109\/32.761449","volume":"25","author":"K Go","year":"1999","unstructured":"Go K, Shiratori N (1999) A decomposition of a formal specification: an improved constraint-oriented method. IEEE Trans Softw Eng 25(2):258\u2013273","journal-title":"IEEE Trans Softw Eng"},{"key":"28_CR19","unstructured":"Griswold WG, Kato Y, Yuan JJ (1999) Aspect browser: tool support for managing dispersed aspects. Technical Report CS99-0640, Dept. of Computer Science and Engineering, University of California, San Diego"},{"key":"28_CR20","doi-asserted-by":"crossref","unstructured":"Grundy JC (1999) Aspect-oriented requirements engineering for component-based software systems. In: Proceedings of the 4th IEEE international symposium on requirements engineering, Limerick, pp 84\u201391","DOI":"10.1109\/ISRE.1999.777988"},{"key":"28_CR21","unstructured":"Hannemann J, Kiczales G (2001) Overcoming the prevalent decomposition of legacy code. In: Proceedings of the workshop on advanced separation of concerns in software engineering, in conjunction with ICSE, Toronto"},{"key":"28_CR22","unstructured":"ISO (1989) Information Processing Systems\u2014Open Systems Interconnection\u2014LOTOS\u2014a formal description technique based on an extended state transition model. ISO\/IEC\/8807"},{"key":"28_CR23","doi-asserted-by":"crossref","unstructured":"Katz S, Rashid A (2004) From aspectual requirements to proof obligations for aspect-oriented systems. In: Proceedings of the 12th IEEE international conference on requirements engineering, Kyoto, pp 48\u201357","DOI":"10.1109\/ICRE.2004.1335663"},{"key":"28_CR24","doi-asserted-by":"crossref","unstructured":"Kiczales G, Lamping J, Mendhekar A, Maeda C, Lopes C, Loingtier J-M, Irwin J (1997) Aspect-oriented programming. In: Proceedings of the 11th european conference on object-oriented programming, Jyv\u00e4skyl\u00e4, pp 220\u2013242","DOI":"10.1007\/BFb0053381"},{"key":"28_CR25","unstructured":"Kleene SC (1952) Introduction to metamathematics, volume 1 of Bibliotheca mathematica. North-Holland"},{"key":"28_CR26","unstructured":"Langerak R (1990) Decomposition of functionality: a correctness-preserving LOTOS transformation. In: Proceedings of the 10th international conference on protocol specification, testing and verification, Amsterdam, pp 229\u2013243"},{"issue":"6","key":"28_CR27","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1109\/MC.2003.1204375","volume":"36","author":"C Larman","year":"2003","unstructured":"Larman C, Basili VR (2003) Iterative and incremental development: a brief history. IEEE Comput 36(6):47\u201356","journal-title":"IEEE Comput"},{"key":"28_CR28","unstructured":"Liu S (2002) Capturing complete and accurate requirements by refinement. In: Proceedings of the 8th IEEE international conference on engineering of complex computer systems, Greenbelt, pp 57\u201367"},{"key":"28_CR29","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/11494881_10","volume":"3535","author":"M L\u00f3pez-Nores","year":"2005","unstructured":"L\u00f3pez-Nores M, Pazos-Arias JJ, Garc\u00eda-Duque J, Barrag\u00e1ns-Mart\u00ednez B, D\u00edaz-Redondo RP, Fern\u00e1ndez-Vilas A, Gil-Solla A, Ramos-Cabrer M (2005) Tracing integration analysis in component-based formal specifications. Lect Notes Comput Sci 3535:147\u2013162","journal-title":"Lect Notes Comput Sci"},{"key":"28_CR30","unstructured":"Loughran N, Rashid A (2002) Mining aspects. In: Proceedings of the workshop on early aspects, in conjunction with AOSD, Enschede"},{"key":"28_CR31","unstructured":"Mens K. AIRport: aspect identification and refactoring portal. http:\/\/www.2.info.ucl.ac.be\/ingidocs\/people\/km\/AIRPort\/AIRPort.htm"},{"key":"28_CR32","unstructured":"Milner R (1989) Communication and concurrency. In: International series in computer science. Prentice-Hall, Upper Saddle River"},{"issue":"2","key":"28_CR33","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1016\/S0164-1212(01)00036-X","volume":"58","author":"B Nuseibeh","year":"2001","unstructured":"Nuseibeh B, Easterbrook S, Russo A (2001) Making inconsistency respectable in software development. J Syst Softw 58(2):171\u2013180","journal-title":"J Syst Softw"},{"key":"28_CR34","doi-asserted-by":"crossref","unstructured":"Nuseibeh B (2004) Crosscutting requirements. In: Proceedings of the 3rd international conference on aspect-oriented software development, Lancaster, pp 3\u20134","DOI":"10.1145\/976270.976272"},{"key":"28_CR35","doi-asserted-by":"crossref","unstructured":"Pazos-Arias JJ, Garc\u00eda-Duque J, L\u00f3pez-Nores M, Barrag\u00e1ns-Mart\u00ednez B (2005) Eliciting requirements and scenarios using the SCTL-MUS methodology. The shuttle system case study. In: Proceedings of the workshop on scenarios and state machines, in conjunction with ICSE, St. Louis","DOI":"10.1145\/1083183.1083189"},{"key":"28_CR36","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1007\/PL00003939","volume":"13","author":"JJ Pazos-Arias","year":"2001","unstructured":"Pazos-Arias JJ, Garc\u00eda-Duque J (2001) SCTL-MUS: a formal methodology for software development of distributed systems. a case study. Formal Aspects Comput 13:50\u201391","journal-title":"Formal Aspects Comput"},{"key":"28_CR37","doi-asserted-by":"crossref","unstructured":"Rashid A, Moreira A, Ara\u00fajo J (2003) Modularisation and composition of aspectual requirements. In: Proceedings of 2nd international conference on aspect-oriented software development, Boston, pp 11\u201320","DOI":"10.1145\/643603.643605"},{"key":"28_CR38","doi-asserted-by":"crossref","unstructured":"Rashid A, Sawyer P, Moreira A, Ara\u00fajo J (2002) Early aspects: a model for aspect-oriented requirements engineering. In: Proceedings of the 10th IEEE international conference on requirements engineering, Essen, pp 199\u2013202","DOI":"10.1109\/ICRE.2002.1048526"},{"key":"28_CR39","unstructured":"Rosenhainer L (2004) Identifying crosscutting concerns in requirements specifications. In: Proceedings of the workshop on early aspects, in conjunction with OOPSLA, Vancouver, pp 49\u201358"},{"key":"28_CR40","unstructured":"Sampaio A, Loughran N, Rashid A, Rayson P (2005) Mining aspects in requirements. In: Proceedings of the workshop on early aspects, in conjunction with AOSD, Chicago"},{"key":"28_CR41","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/10720327_1","volume":"1817","author":"D Sannella","year":"2000","unstructured":"Sannella D (2000) Algebraic specification and program development by stepwise refinement. Lect Notes Comput Sci 1817:1\u20139","journal-title":"Lect Notes Comput Sci"},{"issue":"2","key":"28_CR42","doi-asserted-by":"crossref","first-page":"132","DOI":"10.1007\/s00766-004-0207-3","volume":"10","author":"JE Shin","year":"2005","unstructured":"Shin JE, Sutcliffe AG, Gregoriades A (2005) Scenario advisor tool for requirements engineering. Require Eng 10(2):132\u2013145","journal-title":"Require Eng"},{"issue":"4","key":"28_CR43","first-page":"273","volume":"3","author":"G Spanoudakis","year":"2004","unstructured":"Spanoudakis G, Kim H (2004) Supporting the reconciliation of models of object behaviour. Softw Syst Model 3(4):273\u2013293","journal-title":"Softw Syst Model"},{"key":"28_CR44","unstructured":"Sutton SM (2002) Early-stage concern modeling. In: Proceedings of the workshop on early aspects, in conjunction with AOSD, Enschede"},{"key":"28_CR45","unstructured":"The shuttle system case study. http:\/\/www.cs.upb.de\/cs\/ag-schaefer\/CaseStudies\/ShuttleSystem\/"},{"key":"28_CR46","doi-asserted-by":"crossref","unstructured":"Tarr P, Ossher H, Harrison W, Sutton SM (1999) N degrees of separation: Multi-dimensional separation of concerns. In: Proceedings of the 21st international conference on software engineering, Los Angeles, pp 107\u2013119","DOI":"10.1145\/302405.302457"},{"key":"28_CR47","doi-asserted-by":"crossref","unstructured":"Tonella P, Ceccato M (2004) Aspect mining through the formal concept analysis of execution traces. In: Proceedings of the 11th IEEE working conference on reverse engineering, Delft, pp 112\u2013121","DOI":"10.1109\/WCRE.2004.13"},{"key":"28_CR48","unstructured":"van den Berg K, Conejero J (2005) A conceptual formalization of crosscutting in AOSD. In: Proceedings of the 3rd Iberian workshop on aspect oriented software development, Granada"},{"issue":"10","key":"28_CR49","doi-asserted-by":"crossref","first-page":"978","DOI":"10.1109\/32.879820","volume":"26","author":"A Lamsweerde van","year":"2000","unstructured":"van Lamsweerde A, Letier E (2000) Handling obstacles in goal-oriented requirements engineering. IEEE Trans Softw Eng 26(10):978\u20131005","journal-title":"IEEE Trans Softw Eng"},{"key":"28_CR50","doi-asserted-by":"crossref","unstructured":"Whittle J, Kr\u00fcger I (2004) A methodology for scenario-based requirements capture. In: Proceedings of the international workshop on scenarios and state machines, in conjunction with ICSE, Edinburgh","DOI":"10.1049\/ic:20040230"},{"issue":"11","key":"28_CR51","doi-asserted-by":"crossref","first-page":"1058","DOI":"10.1109\/TPDS.2003.1247668","volume":"14","author":"C Zhang","year":"2003","unstructured":"Zhang C, Jacobsen H-A (2003) Refactoring middleware with aspects. IEEE Trans Parallel Distrib Syst 14(11):1058\u20131073","journal-title":"IEEE Trans Parallel Distrib Syst"},{"key":"28_CR52","doi-asserted-by":"crossref","unstructured":"Zowghi D, Offen R (1997) A logical framework for modeling and reasoning about the evolution of requirements. In: Proceedings of the 3rd IEEE international symposium on requirements engineering, Annapolis, pp 247\u2013259","DOI":"10.1109\/ISRE.1997.566875"}],"container-title":["Requirements Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00766-006-0028-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00766-006-0028-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00766-006-0028-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,24]],"date-time":"2021-07-24T12:28:55Z","timestamp":1627129735000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00766-006-0028-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,3,3]]},"references-count":52,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2006,9]]}},"alternative-id":["28"],"URL":"https:\/\/doi.org\/10.1007\/s00766-006-0028-7","relation":{},"ISSN":["0947-3602","1432-010X"],"issn-type":[{"value":"0947-3602","type":"print"},{"value":"1432-010X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,3,3]]}}}