| |
|
| |
Social Science Research Network Working Paper Series (22 August 2007)
|
| |
In DEXA '08: Proceedings of the 19th international conference on Database and Expert Systems Applications (2008), pp. 837-850.
|
| |
Interactive Systems: Design, Specification, and Verification (2001), pp. 114-127.
|
| |
Software, IET, Vol. 3, No. 5. (02 October 2009), pp. 395-409.
|
| |
|
| |
|
| |
|
| |
AI & Society, Vol. 15, No. 4. (1 December 2001), pp. 359-376.
|
| |
Formal Foundations of Reuse and Domain Engineering (2009), pp. 201-210.
|
| |
|
| |
In OOPSLA '03: Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (2003), pp. 124-125.
|
| |
Service-Oriented Computing ICSOC 2006 (2007), pp. 166-177.
|
| |
Journal of Systems and Software, Vol. 67, No. 1. (15 July 2003), pp. 1-18.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
Lecture Notes in Computer Science, Vol. 707 (1993), pp. 406-431.
|
| |
In ICSE '08: Proceedings of the 30th international conference on Software engineering (2008), pp. 801-804.
|
| |
|
| |
Leveraging Applications of Formal Methods, Verification and Validation (2009), pp. 323-338.
|
| |
IBM Systems Journal, Vol. 13, No. 2. (1974), pp. 115-139.
|
| |
Reliable SoftwareTechnologies — Ada-Europe 2001 (2001), pp. 203-214.
|
| |
ACM Trans. Auton. Adapt. Syst., Vol. 1, No. 1. (September 2006), pp. 26-66.
by Ozalp Babaoglu, Geoffrey Canright, Andreas Deutsch, et al.Gianni A. Di Caro, Frederick Ducatelle, Luca M. Gambardella, Niloy Ganguly, Márk Jelasity, Roberto Montemanni, Alberto Montresor, Tore Urnes
|
| |
Software Engineering, 2004. ICSE 2004. Proceedings. 26th International Conference on In Software Engineering, 2004. ICSE 2004. Proceedings. 26th International Conference on (2004), pp. 252-261.
|
| |
Interactive Learning Environments, Vol. 16, No. 1. (2008), pp. 17-34.
|
| |
Software and Systems Modeling, Vol. 8, No. 1. (February 2009), pp. 67-84.
|
| |
In Proceedings First Workshop on C++ Template Programming (2000)
|
| |
In GCSE (2000), pp. 37-56.
|
| |
: B 2007: Formal Specification and Development in B (2006), pp. 125-139.
|
| |
C++ Rep., Vol. 7, No. 2. (February 1995), pp. 24-27.
|
| |
Lecture Notes in Computer Science, Vol. 1241 (1997), pp. 472-??.
|
| |
In ICSE '06: Proceeding of the 28th international conference on Software engineering (2006), pp. 202-211.
|
| |
|