Guidelines for the incremental identification of aspects in requirements specifications

Requirements Engineering

Volumn 11, Issue 4, 2006, Pages 239-263

  García Duque, Jorge ^a   López Nores, Martín ^a   Pazos Arias, José J ^a   Fernández Vilas, Ana ^a   Díaz Redondo, Rebeca P ^a   Gil Solla, Alberto ^a   Ramos Cabrer, Manuel ^a   Blanco Fernández, Yolanda ^a  

^a UNIVERSITY OF VIGO   (Spain)

Author keywords

Aspect mining; Crosscutting concerns; Incremental software development; Requirements specifications

Indexed keywords

EID: 33747856146     PISSN: 09473602     EISSN: 1432010X     Source Type: Journal    
DOI: 10.1007/s00766-006-0028-7     Document Type: Article

References (52)

1. 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-51
2. 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-22
3. Barragáns-Martínez B, Pazos-Arias JJ, Fernández-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-30
4. Barragáns-Martínez B, Pazos-Arias JJ, Fernández-Vilas A (2005) Merging requirements views with incompleteness and inconsistency. In: Proceedings of the IEEE Australian software engineering conference, Brisbane, pp 58-67
5. Bolognesi T (2000) Toward constraint-object-oriented development. IEEE Trans Softw Eng 26(7):594-616
6. Breu S, Krinke J (2004) Aspect mining using event traces. In: Proceedings of the 19th international conference on automated software engineering, Linz, pp 310-315
7. Bruns G, Godefroid P (1999) Model checking partial state spaces with 3-valued temporal logics. Lect Notes Comput Sci 1633:274-287
8. Ceccato M, Marin M, Mens K, Moonen L, Tonella P, Tourwé 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-22
9. CTAS: The Center TRACON Automation System. http://www.ctas.arc.nasa.gov/
10. Ehrig H (1986) Towards an algebraic semantics of the ISO specification language LOTOS. In: Proceedings of the 4th workshop on abstract data type, Brunswick
11. Fernández-Vilas A, Pazos-Arias JJ, Gil-Solla A, Díaz-Redondo RP, García-Duque J, Barragáns-Martínez B (2004) Incremental specification with SCTL/MUS-T: A case study. J Syst Softw 70(2):189-208
12. Filman R, Elrad T, Clarke S, Aksit M (eds) (2005) Aspect-oriented software development. Addison-Wesley, Boston
13. 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-174
14. García-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-3
15. García-Duque J, Pazos-Arias JJ, Barragáns-Martínez 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-288
16. Godefroid P, Huth M, Jagadeesan R (2001) Abstraction-based model checking using modal transition systems. Lect Notes Comput Sci 2154:426-440
17. Gotzhein R (1992) Temporal logic and applications - a tutorial. Comput Netw ISDN Syst 24:203-218
18. Go K, Shiratori N (1999) A decomposition of a formal specification: An improved constraint-oriented method. IEEE Trans Softw Eng 25(2):258-273
19. 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
20. 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-91
21. 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
22. ISO (1989) Information Processing Systems-Open Systems Interconnection-LOTOS-a formal description technique based on an extended state transition model. ISO/IEC/8807
23. 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-57
24. 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äskylä, pp 220-242
25. Kleene SC (1952) Introduction to metamathematics, volume 1 of Bibliotheca mathematica. North-Holland
26. 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-243
27. Larman C, Basili VR (2003) Iterative and incremental development: A brief history. IEEE Comput 36(6):47-56
28. 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-67
29. López-Nores M, Pazos-Arias JJ, García-Duque J, Barragáns-Martínez B, Díaz-Redondo RP, Fernández-Vilas A, Gil-Solla A, Ramos-Cabrer M (2005) Tracing integration analysis in component-based formal specifications. Lect Notes Comput Sci 3535:147-162
30. Loughran N, Rashid A (2002) Mining aspects. In: Proceedings of the workshop on early aspects, in conjunction with AOSD, Enschede
31. Mens K. AIRport: Aspect identification and refactoring portal. http://www.2.info.ucl.ac.be/ingidocs/people/km/AIRPort/AIRPort.htm
32. Milner R (1989) Communication and concurrency. In: International series in computer science. Prentice-Hall, Upper Saddle River
33. Nuseibeh B, Easterbrook S, Russo A (2001) Making inconsistency respectable in software development. J Syst Softw 58(2):171-180
34. Nuseibeh B (2004) Crosscutting requirements. In: Proceedings of the 3rd international conference on aspect-oriented software development, Lancaster, pp 3-4
35. Pazos-Arias JJ, García-Duque J, López-Nores M, Barragáns-Martínez 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
36. Pazos-Arias JJ, García-Duque J (2001) SCTL-MUS: A formal methodology for software development of distributed systems. a case study. Formal Aspects Comput 13:50-91
37. Rashid A, Moreira A, Araújo J (2003) Modularisation and composition of aspectual requirements. In: Proceedings of 2nd international conference on aspect-oriented software development, Boston, pp 11-20
38. Rashid A, Sawyer P, Moreira A, Araújo 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-202
39. Rosenhainer L (2004) Identifying crosscutting concerns in requirements specifications. In: Proceedings of the workshop on early aspects, in conjunction with OOPSLA, Vancouver, pp 49-58
40. 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
41. Sannella D (2000) Algebraic specification and program development by stepwise refinement. Lect Notes Comput Sci 1817:1-9
42. Shin JE, Sutcliffe AG, Gregoriades A (2005) Scenario advisor tool for requirements engineering. Require Eng 10(2):132-145
43. Spanoudakis G, Kim H (2004) Supporting the reconciliation of models of object behaviour. Softw Syst Model 3(4):273-293
44. Sutton SM (2002) Early-stage concern modeling. In: Proceedings of the workshop on early aspects, in conjunction with AOSD, Enschede
45. The shuttle system case study. http://www.cs.upb.de/cs/ag-schaefer/CaseStudies/ShuttleSystem/
46. 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-119
47. 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-121 pp 112-121
48. 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
49. van Lamsweerde A, Letier E (2000) Handling obstacles in goal-oriented requirements engineering. IEEE Trans Softw Eng 26(10):978-1005
50. Whittle J, Krüger 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
51. Zhang C, Jacobsen H-A (2003) Refactoring middleware with aspects. IEEE Trans Parallel Distrib Syst 14(11):1058-1073
52. 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-259