Incremental maintenance of software artifacts

IEEE International Conference on Software Maintenance, ICSM

Volumn 2005, Issue , 2005, Pages 113-122

  Reiss, Steven P ^a  

^a Brown Univerity   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CLIME - SOFTWARE TOOL; INCREMENTAL MAINTENANCE; SOFTWARE ARTIFACTS; SOFTWARE DESIGN;

CODES (SYMBOLS); COMPUTER AIDED DESIGN; CONSTRAINT THEORY; SOFTWARE ENGINEERING; USER INTERFACES;

COMPUTER SOFTWARE MAINTENANCE;

EID: 33646933825     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSM.2005.54     Document Type: Conference Paper

References (31)

1. Don Batory, David Brant, Michael Gibson, and Michael Nolen, "ExCIS: an integration of domain-specific languages and feature-oriented programming." in Workshops on New Visions for Software Design and Productivity: Research and Applications, (dec 2001).
2. Frank J. Budinsky, Marilyn A. Finnie, John M. Vlissides, and Patsy S. Yu, "Automatic code generation from design patterns," IBM Systems Journal Vol. 35(2)(1996).
3. Bart Childs, "Literate programming, a practitioner's view," TUCboat, Proceedings of the 1991 annual meeting of the Tex User's Group Vol. 12(3) pp. 1001-1008 (1991).
4. J. M. Cobleigh, L. A. Clarke. and L. J. Osterweil, "FLAVERS: A finite state verification technique for software systems," IBM Systems Journal Vol. 41(1) pp. 140-165 (2002).
5. David Crocker, "Perfect developer: a tool for object-oriented formal specification and refinement." Proc. Formal Methods Europe. (2003).
6. Carolyn K. Duby, Scott Meyers, and Steven P. Reiss, "CCEL: a metalanguage for C++," Proc. Second Usenix C++ Conference, (August 1992).
7. Alexander Egyed, "Scalable consistency checking between diagrams - the ViewIntegra approach," 16th IEEE Intl Conf on Automated Software Engineering. (November 2001).
8. David Evans, John Guttag. James Horning, and Yang Meng Tan, "LCLint: a tool for using specifications to check code," Software Engineering Notes Vol. 19(5) pp. 87-96 (December 1994).
9. Karl Fogel. Open Source Development with CVS, CoriolisOpen Press (1999).
10. E. Gamma and K. Beck. "Test infected: Programmers love writing tests," http://www.junit.org, (1998).
11. Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides, Design Patterns. Addison-Wesley (1995).
12. Dennis Gruijs, "A framework of concepts for representing object-oriented design and design patterns in the context of tool support," Dept. of Computer Science INF-SCR-97-28, Utrecht University (August 1998).
13. Clare Gryce, Anthony Finkelstein, and Christian Nentwich, "Lightweight checking for UML based software development." 2002 Workshop on Consisteny Problems in UML-based Software Development, (2002).
14. Maciej Hapke, Andrzej Jaszkiewicz. Krzysztof Kowalczykiewicz, Dawid Weiss, and Piotr Zielniewicz, "OPHELIA: Open platform for distributed software development." Proc Open Source International Conferece, (2004).
15. Gail E. Kaiser, Peter H. Feiler, and Steven S. Popovich. "Intelligent assistance for software development and maintenance," IEEE Software Vol. 5(3) pp. 40-45 (May 1988).
16. Alexander Knapp and Stephan Merz. "Model checking and code generation for UML state machines and collaborations," Proc. 5th Workshop in Tools for Software Design and Verification, (2002).
17. Donald E. Knuth, "Literate programming," The Computer Journal Vol. 27(2) pp. 97-111 (1984).
18. Chris Laffra, Doug Lorch. Dave Streeter, Frank Tip, and John Field, "What is Jikes Bytecode Toolkit," http://www.alphaworks.ibm.com/tech/ jikesbt, (March 2000).
19. Marco Meijers, "Tool support for object-oriented design patterns," Dept. of Computer Science INF-SCR-96-28, Utrecht University (August 1996).
20. Stephen J. Mellor, Anthony N. Clark, and Takao Futagami, "Model-driven development," IEEE Software Vol. 20(5) pp. 14-18 (Sept 2003).
21. N. H. Minsky and D. Rozenshtein, "Law-governeed object-oriented systems," Journal of Object-Oriented Programming Vol. 1(6) pp. 14-29 (March/April 1989).
22. Christian Nentwich, Licia Capra. Wolfgang Emmerich, and Anthony Finkelstein, "xlinkit: A consistency checking and smart link generation service." ACM Transaction on Internet Technology. (To appear).
23. Steven P. Reiss, "Working with patterns and code." Proc. HICSS-33, (January 2000).
24. Steven P. Reiss, "Constraining software evolution," International Conference on Software Management, pp. 162-171 (October 2002).
25. Steven P. Reiss, "Checking event-based specifications in Java systems," Proc. SoftMC2005, (July 2005).
26. D. M. Ritchie, S. C. Johnson, M. E. Lesk, and B. W. Kernighan, "The C programming language." Bell Systems Tech. J. Vol. 57(6) pp. 1991-2020 (1978).
27. Barbara G. Ryder and Frank Tip. "Change impact analysis for object-oriented programs." ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, pp. 46-53 (June 2001).
28. J. Smith, M. M. Kokar, and K. Baclawski, "Formal verification of UML diagrams: a first step towards code generation.," pp. 224-240 in Practical UML-Based Rigorous Development Methods - Countering or Integrating the extremists, ed. Andy Evans, Robert France, Ana Moreira, and Bernhard Rumpe,Springer-Verlag (2001).
29. Mike Smith, Pauline Wilcox, Rick Dewar, and Dawid Weiss, "The Ophelia traceability layer," 2nd CCSE Workshop, (March 2003).
30. Guy Lewis Steele, Jr., Common Lisp: the Language, Digital Press, Bedford, MA (1990).
31. Warren Teitelman. "A tour through Cedar," IEEE Software Vol. 1(2) pp. 44-73 (April 1984).