[Ahre05]
|
W. Ahrendt et al.
The KeY Tool.
Software and Systems Modeling 4(1):32-54, 2005.
|
[Beck07]
|
B. Beckert, R. Hähnle, P. Schmitt. (Eds.)
Verification of Object-Oriented Software. The KeY Approach.
Lecture Notes in Computer Science, Vol. 4334.
Springer, 2007.
(On reserve in the Math Library. Also available electronically to U of I students here.)
|
[Brau01]
|
D. Braun, J. Sivils, A. Shapiro, J. Versteegh.
Unified Modeling Language (UML) Tutorial.
Course notes.
Kennesaw State University, 2001.
|
[Clar96]
|
E. Clarke and J. M. Wing.
Formal Methods: State of the Art and Future Directions.
Technical Report CMU-CS-96-178.
Department of Computer Science,
Carnegie-Mellon University,
1996.
|
[Fowl04]
|
M. Fowler.
UML Distilled.
Addison-Wesley.
3rd edition, 2004.
|
[Gies07]
|
M. Giese.
First-order logic.
Chapter 2 of [Beck07].
|
[Haeh07]
|
R. Hähnle.
A new look at formal methods for software construction.
Chapter 1 of [Beck07].
|
[Halb91]
|
N. Halbwachs, P. Caspi. P. Raymon, and D. Pilaud.
The synchronous data flow programming language LUSTRE.
Proceedings of the IEEE.
79(9): 1305-1320.
Sep 1991.
|
[Halb99]
|
N. Halbwachs and P. Raymon.
Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing.
In Proceedings of the 5th Asian Computing Science Conference on Advances in Computing Science.
Lecture Notes In Computer Science. Vol. 1742.
Springer, 1999.
|
[Halb02]
|
N. Halbwachs and Pascal Raymon.
A Tutorial of Lustre.
Technical report,
2002.
|
[vLam00]
|
A. van Lamsweerde.
Formal Specification: a Roadmap.
The Future of Software Engineering
ACM Press,
2000.
|
[Mill03]
|
R. Miller.
Practical UML: A Hands-On Introduction for Developers.
Borland Software Corporation, 2003.
|
[OMG03]
|
Object Management Group.
Object Constraint Language Specification.
In OMG Unified Modeling Language Specification, Version 1.5, March 2003.
|
[OMG07]
|
Object Management Group.
OMG Unified Modeling Language (OMG UML),
Infrastructure.
Version 2.1.2. November 2007.
|
[Roth07]
|
A. Roth and P. Schmitt.
Formal Specification.
Chapter 5 of [Beck07].
|
[Wing95]
|
J. M. Wing.
Hints to Specifiers.
Technical Report CMU-CS-95-118R.
Department of Computer Science,
Carnegie-Mellon University,
1995.
|