| |
In SAICSIT '05: Proceedings of the 2005 annual research conference of the South African institute of computer scientists and information technologists on IT research in developing countries (2005), pp. 252-259.
|
| |
|
| |
Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on In Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) (2005), pp. 363-373.
|
| |
In Software Engineering Research and Practice (2005), pp. 361-367.
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 127, No. 1. (30 March 2005), pp. 167-180.
|
| |
Model-Driven Software Development (2005), pp. 91-117.
|
| |
In ESELAW '05: Proceedings of the 1st Experimental Software Engineering Latin American Workshop
|
| |
In AMCOS'05: Proceedings of the 4th WSEAS International Conference on Applied Mathematics and Computer Science (2005), pp. 1-6.
|
| |
Model Driven Engineering Languages and Systems (2005), pp. 171-185.
|
| |
Software Architecture (2005), pp. 247-262.
|
| |
Engineering Theories of Software Intensive Systems (2005), pp. 177-213.
|
| |
Engineering Theories of Software Intensive Systems (2005), pp. 121-139.
|
| |
In APCCM '05: Proceedings of the 2nd Asia-Pacific conference on Conceptual modelling (2005), pp. 25-34.
|
| |
Integrated Formal Methods (2005), pp. 167-186.
|
| |
Integrated Formal Methods (2005), pp. 366-385.
|
| |
American Control Conference, 2005. Proceedings of the 2005 In American Control Conference, 2005. Proceedings of the 2005 (2005), pp. 3937-3942 vol. 6.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems (AVoCS 2004), Vol. 128, No. 6. (23 May 2005), pp. 37-52.
|
| |
sew, Vol. 00 (2005), pp. 34-46.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the Workshop on Software Evolution through Transformations: Model-based vs. Implementation-level Solutions (SETra 2004), Vol. 127, No. 3. (11 April 2005), pp. 139-145.
|
| |
Model Driven Architecture (2005), pp. 33-46.
|
| |
In EUROMICRO '05: Proceedings of the 31st EUROMICRO Conference on Software Engineering and Advanced Applications (2005), pp. 88-95.
|
| |
Formal Methods and Software Engineering (2005), pp. 188-203.
|
| |
IEEE Comput. Graph. Appl., Vol. 25, No. 4. (July 2005), pp. 12-16.
|
| |
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the Brazilian Symposium on Formal Methods (SBMF 2004), Vol. 130 (12 May 2005), pp. 281-300.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the Workshop on Petri Nets and Graph Transformations (PNGT 2004), Vol. 127, No. 2. (31 March 2005), pp. 29-44.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the Second Workshop on Semantic Foundations of Engineering Design Languages (SFEDL 2004), Vol. 115 (18 January 2005), pp. 49-57.
|
| |
Electrical and Computer Engineering, 2005. Canadian Conference on (2005), pp. 916-919.
|
| |
Theoretical Aspects of Computing – ICTAC 2005 (2005), pp. 469-484.
|
| |
Mechanizing Mathematical Reasoning (2005), pp. 396-406.
|
| |
Model Driven Architecture (2005), pp. 123-138.
|
| |
Software, IEEE, Vol. 22, No. 2. (2005), pp. 19-27.
|
| |
Model Driven Engineering Languages and Systems (2005), pp. 248-263.
|
| |
Scientific Engineering of Distributed Java Applications (2005), pp. 24-37.
|
| |
Innovations in Systems and Software Engineering, Vol. 1, No. 2. (2005), pp. 125-146.
|
| |
Integrated Formal Methods (2005), pp. 109-128.
|
| |
Communicating Sequential Processes (2005), pp. 293-320.
|
| |
: UML Modeling Languages and Applications (2005), pp. 1-12.
|
| |
Model Driven Engineering Languages and Systems (2005), pp. 661-675.
|
| |
Lecture Notes in Computer Science : SDL 2005: Model Driven Systems Design (2005), pp. 339-359.
|
| |
Formal Methods in Software and Systems Modeling (2005), pp. 101-115.
|
| |
|
| |
Software Engineering, IEEE Transactions on, Vol. 31, No. 4. (2005), pp. 328-339.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the REFINE 2005 Workshop (REFINE 2005), Vol. 137, No. 2. (21 July 2005), pp. 23-44.
|
| |
Requirements Engineering, Vol. 10, No. 2. (1 May 2005), pp. 161-172.
|
| |
Mathematical Structures in Computer Science, Vol. 15, No. 04. (2005), pp. 773-819.
|
| |
Software Architecture, 2005. WICSA 2005. 5th Working IEEE/IFIP Conference on In Software Architecture, 2005. WICSA 2005. 5th Working IEEE/IFIP Conference on (2005), pp. 109-120.
|
| |
In ASE '05: Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering (2005), pp. 372-375.
|
| |
PLoS Comput Biol, Vol. 1, No. 5. (28 October 2005), e57.
|
| |
SIGMETRICS Perform. Eval. Rev., Vol. 32, No. 4. (March 2005), pp. 28-33.
|
CiteULike
leonardo's CiteULike
Search
