| |
Software-Concepts and Tools, Vol. 15, No. 4. (1994), pp. 147-161.
|
| |
SIGPLAN Not., Vol. 21, No. 12. (1986), pp. 114-123.
|
| |
|
| |
|
| |
|
| |
In FOSE '07: 2007 Future of Software Engineering (2007), pp. 226-243.
|
| |
Autonomous Robots, Vol. 25, No. 4. (1 November 2008), pp. 405-419.
|
| |
Softw. Pract. Exper., Vol. 15, No. 6. (1985), pp. 555-569.
|
| |
Reliable Software Technologies — Ada-Europe 2003 (2003), pp. 641-641.
|
| |
SIGPLAN Not., Vol. 21, No. 3. (1986), pp. 11-20.
|
| |
SIGPLAN Not., Vol. 22, No. 8. (1987), pp. 45-50.
|
| |
Hardware and Software: Verification and Testing (2008), pp. 252-266.
|
| |
|
| |
|
| |
In ICSE '00: Proceedings of the Conference on The Future of Software Engineering (2000), pp. 91-101.
|
| |
In WICSA '07: Proceedings of the Sixth Working IEEE/IFIP Conference on Software Architecture (2007)
|
| |
|
| |
|
| |
Tools and Algorithms for the Construction and Analysis of Systems (2005), pp. 365-381.
|
| |
IEEE Transactions on Software Engineering In Software Engineering, IEEE Transactions on, Vol. 35, No. 4. (2009), pp. 573-591.
|
| |
Software Engineering, IEEE Transactions on In Software Engineering, IEEE Transactions on, Vol. 35, No. 4. (2009), pp. 551-565.
|
| |
IEEE Transactions on Software Engineering In Software Engineering, IEEE Transactions on, Vol. 35, No. 1. (2009), pp. 83-93.
|
| |
Software, IEEE In Software, IEEE, Vol. 26, No. 4. (2009), pp. 19-21.
|
| |
Software, IEEE In Software, IEEE, Vol. 26, No. 4. (2009), pp. 30-38.
posted to dsl by JavaJoe
on 2009-07-28 11:52:03
as 
|
| |
Software, IEEE In Software, IEEE, Vol. 26, No. 4. (2009), pp. 22-29.
posted to dsm by JavaJoe
on 2009-07-28 11:51:20
as
|
| |
Software, IEEE In Software, IEEE, Vol. 26, No. 4. (2009), pp. 39-46.
posted to dsl by JavaJoe
on 2009-07-28 11:50:36
as
|
| |
Software, IEEE In Software, IEEE, Vol. 26, No. 4. (2009), pp. 47-53.
|
| |
Software, IEEE In Software, IEEE, Vol. 26, No. 4. (2009), pp. 15-18.
posted to dsm by JavaJoe
on 2009-07-28 11:47:57
as
|
| |
On the Move to Meaningful Internet Systems: OTM 2008 Workshops In OTM '08: Proceedings of the OTM Confederated International Workshops and Posters on On the Move to Meaningful Internet Systems (2008), pp. 473-478.
|
| |
Software Engineering Advances, International Conference on In Software Engineering Advances, 2008. ICSEA '08. The Third International Conference on, Vol. 0 (2008), pp. 427-436.
|
| |
Tests and Proofs (2008), pp. 134-153.
|
| |
In SAC '03: Proceedings of the 2003 ACM symposium on Applied computing (2003), pp. 1135-1139.
|
| |
In ESEC-FSE '07: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering (2007), pp. 425-434.
|
| |
Technology of Object-Oriented Languages and Systems, 2001. TOOLS 39. 39th International Conference and Exhibition on In Technology of Object-Oriented Languages and Systems, 2001. TOOLS 39. 39th International Conference and Exhibition on (2001), pp. 14-23.
|
| |
|
| |
|
| |
|
| |
Hagenberg Research (2009), pp. 157-235.
|
| |
Proceedings of the IASTED International Conference on Software Engineering In IASTED 09 Software Engineering, Vol. 1 (February 2009), pp. 126-135.
|
| |
In MoDELS '08: Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems (2008), pp. 645-659.
|
| |
In Proceedings of the International Workshop on Software Factories at OOPSLA (2005)
|
| |
Java Magazin, Vol. 10.08 (October 2008), pp. 63-68.
|
| |
In 7th IEEE International Conference on Industrial Informatics (INDIN 2009) (June 2009), pp. 142-148.
|
| |
Softw. Pract. Exper., Vol. 31, No. 11. (2001), pp. 1067-1076.
|
| |
|
| |
|
| |
|
| |
In ICFP '08: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming (2008), pp. 225-228.
|
| |
In OOPSLA Companion '08: Companion to the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications (2008), pp. 895-896.
|
| |
|
Search
