|
Sommersemester 2001 Literaturhinweise |
M. Fowler, K. Scott UML Distilled. Addison Wesley, 1999.
M. Hitz, G. Kappel UML @ Work. dpunkt-Verlag, Heidelberg 1999.
F. Kröger The Temporal Logic of Programs. Springer, 1987.
U. Schöning Logik für Informatiker.
Spektrum Akademischer Verlag, 2000. (5. Auflage).
Die UML-page der OMG (Object Management Group) .
Folien (im pdf-Format) aus der Vorlesung:
Weiterführende Literatur
K.R. Apt, E.-R. Olderog Verification of Sequential and Concurrent Programs , Springer, 1991.
K.M. Chandy, J. Misra Parallel Program Design: a Foundation, Addison-Wesley, 1988
N. Francez Program Verification, Addison-Wesley, 1992.
N. Francez Fairness, Springer, 1986.
N. Francez, I. Forman Interacting Processes: a Multiparty Approach to Coordinated Distributed Programming, Addison-Wesley, 1996.
D. Gries, F.B. Schneider A Logical Approach to Discrete Mathematics, Springer, 1993.
D. Gries The Science of Programming, Springer, 1987.
D. Harel StateCharts: a Visual Formalism for Complex Systems. Science of computer programming, 8:231-274, 1987.
D. Harel, M. Politi Modeling Reactive Systems with StateCharts. The Statemate approach, McGraw-Hill, 1998
R.G. Herrtwich, G. Hommel Kooperation und Konkurrenz. Nebenläufige, verteilte und echtzeitabhängige Programmsysteme. Springer, 1989.
C.A.R. Hoare Communicating Sequential Processes, Prentice-Hall, 1985.
J.E. Hopcroft, J.D. Ullman Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, 1979.
G. Kahn The Semantics of a Simple Language for Parallel Programming. In J.L. Rosenfeld, editor, Information Processing 74, 471-475, North-Holland, 1974.
L. Lamport The temporal logic of actions. ACM Transactions on Programming Languages and Systems, 3(16):872-923, 1994.
J. van Leeuwen Handbook of Theoretical Computer Science: Vol. B Formal Models and semantics , Elsevier, 1994
N. Lynch, M. Tuttle An Introduction to Input/Output automata, CWIQuarterly, 2(3):219-246, 1989.
Z. Manna, A. Pnueli A Temporal Logic of Reactive Systems and Concurrent Systems, Springer, 1992.
R. Milner Communication and Concurrency, Prentice Hall, 1989.
R. Milner A Calculus of Communicating Systems, Springer, 1980.
B. Selic, G. Gullekson, P.T. Ward Real-Time Object-Oriented Modeling (ROOM) , Wiley, 1994.