| |
|
| |
Form. Methods Syst. Des., Vol. 18, No. 3. (2001), pp. 249-284.
|
| |
Perspectives of System Informatics (2001), pp. 165-190.
|
| |
Electronic Notes in Theoretical Computer Science In Workshop on Software Model Checking (in connection with CAV '01), Vol. 55, No. 3. (October 2001), pp. 357-369.
|
| |
In In Proc. 5th European Conference on Software Maintenance and Reengineering (2001), pp. 30-38.
|
| |
Computer, Vol. 34, No. 1. (2001), pp. 53-60.
|
| |
VLDB Journal, Vol. 10, No. 10. (2001), pp. 200-1.
|
| |
Software Architecture, 2001. Proceedings. Working IEEE/IFIP Conference on In Software Architecture, 2001. Proceedings. Working IEEE/IFIP Conference on (2001), pp. 87-96.
|
| |
Object-Oriented Real-Time Distributed Computing, 2001. ISORC - 2001. Proceedings. Fourth IEEE International Symposium on In Object-Oriented Real-Time Distributed Computing, 2001. ISORC - 2001. Proceedings. Fourth IEEE International Symposium on (2001), pp. 31-40.
|
| |
Journal of Systems and Software, Vol. 56, No. 1. (1 February 2001), pp. 91-99.
|
| |
Electronic Notes in Theoretical Computer Science In MFPS 2001,Seventeenth Conference on the Mathematical Foundations of Programming Semantics, Vol. 45 (November 2001), pp. 162-173.
|
| |
Software Visualization (2002), pp. 672-675.
|
| |
Graph Drawing (2001), pp. 43-44.
|
| |
«UML» 2001 — The Unified Modeling Language. Modeling Languages, Concepts, and Tools (2001), pp. 406-421.
|
| |
Agent-Oriented Software Engineering (2001), pp. 201-218.
|
| |
Modeling and Verification of Parallel Processes (2001), pp. 187-195.
|
| |
Intelligent Agents VII Agent Theories Architectures and Languages (2001), pp. 339-343.
|
| |
Theorem Proving in Higher Order Logics (2001), pp. 233-248.
|
| |
Fundamental Approaches to Software Engineering (2001), pp. 171-186.
|
| |
«UML» 2001 — The Unified Modeling Language. Modeling Languages, Concepts, and Tools (2001), pp. 241-256.
|
| |
Correct Hardware Design and Verification Methods (2001), pp. 449-464.
|
| |
Automata, Languages and Programming (2001), pp. 652-666.
|
| |
Computer Safety, Reliability and Security (2001), pp. 46-55.
|
| |
Fundamental Approaches to Software Engineering (2001), pp. 91-108.
|
| |
Reliable SoftwareTechnologies — Ada-Europe 2001 (2001), pp. 203-214.
|
| |
Computer Languages, Vol. 27, No. 1-3. ( 2001), pp. 3-18.
|
| |
«UML» 2001 — The Unified Modeling Language. Modeling Languages, Concepts, and Tools (2001), pp. 376-390.
|
| |
UML 2001 — The Unified Modeling Language. Modeling Languages, Concepts, and Tools In Lecture Notes in Computer Science, Vol. 2185 (2001), pp. 134-148.
|
| |
Modeling and Verification of Parallel Processes (2001), pp. 125-152.
|
| |
Computer Safety, Reliability and Security (2001), pp. 176-189.
|
| |
In GI Jahrestagung (1) (2001), pp. 615-621.
|
| |
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.
|
| |
FME 2001: Formal Methods for Increasing Software Productivity (2001), pp. 99-118.
|
| |
Computer, Vol. 34, No. 11. (November 2001), pp. 44-51.
|
| |
Control Applications, 2001. (CCA '01). Proceedings of the 2001 IEEE International Conference on In Control Applications, 2001. (CCA '01). Proceedings of the 2001 IEEE International Conference on (2001), pp. 756-760.
|
| |
Software Reliability Engineering, 2001. ISSRE 2001. Proceedings. 12th International Symposium on In Software Reliability Engineering, 2001. ISSRE 2001. Proceedings. 12th International Symposium on (2001), pp. 254-263.
|
| |
Computer Software and Applications Conference, 2001. COMPSAC 2001. 25th Annual International In Computer Software and Applications Conference, 2001. COMPSAC 2001. 25th Annual International (2001), pp. 205-214.
|
| |
Requirements Engineering, 2001. Proceedings. Fifth IEEE International Symposium on In Requirements Engineering, 2001. Proceedings. Fifth IEEE International Symposium on (2001), pp. 294-295.
|
| |
J. UCS, Vol. 7, No. 11. (2001), pp. 952-979.
|
| |
Video Technologies for Multimedia Applications, Vol. 4520, No. 1. (2001), pp. 74-83.
|
| |
Electronic Notes in Theoretical Computer Science In GT-VMT 2001, Graph Transformation and Visual Modeling Techniques (Satellite Workshop of ICALP 2001), Vol. 50, No. 3. (August 2001), pp. 257-265.
|
| |
Software: Practice and Experience, Vol. 27, No. 3. (March 1997), pp. 311-328.
|
| |
Software Testing, Verification and Reliability, Vol. 10, No. 4. (2000), pp. 203-227.
|
| |
Software Engineering, 2001. ICSE 2001. Proceedings of the 23rd International Conference on In Software Engineering, 2001. ICSE 2001. Proceedings of the 23rd International Conference on (2001), pp. 15-24.
|
| |
Software Engineering, 2001. ICSE 2001. Proceedings of the 23rd International Conference on In Software Engineering, 2001. ICSE 2001. Proceedings of the 23rd International Conference on (2001), pp. 433-442.
|
| |
High Assurance Systems Engineering, 2001. Sixth IEEE International Symposium on (2001), pp. 11-22.
|
| |
Automated Software Engineering, 2001. (ASE 2001). Proceedings. 16th Annual International Conference on (2001), pp. 297-304.
|
| |
Journal of Logic and Algebraic Programming, Vol. 47, No. 2. ( 2001), pp. 47-145.
|
| |
Automated Software Engineering, 2001. (ASE 2001). Proceedings. 16th Annual International Conference on (2001), pp. 157-165.
|
| |
Software: Practice and Experience, Vol. 32, No. 1. (2002), pp. 25-55.
|
CiteULike
leonardo's CiteULike
Search
Export
