| |
FM 2009: Formal Methods (2009), pp. 579-595.
|
| |
|
| |
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.
|
| |
|
| |
Next Generation Information Technologies and Systems (2009), pp. 26-37.
|
| |
Software Engineering Research, Management and Applications, 2005. Third ACIS International Conference on (27 December 2005), pp. 112-119.
|
| |
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
|
| |
Fundamental Approaches to Software Engineering (2008), pp. 377-391.
|
| |
Symbolic and Numeric Algorithms for Scientific Computing, 2008. SYNASC '08. 10th International Symposium on In 2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), Vol. 0 (18 September 2008), pp. 340-347.
|
| |
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 & Systems Modeling (2009)
|
| |
Journal of Systems Architecture (15 August 2009)
|
| |
Journal of Systems and Software, Vol. 82, No. 9. (17 September 2009), pp. 1459-1478.
|
| |
Computer Security - ESORICS 2008 (2008), pp. 300-316.
|
| |
Software Engineering Advances, 2007. ICSEA 2007. International Conference on In Software Engineering Advances, 2007. ICSEA 2007. International Conference on (2007), pp. 58-58.
|
| |
Empirical Software Engineering, Vol. 14, No. 6. (17 February 2009), pp. 685-719.
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 211 (28 April 2008), pp. 261-269.
|
| |
«UML» 2000 — The Unified Modeling Language (2000), pp. 323-337.
|
| |
|
| |
TENCON 2008 - 2008, TENCON 2008. IEEE Region 10 Conference In TENCON 2008 - 2008, TENCON 2008. IEEE Region 10 Conference (2008), pp. 1-6.
|
| |
Software and Systems Modeling (2009)
|
| |
Parallel and Distributed Computing, 2008. ISPDC '08. International Symposium on In Parallel and Distributed Computing, 2008. ISPDC '08. International Symposium on (2008), pp. 459-463.
|
| |
In ACSC '04: Proceedings of the 27th Australasian conference on Computer science (2004), pp. 83-88.
|
| |
Software Testing, Verification, and Validation, 2008 1st International Conference on In Software Testing, Verification, and Validation, 2008 1st International Conference on (2008), pp. 529-532.
|
| |
Chilean Computer Science Society, 2008. SCCC '08. International Conference of the In 2008 International Conference of the Chilean Computer Science Society (SCCC) (November 2008), pp. 32-41.
|
| |
Software & Systems Modeling
|
| |
Software and Systems Modeling (2009)
|
| |
Electronic Notes in Theoretical Computer Science In Workshop on Software Model Checking (in connection with CAV '01), Vol. 55, No. 3. (October 2001), pp. 357-369.
|
| |
Formal Methods and Software Engineering (2004), pp. 418-433.
|
| |
Applications of Graph Transformations with Industrial Relevance (2008), pp. 540-565.
by Dániel Varró, Márk Asztalos, Dénes Bisztray, et al.Artur Boronat, Duc-Hanh Dang, Rubino Geiß, Joel Greenyer, Pieter Van Gorp, Ole Kniemeyer, Anantha Narayanan, Edgars Rencis, Erhard Weinell
|
| |
Theoretical Aspects of Software Engineering, 2008. TASE '08. 2nd IFIP/IEEE International Symposium on In Theoretical Aspects of Software Engineering, 2008. TASE '08. 2nd IFIP/IEEE International Symposium on (2008), pp. 125-128.
|
| |
Automated Software Engineering, 2008. ASE 2008. 23rd IEEE/ACM International Conference on In Automated Software Engineering, 2008. ASE 2008. 23rd IEEE/ACM International Conference on (07 October 2008), pp. 99-108.
|
| |
Software Testing, Verification and Reliability, Vol. 18, No. 3. (2008), pp. 189-190.
|
| |
Software Process and Product Measurement (2008), pp. 129-138.
|
| |
Automated Software Engineering, 2002. Proceedings. ASE 2002. 17th IEEE International Conference on In Automated Software Engineering, 2002. Proceedings. ASE 2002. 17th IEEE International Conference on (2002), pp. 267-270.
|
| |
Formal Methods and Software Engineering (2008), pp. 375-396.
|
| |
Formal Methods and Software Engineering (2008), pp. 45-65.
|
| |
Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, 2008. SNPD '08. Ninth ACIS International Conference on In Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, 2008. SNPD '08. Ninth ACIS International Conference on (2008), pp. 867-872.
|
| |
Software Technologies for Embedded and Ubiquitous Systems (2008), pp. 1-8.
|
| |
In Electronic Workshops in Computing: Rigorous Object-Oriented Methods 2000, series ed. C J van Rijsbergen, British Computer Society, Vol. 2000 (2000), pp. 8-1.
|
| |
Model Driven Engineering Languages and Systems (2008), pp. 264-279.
|
| |
Model Driven Engineering Languages and Systems (2008), pp. 675-689.
|
| |
Software & Systems Modeling, Vol. 8, No. 3. (28 August 2008), pp. 403-422.
|
| |
Theoretical Aspects of Computing - ICTAC 2008 (2008), pp. 305-318.
|
| |
Innovations in Systems and Software Engineering, Vol. 4, No. 3. (1 Oct 2008), pp. 293-300.
|
| |
|
| |
qsic, Vol. 0 (2007), pp. 356-362.
|
| |
Secure System Integration and Reliability Improvement, 2008. SSIRI '08. Second International Conference on In Secure System Integration and Reliability Improvement, 2008. SSIRI '08. Second International Conference on (2008), pp. 47-51.
|
| |
ISSE, Vol. 4, No. 3. (1 October 2008), pp. 185-187.
|
CiteULike
leonardo's CiteULike
Search
