Enforcing structural regularities in software using IntensiVE

Science of Computer Programming

Volumn 75, Issue 4, 2010, Pages 232-246

  Brichau, Johan ^a   Kellens, Andy ^b   Castro, Sergio ^a   D'Hondt, Theo ^b  

^a UNIVERSITÉ CATHOLIQUE DE LOUVAIN   (Belgium)

^b VRIJE UNIVERSITEIT BRUSSEL   (Belgium)

Author keywords

Logic meta programming; Software evolution; Structural regularities

Indexed keywords

DESIGN PATTERNS; DESIGN RULES; FACTORY DESIGN; INTENSIONAL VIEWS AND RELATIONS; META PROGRAMMING; OBJECT ORIENTED; SOFTWARE SYSTEMS; SOURCE CODES; STRUCTURAL REGULARITY; TOOLSUITE;

DESIGN; OBJECT ORIENTED PROGRAMMING; SOFTWARE ARCHITECTURE; VERIFICATION;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 77349103851     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.scico.2009.11.005     Document Type: Article

References (33)

1. Beck K. Smalltalk Best Practice Patterns (1997), Prentice Hall
2. Brichau J., De Roover C., and Mens K. Open unification for program query languages. In: Astudillo H., and Tanter E. (Eds). Proceedings of the 16th International Conference of the Chilean Computer Science Society (2007), IEEE Computer Society 92-101 (acceptance rate 34%)
3. Brooks F. No silver bullet - essence and accidents of software engineering. Computer 20 4 (1987) 10-19
4. Che06, Checkstyle, 2006, http://checkstyle.sourceforge.net
5. O. Ciupke, Automatic detection of design problems in object-oriented reengineering, In: Technology of Object-Oriented Languages and Systems, TOOLS, 1999, pp. 18-32
6. Cohen J., and Hickey T.J. Parsing and compiling using prolog. Transactions on Programming Languages and Systems 9 2 (1987) 125-163. http://doi.acm.org/10.1145/22719.22946 http://doi.acm.org/10.1145/22719.22946
7. Coplien J. Advance c++ Programming Styles and Idioms (1992), Addison-Wesley
8. 3: A code and design conventions preprocessor for java. Software - Practice and Experience 33 1 (2003) 61-76
9. Duby C., Meyers S., and Reiss S. CCEL: A metalanguage for C++. USENIX C++ Technical Conference Proceedings (1992), USENIX Assoc. 99-115
10. S. Ducasse, T. Girba, M. Lanza, S. Demeyer, Moose: A collaborative and extensible reengineering environment, Franco Angeli, Milano, 2005, pp. 55-71
11. M. Eichberg, M. Mezini, K. Ostermann, T. Schäfer, Xirc: A kernel for cross-artifact information engineering in software development environments, in: Working Conference on Reverse Engineering, WCRE, 2004, pp. 182-191
12. G. Florijn, Revjava - design critiques and architectural conformance checking for java software, Tech. Rep., Software Engineering Research Centre (SERC), 2002
13. Gamma E., Helm R., Johnson R., and Vlissides J. Design Patterns, Elements of Reusable Object-Oriented Software (1995), Addison-Wesley
14. Goldberg A., and Robson D. Smalltalk-80, The language (1989), Addison-Wesley
15. Y. Guéhéneuc, Three musketeers to the rescue-meta-modeling, logic programming, and explanation-based constraint programming for pattern description and detection, Workshop on Declarative Meta-Programming at ASE 2002, 2002
16. Hajiyev E., Verbaere M., and de Moor O. Codequest: Scalable source code queries with datalog. European Conference on Object-Oriented Programming (ECOOP). LNCS vol. 4067 (2006), Springer 2-27
17. Haldimann N., Denker M., and Nierstrasz O. Practical, pluggable types for a dynamic language. Computer Languages, Systems and Structures 35 1 (2009) 48-64
18. Hou D., and Hoover J. Using SCL to specify and check design intent in source code. IEEE Transactions on Software Engineering 32 6 (2006) 404-423
19. Hovemeyer D., and Pugh W. Finding bugs is easy. ACM SIGPLAN Notices 39 12 (2004) 92-106
20. Johnson S. Lint, a C program checker. In: McIIroy M., and Kemighan B. (Eds). Unix Programmer's Manual. seventh ed. (1979), AT&T Bell Laboratories, vol. 2A
21. A. Kellens, K. De Schutter, T. D ́Hondt, L. Jorissen, B. Van Passel, Cognac: A framework for documenting and verifying the design of cobol systems, in: Conference on Software Maintenance and Reengineering, CSMR, 2009, pp. 199-208
22. Kellens A., Mens K., Brichau J., and Gybels K. Managing the evolution of aspect-oriented software with model-based pointcuts. European Conference on Object-Oriented Programming. ECOOP. LNCS vol. 4067 (2006) 501-525
23. Lanza M., and Ducasse S. Polymetric views-a lightweight visual approach to reverse engineering. In Transactions on Software Engineering (TSE) 9 29 (2003) 782-795
24. C. Marinescu, R. Marinescu, F. Mihancea, D. Ratiu, R. Wettel, Iplasma: An integrated platform for quality assessment of object-oriented design, in: Industrial track at the International Conference on Software Maintenance (ICSM), 2005, pp. 77-80
25. K. Mens, A. Kellens, IntensiVE, a toolsuite for documenting and checking structural source-code regularities, in: Conference on Software Maintenance and Reengineering (CSMR), 2006, pp. 239-248
26. Mens K., Kellens A., Pluquet F., and Wuyts R. Co-evolving code and design with intensional views: A case study. Elsevier Journal on Computer Languages, Systems & Structures 32 2-3 (2006) 140-156
27. M. Meyer, T. Girba, M. Lungu, Mondrian: An agile visualization framework, in: ACM Symposium on Software Visualizaton (SoftVis), 2006, pp. 135-144
28. Minsky N. Law-governed systems. Software Engineering Journal 6 5 (1991) 285-302
29. Moha N., Guéhéneuc Y., and Leduc P. Automatic generation of detection algorithms for design defects. Conference on Automated Software Engineering. ASE (2006), IEEE Computer Society Press 297-300
30. Murphy G., Notkin D., and Sullivan K. Software reflexion models: Bridging the gap between source and high-level models. ACM SIGSOFT Symposium on the Foundations of Software Engineering. SIGSOFT (1995), ACM Press 18-28
31. M. Papi, M. Ali, T. Luis Correa, J. Perkins, M. Ernst, Practical pluggable types for java, in: International Symposium on Software Testing and Analysis, ISSTA, 2008, pp. 201-212
32. R. Wuyts, A logic meta-programming approach to support the co-evolution of object-oriented design and implementation, Ph.D. thesis, Vrije Universiteit Brussel, 2001
33. Wuyts R., and Ducasse S. Unanticipated integration of development tools using the classification model. Elsevier Journal on Computer Languages, Systems & Structures 30 (2004) 63-77