| |
|
| |
Theor. Comput. Sci., Vol. 354, No. 1. (21 March 2006), pp. 153-168.
|
| |
In Proceeding of the 28th international conference (2006), pp. 1051-1052.
|
| |
Satellite Events at the MoDELS 2005 Conference (2006), pp. 139-150.
|
| |
In ACSC '06: Proceedings of the 29th Australasian Computer Science Conference (2006), pp. 13-23.
|
| |
IBM Syst. J., Vol. 45, No. 3. (2006), pp. 481-500.
|
| |
In Proceedings of the Second International Workshop on Graph and Model Transformation, Brighton, United Kingdom, Vol. 4 (2006)
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 152 (27 March 2006), pp. 3-22.
|
| |
IBM Systems Journal, Vol. 45, No. 3. (2006), pp. 515-526.
|
| |
IBM Systems Journal, Vol. 45, No. 3. (2006), pp. 621-646.
|
| |
In GPCE '06: Proceedings of the 5th international conference on Generative programming and component engineering (2006), pp. 221-236.
by Gary T. Leavens, Jean R. Abrial, Don Batory, et al.Michael Butler, Alessandro Coglio, Kathi Fisler, Eric Hehner, Cliff Jones, Dale Miller, Simon P. Jones, Murali Sitaraman, Douglas R. Smith, Aaron Stump
|
| |
J. Integr. Des. Process Sci., Vol. 10, No. 1. (2006), pp. 1-15.
|
| |
Leveraging Applications of Formal Methods, Verification and Validation, 2006. ISoLA 2006. Second International Symposium on In Leveraging Applications of Formal Methods, Verification and Validation, 2006. ISoLA 2006. Second International Symposium on (2006), pp. 449-457.
|
| |
Rules and Rule Markup Languages for the Semantic Web, Second International Conference on In Rules and Rule Markup Languages for the Semantic Web, Second International Conference on (2006), pp. 29-38.
|
| |
Requir. Eng., Vol. 11, No. 4. (2006), pp. 295-307.
|
| |
Automated Software Engineering, 2006. ASE '06. 21st IEEE/ACM International Conference on In Automated Software Engineering, 2006. ASE '06. 21st IEEE/ACM International Conference on (2006), pp. 91-102.
|
| |
Software Maintenance and Reengineering, 2006. CSMR 2006. Proceedings of the 10th European Conference on In Software Maintenance and Reengineering, 2006. CSMR 2006. Proceedings of the 10th European Conference on, Vol. 00 (2006), 10 pp..
|
| |
In SIGSOFT '06/FSE-14: Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering (2006), pp. 276-286.
|
| |
Algebraic Methodology and Software Technology (2006), pp. 189-203.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the School of SegraVis Research Training Network on Foundations of Visual Modelling Techniques (FoVMT 2004), Vol. 148, No. 1. (1 February 2006), pp. 173-186.
|
| |
Commun. ACM, Vol. 49, No. 4. (April 2006), pp. 59-61.
|
| |
Fundamental Approaches to Software Engineering (2006), pp. 230-246.
|
| |
Computer-Aided Control Systems Design, 2006 IEEE International Symposium on In Computer-Aided Control Systems Design, 2006 IEEE International Symposium on (2006), pp. 422-427.
|
| |
|
| |
FM 2006: Formal Methods (2006), pp. 252-267.
|
| |
J. UCS, Vol. 12, No. 7. (2006), pp. 922-937.
|
| |
IEICE - Trans. Inf. Syst., Vol. E89-D, No. 4. (2006), pp. 1459-1469.
|
| |
|
| |
|
| |
|
| |
|
| |
Graph Transformations (2006), pp. 61-76.
|
| |
In ROSATEA '06: Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis (2006), pp. 70-80.
|
| |
Software Engineering Conference, 2006. APSEC 2006. 13th Asia Pacific In Software Engineering Conference, 2006. APSEC 2006. 13th Asia Pacific (2006), pp. 233-242.
|
| |
Unifying Theories of Programming (2006), pp. 101-122.
|
| |
Unifying Theories of Programming (2006), pp. 38-62.
|
| |
Formal Methods and Hybrid Real-Time Systems (2007), pp. 24-44.
|
| |
In ICSE '06: Proceedings of the 28th international conference on Software engineering (2006), pp. 312-320.
|
| |
Model Driven Architecture – Foundations and Applications (2006), pp. 143-157.
|
| |
Model Driven Architecture – Foundations and Applications (2006), pp. 25-39.
|
| |
Model Driven Architecture – Foundations and Applications (2006), pp. 331-345.
|
| |
Software and Systems Modeling, Vol. 5, No. 2. (15 June 2006), pp. 136-169.
|
| |
Agent Technology from a Formal Perspective (2006), pp. 65-96.
|
| |
Agent Technology from a Formal Perspective (2006), pp. 25-64.
|
| |
Agent Technology from a Formal Perspective (2006), pp. 3-24.
|
| |
Agent Technology from a Formal Perspective (2006), pp. 311-339.
|
| |
Model Driven Engineering Languages and Systems (2006), pp. 215-229.
|
| |
Model Driven Architecture – Foundations and Applications (2006), pp. 268-283.
|
| |
PLoS Computational Biology, Vol. 2, No. 9. (1 September 2006), e110.
|
| |
Innovations in Systems and Software Engineering, Vol. 2, No. 3. (15 December 2006), pp. 113-119.
|
CiteULike
leonardo's CiteULike
Search
