Literatur |
[Ber 02] R. Berghammer Semantik von Programmier-sprachen, Logos Verlag Berlin, ISBN 3-8972-2830-0
[Bro 00] A. W. Brown Software¬entwicklung mit UML 2, Addi¬son-Wesley ISBN 3-8273-2086-0
[Sch 00] B. Schienmann Kontinu¬ier¬liches Anfor-derungsmanage¬ment, Addison-Wesley ISBN 3-8273-1787-8
[Wal 93] C. Walther Semantik und Programmve-rifikation, B.G. Teubner Verlag, ISBN 3-5190-0336-8 |