37 search results - page 2 / 8 » On Differencing Object-Oriented Formal Specifications |
FMCO
2005
Springer
13 years 10 months ago
2005
Springer
ACSC
2000
IEEE
13 years 9 months ago
2000
IEEE
A methodology is proposed for the formal development of software systems from a user's requirements specification in natural language into a complete implementation, proceedi...
FMCO
2006
Springer
13 years 9 months ago
2006
Springer
This paper is a tutorial on performing formal specification and semi-automatic verification of Java programs with the formal software development tool KeY. This tutorial aims to fi...
MEMOCODE
2007
IEEE
13 years 11 months ago
2007
IEEE
WCRE
2008
IEEE
13 years 11 months ago
2008
IEEE
Abstract. The Design Navigator is a tool for reverseengineering object-oriented programs into formal charts evel of abstraction. We show how the Design r discovers abstract buildin...