| |
Formal Methods and Software Engineering (2009), pp. 347-366.
|
| |
In EA '09: Proceedings of the 2009 ICSE Workshop on Aspect-Oriented Requirements Engineering and Architecture Design (2009), pp. 25-30.
by Harold Ossher, David Amid, Ateret A. Tavor, et al.Rachel Bellamy, Matt Callery, Michael Desmond, Jackie De Vries, Amit Fisher, Sophia Krasikov, Ian Simmonds, Cal Swart
|
| |
|
| |
|
| |
Science of Computer Programming, Vol. 20, No. 1-2. (April 1993), pp. 3-50.
|
| |
|
| |
|
| |
On the Move to Meaningful Internet Systems: OTM 2009 Workshops, Vol. 5872 (2009), pp. 370-380.
edited by David Hutchison, Takeo Kanade, Josef Kittler, et al.Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Robert Meersman, Pilar Herrero, Tharam Dillon
|
| |
Formal Methods: Foundations and Applications (2009), pp. 204-219.
|
| |
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.
|
CiteULike
leonardo's CiteULike
Search
