Supporting software evolution with Intentional Software Views

International Workshop on Principles of Software Evolution (IWPSE)

Volumn , Issue , 2002, Pages 138-142

  Mens, Kim ^a   Mens, Tom ^b,d   Wermelinger, Michel ^c  

^a UNIVERSITÉ CATHOLIQUE DE LOUVAIN   (Belgium)

^b VRIJE UNIVERSITEIT BRUSSEL   (Belgium)

^c UNIVERSIDADE NOVA DE LISBOA   (Portugal)

^d FUND FOR SCIENTIFIC RESEARCH   (Belgium)

Author keywords

Crosscutting concerns; Evolution conflict detection; Intentional software views; Modularisation

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; FORMAL LOGIC; PROBLEM SOLVING; STRUCTURED PROGRAMMING;

CROSSCUTTING CONCERNS; EVOLUTION CONFLICT DETECTION; INTENTIONAL SOFTWARE VIEWS; MODULARIZATION; SOFTWARE EVOLUTION;

SOFTWARE ENGINEERING;

EID: 1442327855     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/512035.512068     Document Type: Conference Paper

References (14)

1. A. Baniassad, G. C. Murphy, C. Schwanninger, and M. Kircher. Managing crosscutting concerns during software evolution tasks: An inquisitive study. In Proc. Int'l Conf. Aspect-Oriented Software Development, 2002.
2. A. L. A. Baniassad and G. C. Murphy. Conceptual module querying for software reengineering. In Proc. Int'l Conf. Software Engineering, pages 64-73. IEEE Computer Society Press, 1998.
3. K. Beck. Extreme Programming Explained: Embrace Change. Addison-Wesley, 2000.
4. K. De Hondt. A Novel Approach to Architectural Recovery in Evolving Object-Oriented Systems. PhD thesis, Department of Computer Science, VUB, Belgium, 1998.
5. F. Donini, M. Lenzerini, D. Nardi, and A. Schaerf. Principles of Knowledge Representation and Reasoning, chapter Reasoning in Description Logics, pages 193-238. Studies in Logic, Language and Information. CLSI Publications, 1996.
6. M. Fowler. Refactoring: Improving the Design of Existing Programs. Addison-Wesley, 1999.
7. G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-oriented programming. In Proc. European Conf. Object-Oriented Programming, volume 1241 of Lecture Notes in Computer Science, pages 220-242. Springer-Verlag, 1997.
8. P. B. Kruchten. The 4+1 view model of architecture. IEEE Software, November 1995.
9. K. Mens. Automating Architectural Conformance Checking by means of Logic Meta Programming. PhD thesis, Department of Computer Science, VUB, Belgium, October 2000.
10. K. Mens, I. Michiels, and R. Wuyts. Supporting software development through declaratively codified programming patterns. In Proc. Software Engineering and Knowledge Engineering, pages 236-243. Knowledge Systems Institute, 2001.
11. K. Mens, R. Wuyts, and T. D'Hondt. Declaratively codifying software architectures using virtual software classifications. In Proc. of TOOLS 29 Europe 1999, pages 33-45. IEEE Computer Society Press, 1999.
12. OMG. Object Constraint Language Specification, Sept. 1997. Version 1.1, Object Management Group.
13. P. Tarr, H. Ossher, W. Harrison, and J. S. M. Sutton. N degrees of separation: Multi-dimensional separation of concerns. In Proc. Int'l Conf. Software Engineering, 1999.
14. T. Tourwé and K. De Volder. Using software classifications to drive code generation. Ecoop 2000 workshop on objects and classification: a natural convergence, Programming Technology Lab, VUB, Belgium, March 2000.