37 search results - page 2 / 8 » On Differencing Object-Oriented Formal Specifications |
FMCO
2005
Springer
13 years 11 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
14 years 1 days ago
2007
IEEE
WCRE
2008
IEEE
14 years 4 days 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...