| |
Computer, Vol. 42, No. 9. (September 2009), pp. 30-36.
|
| |
|
| |
|
| |
|
| |
|
| |
In ICSE '87: Proceedings of the 9th international conference on Software Engineering (1987), pp. 328-338.
|
| |
Commun. ACM, Vol. 40, No. 5. (May 1997), pp. 80-91.
|
| |
In NSPW '03: Proceedings of the 2003 workshop on New security paradigms (2003), pp. 49-57.
|
| |
Software and Systems Modeling, Vol. 8, No. 4. (1 September 2009), pp. 447-449.
|
| |
Software and Systems Modeling, Vol. 8, No. 4. (1 September 2009), pp. 551-566.
by Jonathan Sprinkle, J. Eklund, Humberto Gonzalez, et al.Esten Grøtli, Ben Upcroft, Alex Makarenko, Will Uther, Michael Moser, Robert Fitch, Hugh Durrant-Whyte, S. Sastry
|
| |
Software Engineering - Companion Volume, 2009. ICSE-Companion 2009. 31st International Conference on In Software Engineering - Companion Volume, 2009. ICSE-Companion 2009. 31st International Conference on (2009), pp. 255-258.
|
| |
Knowledge Representation and Reasoning Under Uncertainty (1994), pp. 123-129.
|
| |
Future of Software Engineering, 2007. FOSE '07 In FOSE '07: 2007 Future of Software Engineering (2007), pp. 214-225.
|
| |
Fundamental Approaches to Software Engineering (2007), pp. 125-139.
|
| |
ACM Trans. Softw. Eng. Methodol., Vol. 6, No. 3. (July 1997), pp. 213-249.
|
| |
In SIGSOFT '95: Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering (1995), pp. 18-28.
|
| |
Software Engineering, IEEE Transactions on In Software Engineering, IEEE Transactions on, Vol. 27, No. 4. (April 2001), pp. 364-380.
|
| |
Software Specification and Design, 1996., Proceedings of the 8th International Workshop on In Software Specification and Design, 1996., Proceedings of the 8th International Workshop on (1996), pp. 16-25.
|
| |
Software Architecture, 2005. WICSA 2005. 5th Working IEEE/IFIP Conference on In Software Architecture, 2005. WICSA 2005. 5th Working IEEE/IFIP Conference on (2005), pp. 109-120.
|
| |
Ubiquity, Vol. 2006, No. June., pp. 2-2.
|
| |
SIGCSE Bull., Vol. 40, No. 2. (2008), pp. 40-43.
|
| |
SIGCSE Bull., Vol. 38, No. 1. (2006), pp. 403-407.
|
| |
IEEE Software In Software, IEEE, Vol. 26, No. 4. (2009), pp. 96-96.
|
| |
|
| |
Computer In Computer, Vol. 25, No. 3. (March 1992), pp. 38-49.
|
| |
In ICSE '94: Proceedings of the 16th international conference on Software engineering (1994), pp. 253-263.
|
| |
Software Engineering, IEEE Transactions on In Software Engineering, IEEE Transactions on, Vol. 21, No. 4. (1995), pp. 336-354.
|
| |
In ICSE '94: Proceedings of the 16th international conference on Software engineering (1994), pp. 81-90.
|
| |
Commun. ACM, Vol. 45, No. 10. (October 2002), pp. 45-52.
|
| |
Software, IEEE In Software, IEEE, Vol. 13, No. 6. (1996), pp. 47-55.
|
| |
Switching Symposium, 1990. XIII International In Switching Symposium, 1990. XIII International, Vol. 2 (1990), pp. 97-106.
|
| |
Software Engineering, IEEE Transactions on In Software Engineering, IEEE Transactions on, Vol. 21, No. 4. (1995), pp. 302-313.
|
| |
|
| |
In ICSE '09: Proceedings of the 2009 IEEE 31st International Conference on Software Engineering (2009), pp. 342-352.
|
| |
In ISEC '09: Proceeding of the 2nd annual conference on India software engineering conference (2009), pp. 95-100.
|
| |
IEEE Software In Software, IEEE, Vol. 1, No. 2. (April 1984), pp. 5-16.
|
| |
Information Processing Letters, Vol. 41, No. 1. (21 January 1992), pp. 9-12.
|
| |
Information Processing Letters, Vol. 35, No. 1. (15 June 1990), pp. 19-22.
|
| |
|
| |
|
| |
Sci. Am., Vol. 253, No. 6. (1985), pp. 46-53.
|
| |
|
| |
Queue, Vol. 4, No. 1. (2006), pp. 44-50.
|
| |
Commun. ACM, Vol. 52, No. 7. (2009), pp. 76-84.
|
| |
Computer, Vol. 42, No. 7. (2009), pp. 26-32.
|
| |
|
| |
|
| |
|
| |
ACM Trans. Softw. Eng. Methodol., Vol. 14, No. 4. (October 2005), pp. 431-477.
|
| |
IEEE Software, Vol. 26, No. 4. (2009), pp. 7-8.
|