| |
Acta Informatica, Vol. 38, No. 4. (1 January 2002), pp. 235-259.
|
| |
Mathematics of Program Construction (2002), pp. 119-147.
|
| |
|
| |
ACM Trans. Softw. Eng. Methodol., Vol. 11, No. 1. (2002), pp. 92-148.
|
| |
|
| |
«UML» 2002 — The Unified Modeling Language (2002), pp. 155-178.
|
| |
Graph Transformation (2002), pp. 286-301.
|
| |
|
| |
Requirements Engineering, 2002. Proceedings. IEEE Joint International Conference on In Requirements Engineering, 2002. Proceedings. IEEE Joint International Conference on (2002), pp. 199-202.
|
| |
Electronic Notes in Theoretical Computer Science In REFINE 2002, The BCS FACS Refinement Workshop (Satellite Eventof FLoC 2002), Vol. 70, No. 3. (November 2002), pp. 297-310.
|
| |
Integrated Formal Methods (2002), pp. 225-244.
|
| |
Electronic Notes in Theoretical Computer Science In REFINE 2002, The BCS FACS Refinement Workshop (Satellite Eventof FLoC 2002), Vol. 70, No. 3. (November 2002), pp. 50-69.
|
| |
In SEKE '02: Proceedings of the 14th international conference on Software engineering and knowledge engineering (2002), pp. 217-224.
|
| |
FME 2002:Formal Methods—Getting IT Right (2002), pp. 1-15.
|
| |
|
| |
The Computer Journal, Vol. 45, No. 3. (1 March 2002), pp. 260-277.
|
| |
Formal Methods in Computer-Aided Design (2002), pp. 33-51.
|
| |
In CRPIT '02: Proceedings of the conference on Application and theory of petri nets (2002), pp. 27-36.
|
| |
Diagrammatic Representation and Inference (2002), pp. 79-127.
|
| |
Theoretical Computer Science, Vol. 280, No. 1-2. (30 May 2002), pp. 3-34.
|
| |
Object-Oriented Technology ECOOP 2002 Workshop Reader (2002), pp. 184-191.
|
| |
Formal Methods and Software Engineering (2002), pp. 600-612.
|
| |
Integrated Formal Methods (2002), pp. 299-318.
|
| |
Diagrammatic Representation and Inference (2002), pp. 213-236.
|
| |
Object Modeling with the OCL (2002), pp. 415-418.
|
| |
Formal Methods and Software Engineering (2002), pp. 335-347.
|
| |
Product Focused Software Process Improvement (2002), pp. 475-484.
|
| |
ZB 2002:Formal Specification and Development in Z and B (2002), pp. 140-161.
|
| |
Fundamental Approaches to Software Engineering (2002), pp. 208-241.
|
| |
Graph Transformation (2002), pp. 239-253.
|
| |
Object Modeling with the OCL (2002), pp. 447-450.
|
| |
ZB 2002:Formal Specification and Development in Z and B (2002), pp. 77-100.
|
| |
Formal Methods and Software Engineering (2002), pp. 323-334.
|
| |
ZB 2002:Formal Specification and Development in Z and B (2002), pp. 101-114.
|
| |
Formal Methods and Software Engineering (2002a), pp. 548-560.
|
| |
Graph Transformation (2002), pp. 378-392.
|
| |
Integrated Formal Methods (2002), pp. 109-127.
|
| |
EurAsia-ICT 2002: Information and Communication Technology (2002), pp. 228-238.
|
| |
Integrated Formal Methods (2002), pp. 11-28.
|
| |
«UML» 2002 — The Unified Modeling Language (2002), pp. 449-456.
|
| |
Software Visualization (2002), pp. 618-621.
|
| |
The Essence of Computation (2002), pp. 157-171.
|
| |
Graph Transformation (2002), pp. 90-105.
|
| |
Graph Transformation (2002), pp. 402-429.
|
| |
Formal Methods and Software Engineering (2002), pp. 435-446.
|
| |
Integrated Formal Methods (2002), pp. 128-144.
|
| |
|
| |
Formal Methods and Software Engineering (2002), pp. 287-298.
|
| |
Advanced Information Systems Engineering (2002), pp. 117-133.
|
| |
Computer Security — ESORICS 2002 (2002), pp. 212-229.
|
CiteULike
leonardo's CiteULike
Search
Export
