Comprehension by derivation

Proceedings - IEEE Workshop on Program Comprehension

Volumn , Issue , 2005, Pages 3-9

  Smith, Douglas R ^a  

^a KESTREL INSTITUTE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (STANDARDS); KNOWLEDGE ENGINEERING; SPECIFICATIONS;

DOMAIN THEORIES; MIGRATION; SOFTWARE SYSTEM; SYSTEM CODE;

COMPUTER SOFTWARE;

EID: 27744546770     PISSN: 10928138     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (11)

1. Aspect-Oriented Software Development, 2003. http://www.aosd.net/.
2. F. Cristian. Exception handling. In Dependability of Resilient Computers, pages 68-97. BSP Professional Books, Blackwell Scientific Publications, 1989.
3. T. Elrad, R. Filman, and A. Bader, editors. Communications of the ACM- Special Issue on Aspect-Oriented Programming, volume 44(10). October 2001.
4. Kestrel Institute. Specware System and documentation, 2003. http://www.specware.org/.
5. D. Pavlovic and D. R. Smith. Composition and refinement of behavioral specifications. In Proceedings of Sixteenth International Conference on Automated Software Engineering, pages 157-165. IEEE Computer Society Press, 2001.
6. D. R. Smith. Constructing specification morphisms. Journal of Symbolic Computation, Special Issue on Automatic Programming, 15(5-6):571-606, May-June 1993.
7. D. R. Smith. Toward a classification approach to design. In Proceedings of Algebraic Methodology and Software Technology (AMAST), volume LNCS 1101, pages 62-84. Springer-Verlag, 1996.
8. D. R. Smith. Mechanizing the development of software. In M. Broy and R. Steinbrueggen, editors, Calculational System Design, Proceedings of the NATO Advanced Study Institute, pages 251-292. IOS Press, Amsterdam, 1999.
9. D. R. Smith. A generative approach to aspect-oriented programming. In Proceedings of the Third International Conference on Generative Programming and Component Engineering, pages 39-54. Springer-Verlag LNCS 3286, 2004.
10. D. R. Smith and K. Havelund. Automatic enforcement of error-handling policies. Technical report, Kestrel Technology, September 2004.
11. W. Weimer and G. C. Necula. Finding and preventing run-time error handling mistakes. In 19th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA '04), Oct. 2004.