| |
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.
|
| |
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
|
| |
Theoretical Computer Science (08 October 2009)
|
| |
Software and Systems Modeling
|
| |
|
| |
Automated Technology for Verification and Analysis (2009), pp. 21-21.
|
| |
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 PLPV '09: Proceedings of the 3rd workshop on Programming languages meets program verification (2008), pp. 67-72.
|
| |
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.
|
| |
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. 107-121.
|
| |
Model Driven Engineering Languages and Systems (2009), pp. 748-752.
|
| |
Algebra and Coalgebra in Computer Science (2009), pp. 367-382.
|
| |
Computer Aided Systems Theory - EUROCAST 2009 (2009), pp. 865-872.
|
| |
Model Driven Engineering Languages and Systems (2009), pp. 586-590.
|
| |
Next Generation Information Technologies and Systems (2009), pp. 26-37.
|
| |
SDL 2009: Design for Motes and Mobiles, Vol. 5719 (2009), pp. 133-148.
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, Rick Reed, Attila Bilgic, Reinhard Gotzhein
|
| |
|
| |
Innovations in Systems and Software Engineering (2009)
|
| |
Commun. ACM, Vol. 52, No. 10. (2009), pp. 30-32.
|
| |
Formal Foundations of Reuse and Domain Engineering (2009), pp. 201-210.
|
| |
Theory and Practice of Model Transformations (2009), pp. 67-82.
|
| |
Theory and Practice of Model Transformations In ICMT '09: Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations (2009), pp. 83-99.
|
| |
Semantics and Algebraic Specification (2009), pp. 227-249.
|
| |
Semantics and Algebraic Specification (2009), pp. 140-161.
|
| |
Software & Systems Modeling (2009)
|
| |
Commun. ACM, Vol. 52, No. 4. (2009), pp. 78-88.
|
| |
Annals of Mathematics and Artificial Intelligence (2009)
|
| |
In ICDT '09: Proceedings of the 12th International Conference on Database Theory (2009), pp. 1-13.
|
| |
ECOOP 2009 – Object-Oriented Programming (2009), pp. 369-393.
|
| |
|
| |
Implementation and Application of Automata In CIAA '09: Proceedings of the 14th International Conference on Implementation and Application of Automata, Vol. 5642 (2009), pp. 258-261.
|
| |
Requirements Engineering: Foundation for Software Quality (2009), pp. 233-239.
|
| |
Vol. 5600 (11 August 2009)
|
| |
Computer Methods and Programs in Biomedicine (28 July 2009)
|
| |
Journal of Systems and Software (15 August 2009)
|
| |
Journal of Systems Architecture (15 August 2009)
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 250, No. 1. (01 September 2009), pp. 71-86.
|
| |
Software Engineering, IEEE Transactions on In Software Engineering, IEEE Transactions on, Vol. 35, No. 2. (2009), pp. 274-292.
|
| |
Advance Computing Conference, 2009. IACC 2009. IEEE International In Advance Computing Conference, 2009. IACC 2009. IEEE International (2009), pp. 1556-1561.
|
| |
Software Engineering, IEEE Transactions on In Software Engineering, IEEE Transactions on, Vol. PP, No. 99. (2009), pp. 1-1.
|
CiteULike
leonardo's CiteULike
Search
Export
