×

Found 4 Documents (Results 1–4)

Newest Citations Relevance
Ahrendt, Wolfgang; Beckert, Bernhard; Hähnle, Reiner; Schmitt, Peter H.

KeY: A formal method for object-oriented systems. (English) Zbl 1202.68092

Bonsangue, Marcello M. (ed.) et al., Formal methods for open object-based distributed systems. 9th IFIP WG 6.1 international conference FMOODS 2007, Paphos, Cyprus, June 6–8, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-72919-8/pbk). Lecture Notes in Computer Science 4468, 32-43 (2007).
MSC:  68N19 68Q60
Cite Review PDF
Full Text: DOI
Hähnle, Reiner; Johannisson, Kristofer; Ranta, Aarne

An authoring tool for informal and formal requirements specifications. (English) Zbl 1059.68557

Kutsche, Ralf-Detlef (ed.) et al., Fundamental approaches to software engineering. 5th international conference, FASE 2002. Held as part of the joint European conferences on theory and practice of software, ETAPS 2002, Grenoble, France, April 8–12, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43353-8). Lect. Notes Comput. Sci. 2306, 233-248 (2002).
MSC:  68N99
Cite Review PDF
Full Text: Link

Filter Results by …

Document Type

all top 5

Author

Year of Publication

Main Field

Software