| |
Software Engineering and Formal Methods, 2007. SEFM 2007. Fifth IEEE International Conference on (15 October 2007), pp. 371-380.
|
| |
|
| |
Models in Software Engineering (2007), pp. 193-204.
|
| |
Journal of Object Technology, Vol. 6, No. 9. (2007), pp. 35-51.
|
| |
Software Engineering Advances, 2007. ICSEA 2007. International Conference on In Software Engineering Advances, 2007. ICSEA 2007. International Conference on (2007), pp. 58-58.
|
| |
Conceptual Modeling of Information Systems In Conceptual Modeling of Information Systems (2007), pp. 325-335.
|
| |
Conceptual Modeling of Information Systems (2007), pp. 299-323.
|
| |
Oikos, Vol. 116, No. 5. (May 2007), pp. 723-727.
|
| |
Information and Computation, Vol. 205, No. 5. (May 2007), pp. 733-782.
|
| |
10th Brazilian Symposium on Formal Methods (SBMF) (2007), pp. 22-37.
|
| |
Commun. ACM, Vol. 50, No. 4. (April 2007), pp. 36-42.
|
| |
Software Engineering, 2007. ICSE 2007. 29th International Conference on (2007), pp. 54-64.
|
| |
International Journal of Software Engineering and Knowledge Engineering, Vol. 17, No. 06. (2007), 709.
|
| |
Integrated Formal Methods (2007), pp. 138-155.
|
| |
IEEE Software, Vol. 24, No. 5. (2007), pp. 18-20.
|
| |
Empirical Software Engineering and Measurement, 2007. ESEM 2007. First International Symposium on In Empirical Software Engineering and Measurement, 2007. ESEM 2007. First International Symposium on (2007), pp. 479-481.
|
| |
No. EBSE 2007-001. (2007)
|
| |
Domain Modeling and the Duration Calculus (2007), pp. 177-235.
|
| |
Software Architecture (2007), pp. 123-138.
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 185 (13 July 2007), pp. 77-91.
|
| |
|
| |
In ECBS '07: Proceedings of the 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (2007), pp. 495-502.
|
| |
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 (2007), pp. 1-3.
|
| |
|
| |
Ubiquity, Vol. 2007, No. January. (2007), pp. 1-1.
|
| |
qsic, Vol. 0 (2007), pp. 356-362.
|
| |
In SAVCBS '07: Proceedings of the 2007 conference on Specification and verification of component-based systems (2007), pp. 95-98.
|
| |
IEEE Transactions on Software Engineering In Software Engineering, IEEE Transactions on, Vol. 33, No. 9. (2007), pp. 592-607.
|
| |
Enterprise Distributed Object Computing Conference, 2007. EDOC 2007. 11th IEEE International In Enterprise Distributed Object Computing Conference, 2007. EDOC 2007. 11th IEEE International (2007), pp. 459-459.
|
| |
Software Engineering - Companion, 2007. ICSE 2007 Companion. 29th International Conference on In Software Engineering - Companion, 2007. ICSE 2007 Companion. 29th International Conference on (2007), pp. 170-171.
|
| |
Models in Software Engineering (2007), pp. 42-51.
|
| |
|
| |
Science of Computer Programming, Vol. 64, No. 3. (1 February 2007), pp. 332-340.
|
| |
Journal of Logic and Algebraic Programming In Foundations of Software Science and Computation Structures 2006 (FOSSACS 2006), Vol. 73, No. 1-2. ( 2007), pp. 70-96.
|
| |
|
| |
In JIISIC (2007), pp. 237-246.
|
| |
|
| |
Fundam. Inform., Vol. 77, No. 1-2. (2007), pp. 143-174.
|
| |
In VLHCC '07: Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (2007)
|
| |
In VLHCC '07: Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (2007)
|
| |
In VLHCC '07: Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (2007), pp. 171-174.
|
| |
In VLHCC '07: Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (2007), pp. 163-170.
|
| |
In VLHCC '07: Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (2007), pp. 183-188.
|
| |
Visual Languages and Human-Centric Computing, 2007. VL/HCC 2007. IEEE Symposium on In Visual Languages and Human-Centric Computing, 2007. VL/HCC 2007. IEEE Symposium on (2007), pp. 33-40.
|
| |
In VLHCC '07: Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (2007), pp. 153-156.
|
| |
Static Analysis (2007), pp. 1-17.
|
| |
Asian Test Symposium, 2007. ATS '07. 16th In Asian Test Symposium, 2007. ATS '07. 16th (2007), pp. 155-158.
|
| |
Trends in Enterprise Application Architecture (2007), pp. 158-171.
|
| |
|
CiteULike
leonardo's CiteULike
Search
