Cognac: A framework for documenting and verifying the design of cobol systems

Proceedings of the European Conference on Software Maintenance and Reengineering, CSMR

Volumn , Issue , 2009, Pages 199-208

  Kellens, Andy ^a   Schutter, Kris De ^a   D'Hondt, Theo ^a   Jorissen, Luc ^b   Passel, Bart Van ^b  

^a VRIJE UNIVERSITEIT BRUSSEL   (Belgium)

^b innocom ^*  (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

DESIGN RULES; NON-TRIVIAL; SOFTWARE PROJECT; SOURCE CODES;

COBOL (PROGRAMMING LANGUAGE); COMPUTER SOFTWARE; COMPUTER SOFTWARE MAINTENANCE; DESIGN; LINGUISTICS; QUERY LANGUAGES;

ARCHITECTURAL DESIGN;

EID: 67649858766     PISSN: 15345351     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSMR.2009.9     Document Type: Conference Paper

References (23)

1. Checkstyle, December 2006. http://checkstyle.sourceforge.net.
2. 3: a code and design conventions preprocessor for java. Software - Practice and Experience, 33(1):61-76, 2003.
3. C. Duby, S. Meyers, and S. Reiss. CCEL: A metalanguage for C++. In USENIX C++ Technical Conference Proceedings, pages 99-115. USENIX Assoc., 10-13 1992.
4. M. Eichberg, M. Mezini, K. Ostermann, and T. Schäfer. Xirc: A kernel for cross-artifact information engineering in software development environments. In Working Conference on Reverse Engineering (WCRE), pages 182-191. IEEE Computer Society Press, 2004.
5. G. Florijn. Revjava - design critiques and architectural conformance checking for java software. Technical report, Software Engineering Research Centre (SERC), 2002.
6. Y. Guéhéneuc and H. Albin-Amiot. Using design patterns and constraints to automate the detection and correction of inter-class design defects. In Technology of Object-Oriented Languages and Systems (TOOLS), pages 296-305, 2001.
7. D. Hou and J. Hoover. Using SCL to specify and check design intent in source code. IEEE Transcactions on Software Engineering, 32(6):404-423, 2006.
8. D. Hovemeyer and W. Pugh. Finding bugs is easy. ACM SIGPLAN Notices, 39(12):92-106, 2004.
9. S. Johnson. Lint, a c program checker. In M. McIIroy and B. Kemighan, editors, Unix Programmer's Manual, volume 2A. AT&T Bell Laboratories, seventh edition, 1979.
10. A. Kellens. Maintaining causality between design regularities and source code. PhD thesis, VUB, 2007.
11. R. Lämmel and K. De Schutter. What does aspect-oriented programming mean to Cobol? In Aspect-Oriented Software Development (AOSD), pages 99-110, 2005.
12. R. Lämmel and C. Verhoef. Semi-automatic Grammar Recovery. Software-Practice & Experience, 31(15):1395-1438, December 2001.
13. K. Mens and A. Kellens. Intensive, a toolsuite for documenting and checking structural source-code regularities. In Conference on Software Maintenance and Reengineering (CSMR), pages 239-248, 2006.
14. K. Mens, A. Kellens, F. Pluquet, and R.Wuyts. Co-evolving code and design with intensional views: A case study. Elsevier Journal on Computer Languages, Systems & Structures, 32(2-3):140-156, 2006.
15. M. Meyer, T. Girba, and M. Lungu. Mondrian: An agile visualization framework. In ACM Symposium on Software Visualization, pages 135-144, 2006.
16. N. Minsky. Law-governed systems. Software Engineering Journal, 6(5):285-302, 1991.
17. L. Moonen. Generating robust parsers using island grammars. In WCRE, page 13, 2001.
18. L. Moonen. Lightweight impact analysis using island grammars. In Proceedings of the 10th International Workshop on Program Comprehension (IWPC 2002). IEEE Computer Society Press, June 2002.
19. G. Murphy, D. Notkin, and K. Sullivan. Software reflexion models: Bridging the gap between source and high-level models. In Symposium on the Foundations of Software Engineering (SIGSOFT), pages 18-28, 1995.
20. M. Robillard and G. Murphy. Feat: a tool for locating, describing, and analyzing concerns in source code. In 25th International Conference on Software Engineering, pages 822-823, 2003.
21. A. van Deursen and T. Kuipers. Rapid system understanding: Two COBOL case studies. In IWPC, pages 90-97. IEEE Computer Society, 1998.
22. J. Van Geet and S. Demeyer. Lightweight visualisations of COBOL code for supporting migration to SOA. In 3rd International ERCIM Symposium on Software Evolution, oct 2007.
23. R.Wuyts. A Logic Meta-Programming Approach to Support the Co-Evolution of Object-Oriented Design and Implementation. PhD thesis, Vrije Universiteit Brussel, January 2001.