| |
Reverse Engineering, Working Conference on, Vol. 0 (2003), 369.
|
| |
|
| |
|
| |
In AOSD '03: Proceedings of the 2nd international conference on Aspect-oriented software development (2003), pp. 1-10.
|
| |
Human Centric Computing Languages and Environments, 2003. Proceedings. 2003 IEEE Symposium on In Human Centric Computing Languages and Environments, 2003. Proceedings. 2003 IEEE Symposium on (2003), pp. 198-200.
|
| |
IEEE Ann. Hist. Comput., Vol. 25, No. 2. (2003), pp. 14-25.
|
| |
“UML�? 2003 - The Unified Modeling Language (2003), pp. 159-174.
|
| |
“UML�? 2003 - The Unified Modeling Language (2003), pp. 144-158.
|
| |
“UML�? 2003 - The Unified Modeling Language (2003), pp. 76-91.
|
| |
Software, IEEE In Software, IEEE, Vol. 20, No. 5. (2003), pp. 52-58.
|
| |
In SAC '03: Proceedings of the 2003 ACM symposium on Applied computing (2003), pp. 1086-1091.
|
| |
|
| |
ZB 2003: Formal Specification and Development in Z and B (2003), pp. 627-627.
|
| |
Information and Software Technology, Vol. 45, No. 3. (1 March 2003), pp. 157-170.
|
| |
In CRPIT '02: Proceedings of the 2002 conference on Pattern languages of programs (2003), pp. 1-10.
|
| |
Abstract State Machines 2003 (2003), pp. 33-56.
|
| |
Electronic Notes in Theoretical Computer Science In RV '2003, Run-time Verification (Satellite Workshop of CAV '03), Vol. 89, No. 2. (October 2003), pp. 2-21.
|
| |
BT Technology Journal, Vol. 21, No. 4. (27 October 2003), pp. 162-172.
|
| |
In Software Engineering Research and Practice (2003), pp. 877-882.
|
| |
|
| |
Fundamental Approaches to Software Engineering (2003), pp. 341-355.
|
| |
Mathematical Knowledge Management (2003), pp. 188-202.
|
| |
Fundamental Approaches to Software Engineering (2003), pp. 135-149.
|
| |
J. Syst. Softw., Vol. 68, No. 3. (December 2003), pp. 199-215.
|
| |
Agent-Oriented Software Engineering III (2003), pp. 113-125.
|
| |
Computational Science — ICCS 2002 (2002), pp. 695-708.
|
| |
“UML�? 2003 - The Unified Modeling Language (2003), pp. 2-17.
|
| |
Software Maintenance, 2003. ICSM 2003. Proceedings. International Conference on In Software Maintenance, 2003. ICSM 2003. Proceedings. International Conference on (2003), pp. 348-357.
|
| |
IEEE Softw., Vol. 20, No. 5. (September 2003), pp. 11-13.
|
| |
Perspectives of System Informatics (2003), pp. 93-109.
|
| |
Software, IEEE, Vol. 20, No. 5. (2003), pp. 36-41.
|
| |
Objects, Components, Architectures, Services, and Applications for a Networked World (2003), pp. 366-377.
|
| |
ECOOP 2003 -- Object-Oriented Programming (2003), pp. 457-482.
|
| |
Multiagent System Technologies (2003), pp. 131-143.
|
| |
Computer Safety, Reliability, and Security (2003), pp. 22-34.
|
| |
Formal Methods in System Design, Vol. 23, No. 2. (1 September 2003), pp. 143-170.
|
| |
Formal Aspects of Computing, Vol. 15, No. 2. (1 November 2003), pp. 182-214.
|
| |
Abstract State Machines 2003 (2003), pp. 356-371.
|
| |
In ICEIS (1) (2003), pp. 87-95.
|
| |
Software Engineering and Formal Methods, 2003.Proceedings. First International Conference on In Software Engineering and Formal Methods, 2003.Proceedings. First International Conference on (2003), pp. 118-125.
|
| |
Software and Systems Modeling, Vol. 2, No. 4. (1 December 2003), pp. 248-261.
|
| |
J. UCS, Vol. 9, No. 2. (2003), pp. 138-151.
|
| |
Interactive Systems. Design, Specification, and Verification (2003), pp. 279-288.
|
| |
Formal Methods for Open Object-Based Distributed Systems (2003), pp. 16-31.
|
| |
Formal Methods for Open Object-Based Distributed Systems (2003), pp. 229-243.
|
| |
Formal Methods for Open Object-Based Distributed Systems (2003), pp. 199-213.
|
| |
Formal Methods and Software Engineering (2003), pp. 26-33.
|
| |
Electronic Notes in Theoretical Computer Science In UNIGRA'03, Uniform Approaches to Graphical Process Specification Techniques (Satellite Event for ETAPS 2003), Vol. 82, No. 7. (June 2003), pp. 91-104.
|
| |
Fundam. Inform., Vol. 54, No. 2-3. (2003), pp. 237-252.
|
| |
J. UCS, Vol. 9, No. 11. (2003), pp. 1296-1321.
|
CiteULike
leonardo's CiteULike
Search
Export
