| |
|
| |
|
| |
ACM SIGSOFT Software Engineering Notes, Vol. 26, No. 2. (2001), pp. 44-48.
|
| |
In Proceedings of the Fourteenth International Symposium on Formal Methods (2006)
|
| |
ACM Transactions On Software Engineering and Methodology (TOSEM), Vol. 6, No. 4. (October 1997), pp. 333-369.
|
| |
In 39th International Conference and Exhibition on Technology of Object-Oriented Languages and Systems (2001), pp. 120-129.
|
| |
|
| |
No. Oxford OX1 3QD UK. (July 2001)
|
| |
In ZB 2002: Formal Specification and Development in Z and B, Vol. 2272 (2002), pp. 184-203.
|
| |
|
| |
In Fourth International Conference On Formal Methods For Open Object-Based Distributed Systems IV (2000), pp. 213-231.
|
| |
In FORTE '01: Proceedings of the IFIP TC6/WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems (2001), pp. 335-352.
|
| |
In 5th IFIP TC6/WG6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS'02) (2002), pp. 79-93.
|
| |
Nordic Journal of Computing, Vol. 9, No. 4. (2002), pp. 405-435.
|
| |
|
| |
Formal Methods in System Design, Vol. 23, No. 2. (2003), pp. 143-170.
|
| |
In Fundamental Approaches to Software Engineering, Third Internationsl Conference, FASE 2000, Vol. 1783 (2000), pp. 334-348.
|
| |
In ECOOP'88 European Conference On Object-Oriented Programming, Proceedings, Vol. 322 (1988), pp. 55-77.
|
| |
In Working Conference on Reverse Engineering (November 2005), pp. 165-174.
|
| |
No. CMU/SEI-2003-TR-009. (April 2003)
|
| |
|
| |
In 1st International Workshop on Foundations of Coordination Languages and Software Architectures (Foclasa - 2002) (August 2002)
|
| |
In International Workshop on Web Services, E-Business, and the Semantic Web (2002), pp. 28-40.
|
| |
In Companion of the 18th Annual ACM SIGPLAN Conference On Object-Oriented Programming, Systems, Languages, and Applications (2003), pp. 2-7.
|
| |
IEEE Transactions On Software Engineering, Vol. 22, No. 6. (June 1996), pp. 390-406.
|
| |
In 2nd Int. Workshop on Applications of Graph Transformation, Vol. 3062 (2004)
|
| |
|
| |
In 4th International Conference On the The Unified Modeling Language, Vol. 2185 (October 2001), pp. 134-148.
|
| |
In ICSE '96: Proceedings of the 18th international conference on Software engineering (1996), pp. 220-229.
|
| |
ACM SIGSOFT Software Engineering Notes, Vol. 30, No. 1. (2005)
|
| |
Journal of Software and Systems Modeling (SoSyM) (2007)
|
| |
No. CMU/SEI-2003-TN-029. (2003)
|
| |
In Proc. Int.l Conf. Engineering of Computer-Based Systems (2003)
|
| |
|
| |
In ICSE '03: Proceedings of the 25th International Conference on Software Engineering (2003), pp. 374-384.
|
| |
|
| |
|
| |
|
| |
Formal Methods in Systems Design, Vol. 18 (May 2001), pp. 249-284.
|
| |
|
| |
In Rigorous Object-Oriented Methods (January 2000)
|
| |
In HiPC '02: Proceedings of the 9th International Conference on High Performance Computing (2002), pp. 663-678.
|
| |
Softwaretechnik-Trends, Vol. 20, No. 2. (2000)
|
| |
In Proc. 21st Internationall Computer Software and Applications Conference (COMPSAC97) (August 1997), pp. 6-13.
|
| |
|
| |
|
| |
|
| |
IEEE Software, Vol. 20, No. 5. (2003), pp. 19-25.
|
| |
In 26th International Conference on Software Engineering (2004), pp. 741-742.
|
| |
In Proceedings of the 11th IFIP WG10.2 International Conference On Computer Hardware Description Languages and Their Applications - CHDL'93, Vol. A-32 (April 1993), pp. 335-344.
|
Search
