| |
|
| |
Fundam. Inform., Vol. 44, No. 1-2. (2000), pp. 25-61.
|
| |
In FMOODS, Vol. 139 (1999)
|
| |
Formal Methods and Software Engineering (2004), pp. 418-433.
|
| |
Software Reuse: Methods, Techniques and Tools (2004), pp. 115-126.
|
| |
RoboCup 2003: Robot Soccer World Cup VII (2004), pp. 145-156.
|
| |
From Object-Orientation to Formal Methods (2004), pp. 83-95.
|
| |
Mechanizing Mathematical Reasoning (2005), pp. 396-406.
|
| |
Scientific Engineering of Distributed Java Applications (2005), pp. 24-37.
|
| |
Radical Innovations of Software and Systems Engineering in the Future (2004), pp. 325-340.
|
| |
Software Architecture (2004), pp. 115-134.
|
| |
From Object-Orientation to Formal Methods (2004), pp. 302-333.
|
| |
: UML Modeling Languages and Applications (2005), pp. 1-12.
|
| |
Radical Innovations of Software and Systems Engineering in the Future (2004), pp. 310-324.
|
| |
Formal Methods and Software Engineering (2004), pp. 434-448.
|
| |
Fundamental Approaches to Software Engineering (2004), pp. 37-53.
|
| |
“UML�? 2003 - The Unified Modeling Language (2003), pp. 2-17.
|
| |
Mathematical Foundations of Computer Science 2004 (2004), pp. 525-536.
|
| |
Foundations of Software Technology and Theoretical Computer Science (1998), pp. 269-269.
|
| |
Perspectives of System Informatics (2003), pp. 93-109.
|
| |
Graph Transformations (2004), pp. 399-415.
|
| |
Graph Transformations (2004), pp. 13-21.
|
| |
Formal Approaches to Agent-Based Systems (2002), pp. 28-36.
|
| |
ECOOP 2003 -- Object-Oriented Programming (2003), pp. 457-482.
|
| |
The Unified Modeling Language. «UML»’98: Beyond the Notation (1999), pp. 132-147.
|
| |
Multiagent System Technologies (2003), pp. 131-143.
|
| |
Algebraic Methodology and Software Technology (2004), pp. 304-318.
|
| |
Computer Safety, Reliability, and Security (2003), pp. 22-34.
|
| |
Formal Approaches to Agent-Based Systems (2002), pp. 146-161.
|
| |
Applications of Graph Transformations with Industrial Relevance In Applications of Graph Transformations with Industrial Relevance (2004), pp. 446-453.
|
| |
Recent Trends in Algebraic Development Techniques (2005), pp. 1-27.
|
| |
Tools and Algorithms for the Construction and Analysis of Systems (2004), pp. 327-341.
|
| |
Global Computing (2005), pp. 34-58.
|
| |
Scientific Engineering of Distributed Java Applications (2005), pp. 58-67.
|
| |
The Unified Modeling Language. «UML»’98: Beyond the Notation (1999), pp. 378-392.
|
| |
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.
|
| |
Software Engineering, 2002. ICSE 2002. Proceedings of the 24rd International Conference on In Software Engineering, 2002. ICSE 2002. Proceedings of the 24rd International Conference on (2002), pp. 659-660.
|
| |
J. UCS, Vol. 7, No. 11. (2001), pp. 952-979.
|
| |
J. UCS, Vol. 10, No. 4. (2004), pp. 359-374.
|
| |
J. UCS, Vol. 9, No. 2. (2003), pp. 138-151.
|
| |
Interactive Systems. Design, Specification, and Verification (2003), pp. 279-288.
|
| |
Integration of Software Specification Techniques forApplications in Engineering (2004), pp. 355-373.
|
| |
Integration of Software Specification Techniques forApplications in Engineering (2004), pp. 325-354.
|
| |
Integration of Software Specification Techniques forApplications in Engineering (2004), pp. 322-324.
|
| |
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.
|
| |
Conceptual Modeling – ER 2004 (2004), pp. 753-765.
|
| |
Formal Methods and Software Engineering (2003), pp. 26-33.
|
| |
Applying Formal Methods: Testing, Performance, and M/E-Commerce (2004), pp. 308-321.
|
Search
