| |
Requirements Engineering: Foundation for Software Quality (2009), pp. 233-239.
|
| |
Journal of Systems and Software (17 November 2008)
|
| |
Innovations in Systems and Software Engineering, Vol. 5, No. 1. (March 2009), pp. 65-78.
|
| |
Design Requirements Engineering: A Ten-Year Perspective (2009), pp. 11-43.
|
| |
Innovations in Systems and Software Engineering, Vol. 5, No. 1. (March 2009), pp. 27-34.
|
| |
IEEE Softw., Vol. 17, No. 3. (May 2000), pp. 37-43.
|
| |
Software and Systems Modeling (SoSyM) (August 2004), pp. 235-253.
|
| |
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.
|
| |
Software, IEEE In Software, IEEE, Vol. 25, No. 6. (2008), pp. 26-28.
|
| |
Requir. Eng., Vol. 11, No. 4. (2006), pp. 295-307.
|
| |
Software & Systems Modeling, Vol. 7, No. 3. (30 June 2008), pp. 303-328.
|
| |
Software, IEEE In Software, IEEE, Vol. 25, No. 4. (2008), pp. 16-17.
|
| |
|
| |
Model Driven Architecture – Foundations and Applications (2008), pp. 310-325.
|
| |
Electrical and Computer Engineering, 2005. Canadian Conference on (2005), pp. 916-919.
|
| |
In IWSSD '89: Proceedings of the 5th international workshop on Software specification and design (1989), pp. 100-103.
|
| |
Wuhan University Journal of Natural Sciences, Vol. 11, No. 2. (12 February 2006), pp. 346-350.
|
| |
|
| |
Innovations in Systems and Software Engineering, Vol. 4, No. 1. (1 April 2008), pp. 45-70.
|
| |
Scenarios and State Machines, 2007. SCESM '07: ICSE Workshops 2007. Sixth International Workshop on In Scenarios and State Machines, 2007. SCESM '07: ICSE Workshops 2007. Sixth International Workshop on (2007), pp. 1-1.
|
| |
Early Aspects: Current Challenges and Future Directions (2007), pp. 1-18.
|
| |
Software Quality Journal, Vol. 12, No. 3. (2004), pp. 231-264.
|
| |
Web Information Systems Engineering – WISE 2007 Workshops (2007), pp. 248-259.
|
| |
Advances in Conceptual Modeling – Foundations and Applications (2007), pp. 224-224.
|
| |
Rigorous Development of Complex Fault-Tolerant Systems (2006), pp. 210-225.
|
| |
Requirements Engineering, Vol. 12, No. 2. (April 2007), pp. 77-102.
|
| |
International Journal on Software Tools for Technology Transfer (STTT) (2007)
|
| |
Future of Software Engineering, 2007. FOSE '07 In Future of Software Engineering, 2007. FOSE '07 (2007), pp. 285-303.
|
| |
Software, IET In Software, IET, Vol. 1, No. 1. (2007), pp. 29-36.
|
| |
Requirements Engineering, Vol. 12, No. 4. (9 October 2007), pp. 245-264.
|
| |
: Formal Methods in Software and Systems Modeling (2005), pp. 309-324.
|
| |
Lecture Notes in Computer Science : Advanced Information Systems Engineering (2006), pp. 513-527.
|
| |
No. TUCS-TR-279. (FebruaryJuly 1999)
|
| |
Software Engineering Conference, 2004. Proceedings. 2004 Australian (2004), pp. 329-338.
|
| |
Software, IEEE, Vol. 23, No. 1. (2006), pp. 61-70.
|
| |
Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings. First ACM and IEEE International Conference on (2003), pp. 24-33.
|
| |
Engineering of Computer-Based Systems,1996. Proceedings., IEEE Symposium and Workshop on (1996), pp. 300-307.
|
| |
Requirements Engineering, 1996., Proceedings of the Second International Conference on (1996), pp. 86-93.
|
| |
Software Specification and Design, 1991., Proceedings of the Sixth International Workshop on (1991), pp. 31-41.
|
| |
Engineering of Complex Computer Systems, 1996. Proceedings., Second IEEE International Conference on (1996), pp. 293-296.
|
| |
Software Engineering Environments, Eighth Conference on (1997), pp. 131-144.
|
| |
Requirements Engineering, Vol. V7, No. 4. (1 December 2002), pp. 243-263.
|
| |
Requirements Engineering, Vol. V4, No. 1. (12 May 1999), pp. 19-37.
|
| |
Software and Systems Modeling, Vol. V4, No. 4. (17 November 2005), pp. 399-423.
|
| |
In FMOODS '02: Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V (2002), pp. 29-43.
|
| |
In Fourth International Conference on Formal methods for open object-based distributed systems IV (2000), pp. 121-140.
|
| |
In ISSTA '98: Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis, Vol. 23, No. 2. (March 1998), pp. 102-112.
|
| |
In ICSE '00: Proceedings of the 22nd international conference on Software engineering (2000), pp. 314-323.
|
| |
Journal of Systems and Software, Vol. 62, No. 3. (15 June 2002), pp. 141-159.
|
| |
SIGSOFT Softw. Eng. Notes, Vol. 21, No. 6. (November 1996), pp. 179-190.
|
CiteULike
leonardo's CiteULike
Search
Export
