|
|
|
This subject category contains 8 entries
Barnett, Mike, Edwards, Stephen H., Giannakopoulou, Dimitra and Leavens, Gary T. (2003) SAVCBS 2003: Specification and Verification of Component-Based Systems. Technical Report 03-11, Computer Science, Iowa State University.
Clifton, Curtis, Laemmel, Ralf and Leavens, Gary T. (2005) FOAL 2005 Proceedings: Foundations of Aspect-Oriented Languages Workshop at AOSD 2005. Technical Report 05-05, Computer Science, Iowa State University.
Giannakopoulou, Dimitra, Leavens, Gary T. and Sitaraman, Murali (2001) SAVCBS 2001 Proceedings Specification and Verification of Component-Based Systems Workshop at OOPSLA 2001. Technical Report 01-09, Computer Science, Iowa State Univeristy.
Leavens, Gary T. and Clifton, Curtis (2007) Multiple Concerns in Aspect-Oriented Language Design: A Language Engineering Approach to Balancing Benefits, with Examples. Technical Report 07-01a, Computer Science, Iowa State University.
Leavens, Gary T. and Clifton, Curtis (2003) FOAL 2003 Proceedings Foundations of Aspect-Oriented Langauges Workshop at AOSD 2003. Technical Report TR03-05, Computer Science, Iowa State University.
Long, Yuheng, Mooney, Sean and Rajan, Hridesh (2009) Panini: A Language with Asynchronous, Typed Events. Technical Report 09-28, Computer Science, Iowa State University.
Sondag, Tyler, Pokorny, Kian and Rajan, Hridesh (2009) Frances: A Tool For Understanding Code Generation. Technical Report 09-21, Computer Science, Iowa State University.
Taylor, Kristina B., Rieken, Johannes and Leavens, Gary T. (2008) Adapting the Java Modeling Language for Java 5 Annotations. Technical Report 08-06, Computer Science, Iowa State University.
Contact site administrator at: ssg@cs.iastate.edu
|
