| |
FM 2009: Formal Methods (2009), pp. 89-105.
|
| |
FM 2009: Formal Methods (2009), pp. 579-595.
|
| |
FM 2009: Formal Methods (2009), pp. 757-772.
|
| |
FM 2009: Formal Methods (2009), pp. 483-498.
|
| |
Advances in Enterprise Engineering II (2009), pp. 134-154.
|
| |
In SAC '09: Proceedings of the 2009 ACM symposium on Applied Computing (2009), pp. 285-286.
|
| |
Transactions on Aspect-Oriented Software Development VI (2009), pp. 39-82.
|
| |
Science of Computer Programming (18 October 2009)
|
| |
Oikos, Vol. 116, No. 5. (May 2007), pp. 723-727.
|
| |
Commun. ACM, Vol. 52, No. 11. (2009), pp. 60-67.
by Mitchel Resnick, John Maloney, Andrés M. Hernández, et al.Natalie Rusk, Evelyn Eastmond, Karen Brennan, Amon Millner, Eric Rosenbaum, Jay Silver, Brian Silverman, Yasmin Kafai
|
| |
|
| |
|
| |
Software Engineering and Formal Methods, 2007. SEFM 2007. Fifth IEEE International Conference on (15 October 2007), pp. 371-380.
|
| |
Theoretical Computer Science (08 October 2009)
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 254 (28 October 2009), pp. 143-160.
|
| |
Software and Systems Modeling
|
| |
|
| |
|
| |
Automated Technology for Verification and Analysis (2009), pp. 21-21.
|
| |
In the 2009 ACM symposium (2009), pp. 1867-1872.
|
| |
Theoretical Aspects of Software Engineering, Joint IEEE/IFIP Symposium on, Vol. 0 (2009), pp. 55-62.
|
| |
Formal Methods and Software Engineering (2008), pp. 278-297.
|
| |
Security Protocols, Vol. 5087 (2009), pp. 52-58.
|
| |
Availability, Reliability and Security, 2008. ARES 08. Third International Conference on (23 May 2008), pp. 1421-1428.
|
| |
In CASCON '06: Proceedings of the 2006 conference of the Center for Advanced Studies on Collaborative research (2006), 25.
|
| |
Integrated Formal Methods (2009), pp. 40-55.
|
| |
Advanced Information Systems Engineering In CAiSE '09: Proceedings of the 21st International Conference on Advanced Information Systems Engineering, Vol. 5565 (2009), pp. 125-140.
|
| |
In PEPM '08: Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (2008), pp. 51-60.
|
| |
In PLPV '09: Proceedings of the 3rd workshop on Programming languages meets program verification (2008), pp. 67-72.
|
| |
Innovations in Systems and Software Engineering, Vol. 4, No. 3. (1 September 2008), pp. 267-274.
|
| |
Innovations in Systems and Software Engineering, Vol. 4, No. 3. (1 September 2008), pp. 249-257.
|
| |
Molecular Cell, Vol. 35, No. 6. (24 September 2009), pp. 726-728.
|
| |
|
| |
|
| |
|
| |
ACM Comput. Surv., Vol. 41, No. 4. (2009), pp. 1-8.
|
| |
ACM Comput. Surv., Vol. 41, No. 4. (2009), pp. 1-54.
|
| |
ACM Comput. Surv., Vol. 41, No. 4. (2009), pp. 1-36.
|
| |
Journal of Object Technology, Vol. 8, No. 6. (September 2009), pp. 121-126.
|
| |
|
| |
Models in Software Engineering (2009), pp. 35-47.
|
| |
Software Evolution (2008), pp. 1-11.
|
| |
Reverse Engineering, 2003. WCRE 2003. Proceedings. 10th Working Conference on (19 April 2004), pp. 369-370.
|
| |
Reverse Engineering, Working Conference on, Vol. 0 (2003), 369.
|
| |
International Journal of Software Engineering and Knowledge Engineering, Vol. 5, No. 1. (1995), pp. 25-47.
|
| |
In WCCCE '09: Proceedings of the 14th Western Canadian Conference on Computing Education (2009), pp. 109-115.
|
| |
|
| |
Model Driven Engineering Languages and Systems (2009), pp. 241-255.
|
| |
Model Driven Engineering Languages and Systems (2009), pp. 670-684.
|
| |
Model Driven Engineering Languages and Systems (2009), pp. 628-643.
|
CiteULike
leonardo's CiteULike
Search
