| |
Fundamental Approaches to Software Engineering (2007), pp. 87-101.
|
| |
Fuzzy Systems and Knowledge Discovery (2006), pp. 434-437.
|
| |
|
| |
|
| |
Algebra and Coalgebra in Computer Science (2009), pp. 367-382.
|
| |
Acta Informatica, Vol. 38, No. 4. (1 January 2002), pp. 235-259.
|
| |
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.
|
| |
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.
|
| |
|
| |
Innovations in Systems and Software Engineering, Vol. 5, No. 4. (1 December 2009), pp. 255-264.
|
| |
IEEE Transactions on Software Engineering, Vol. 16, No. 4. (1990), pp. 403-414.
|
| |
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.
|
| |
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.
|
| |
Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on In Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, Vol. 8, No. 7. (1989), pp. 798-807.
|
| |
Reliable Software Technologies – Ada-Europe 2009 (2009), pp. 149-163.
|
| |
Models in Software Engineering, Vol. 5421 (2009), pp. 109-119.
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, Michel R. Chaudron
|
| |
Computer Science and Computational Technology, 2008. ISCSCT '08. International Symposium on In Computer Science and Computational Technology, 2008. ISCSCT '08. International Symposium on, Vol. 2 (2008), pp. 750-753.
|
| |
In ACE '08: Proceedings of the 2008 International Conference on Advances in Computer Entertainment Technology (2008), pp. 219-222.
|
| |
In Software Engineering Research and Practice (2005), pp. 361-367.
|
| |
In ISEC '09: Proceeding of the 2nd annual conference on India software engineering conference (2009), pp. 27-36.
|
| |
Commun. ACM, Vol. 52, No. 3. (2009), pp. 67-75.
|
| |
Software Engineering, 2000. Proceedings of the 2000 International Conference on (2000), pp. 314-323.
|
| |
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.
|
| |
Real-Time: Theory in Practice (1992), pp. 291-314.
|
| |
Industrial Electronics, Control, and Instrumentation, 1993. Proceedings of the IECON '93., International Conference on In Industrial Electronics, Control, and Instrumentation, 1993. Proceedings of the IECON '93., International Conference on (1993), pp. 138-143 vol.1.
|
| |
ACM Trans. Softw. Eng. Methodol., Vol. 11, No. 1. (2002), pp. 92-148.
|
| |
|
| |
Conceptual Modeling of Information Systems In Conceptual Modeling of Information Systems (2007), pp. 325-335.
|
| |
Conceptual Modeling of Information Systems (2007), pp. 299-323.
|
| |
Object-Oriented Methodologies and Systems (1994), pp. 142-157.
|
| |
In ACSC '06: Proceedings of the 29th Australasian Computer Science Conference (2006), pp. 13-23.
|
| |
«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.
|
| |
Computer Aided Verification (2004), pp. 466-469.
|
| |
International Journal of Production Research, Vol. 36, No. 11. (1 November 1998), pp. 3183-3215.
|
| |
Software Engineering, 2004. ICSE 2004. Proceedings. 26th International Conference on In Software Engineering, 2004. ICSE 2004. Proceedings. 26th International Conference on (2004), pp. 86-95.
|
| |
Software Engineering, 2007. ICSE 2007. 29th International Conference on (2007), pp. 54-64.
|
| |
In ICSE '99: Proceedings of the 21st international conference on Software engineering (1999), pp. 142-151.
|
| |
International Journal of Software Engineering and Knowledge Engineering, Vol. 18, No. 06. (2008), 785.
|
| |
Young Computer Scientists, 2008. ICYCS 2008. The 9th International Conference for In Young Computer Scientists, 2008. ICYCS 2008. The 9th International Conference for (2008), pp. 1217-1222.
|
| |
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.
|
| |
Correct Hardware Design and Verification Methods: 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME '99, Bad Herrenalb, Germany, September 1999. Proceedings (1999), pp. 705-705.
|
| |
Program Comprehension, 2004. Proceedings. 12th IEEE International Workshop on In Program Comprehension, 2004. Proceedings. 12th IEEE International Workshop on (2004), pp. 46-51.
|
Search
