| |
Algebraic Methodology and Software Technology In Lecture Notes in Computer Science, Vol. 1816 (2000), pp. 469-483.
|
| |
Software Engineering, 2000. Proceedings of the 2000 International Conference on (2000), pp. 314-323.
|
| |
IEEE Softw., Vol. 17, No. 3. (May 2000), pp. 37-43.
|
| |
«UML» 2000 — The Unified Modeling Language (2000), pp. 323-337.
|
| |
Fundam. Inform., Vol. 44, No. 1-2. (2000), pp. 25-61.
|
| |
Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics (2000), pp. 624-628.
|
| |
High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000 In High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000 (2000), pp. 55-64.
|
| |
In Electronic Workshops in Computing: Rigorous Object-Oriented Methods 2000, series ed. C J van Rijsbergen, British Computer Society, Vol. 2000 (2000), pp. 8-1.
|
| |
Object-Oriented Real-Time Distributed Computing, 2000. (ISORC 2000) Proceedings. Third IEEE International Symposium on In Object-Oriented Real-Time Distributed Computing, 2000. (ISORC 2000) Proceedings. Third IEEE International Symposium on (2000), pp. 96-103.
|
| |
: Abstract State Machines - Theory and Applications: International Workshop, ASM 2000, Monte Verità, Switzerland, March 2000. Proceedings (2000), 223.
|
| |
Formal Methods in Computer-Aided Design (2000), pp. 74-91.
|
| |
In ICSE '00: Proceedings of the Conference on The Future of Software Engineering (2000), pp. 147-159.
|
| |
Applications of Graph Transformations with Industrial Relevance (2000), pp. 333-341.
|
| |
In ICALP Satellite Workshops (2000), pp. 387-394.
|
| |
Algebraic Methodology and Software Technology (2000), pp. 89-118.
|
| |
Conceptual Modeling — ER 2000 (2000), pp. 451-530.
|
| |
Fundamental Approaches to Software Engineering (2000), pp. 193-207.
|
| |
Fundamental Approaches to Software Engineering (2000), pp. 127-146.
|
| |
Automata, Languages and Programming (2000), pp. 163-174.
|
| |
Algebraic Methodology and Software Technology (2009), pp. 243-257.
|
| |
Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics (2000), pp. 315-330.
|
| |
In ICSE '00: Proceedings of the 22nd international conference on Software engineering (2000), pp. 178-187.
|
| |
Software Engineering, IEEE Transactions on In Software Engineering, IEEE Transactions on, Vol. 26, No. 8. (2000), pp. 713-728.
|
| |
Computer Safety, Reliability and Security (2000), pp. 37-52.
|
| |
In International Workshop Model Engineering (in Conjunction with ECOOP'2000) (June 2000)
|
| |
|
| |
|
| |
«UML» 2000 — The Unified Modeling Language (2000), pp. 528-540.
|
| |
IEEE Trans. Softw. Eng. In Software Engineering, IEEE Transactions on, Vol. 26, No. 1. (January 2000), pp. 70-93.
|
| |
Software Engineering, 2000. Proceedings of the 2000 International Conference on (2000), pp. 178-187.
|
| |
National Aerospace and Electronics Conference, 2000. NAECON 2000. Proceedings of the IEEE 2000 In National Aerospace and Electronics Conference, 2000. NAECON 2000. Proceedings of the IEEE 2000 (2000), pp. 43-50.
|
| |
Computer Aided Verification (2000), pp. 280-295.
|
| |
Theorem Proving in Higher Order Logics (2000), pp. 320-337.
|
| |
Formal Methods in Computer-Aided Design (2000), pp. 199-216.
|
| |
Formal Methods in Computer-Aided Design (2000), pp. 557-574.
|
| |
Formal Methods in Computer-Aided Design (2000), pp. 1-19.
|
| |
In Rigorous Object-Oriented Methods (2000)
|
| |
In Rigorous Object-Oriented Methods (2000)
|
| |
J. UCS, Vol. 6, No. 11. (2000), pp. 1088-1108.
|
| |
Integrated Formal Methods (2000a), pp. 255-276.
|
| |
|
| |
Logic-Based Program Synthesis and Transformation (2000), pp. 1-9.
|
| |
Theory and Application of Graph Transformations (2000), pp. 103-117.
|
| |
Software Specification and Design, 2000. Tenth International Workshop on In IWSSD '00: Proceedings of the 10th International Workshop on Software Specification and Design (2000), pp. 133-137.
|
| |
Computer Software and Applications Conference, 2000. COMPSAC 2000. The 24th Annual International (2000), pp. 41-47.
|
| |
Theory and Application of Graph Transformations (2000), pp. 296-309.
|
| |
High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000 (2000), pp. 95-96.
|
| |
Technology of Object-Oriented Languages and Systems, 2000. TOOLS 34. Proceedings. 34th International Conference on (2000), pp. 83-94.
|
| |
|
| |
Recent Trends in Algebraic Development Techniques (2000), pp. 22-36.
|
CiteULike
leonardo's CiteULike
Search
Export
