Springer, 2004.
L. de Alfaro and T. A. Henzinger. Interface automata. In Proceedings of the 8th
European Software Engineering Conference / 9th ACM SIGSOFT International
Symposium on Foundations of Software Engineering, volume 26(5) of ACM
SIGSOFT Software Engineering Notes, pages 109??“120. ACM Press, 2001.
R. Douence, P. Fradet, and M. S??udholt. Aspect-Oriented Software Development.
Addison-Wesley, September 2004.
T. Elrad, M. Aksit, G. Kiczales, K. Lieberherr, and H. Ossher. Discussing aspects
of AOP. Communications of the ACM, 44(10):33??“38, 2001.
J. Filar and K. Vrieze. Competitive Markov Decision Processes. Springer-Verlag,
New York, 1996.
J. Fitzgerald and P. G. Larsen. Modelling Systems: Practical Tools and Techniques
for Software Development. Cambridge University Press, 1998.
FSE. Foundations of Software Engineering, 2006. URL: http://research.
microsoft.com/fse/.
W. Grieskamp, Y. Gurevich, W. Schulte, and M. Veanes. Generating finite state
machines from abstract state machines. In P. G. Frankl, editor, Proceedings of
the ACM SIGSOFT 2002 International Symposium on Software Testing and
Analysis (ISSTA-02), volume 27 of Software Engineering Notes, pages 112??“122.
ACM, 2002.
W. Grieskamp, N. Kicillof, and N. Tillmann. Action machines: A framework for
encoding and composing partial behaviors. International Journal on Software
and Knowledge Engineering, 16(5):705??“726, 2006.
Pages:
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433