658 search results - page 20 / 132 » A formal approach to object-oriented software engineering |
91
Voted
DAGSTUHL
2006
15 years 1 months ago
2006
Programming technologies have improved continuously during the last decades, but from an Information Systems perspective, some well-known problems associated to the design and impl...
104
click to vote
KBSE
1997
IEEE
15 years 3 months ago
1997
IEEE
Given a program S and a precondition Q, the strongest postcondition, denoted sp(S Q), is defined as the strongest condition that holds after the execution of S, given that S term...
78
Voted
WCRE
1999
IEEE
15 years 4 months ago
1999
IEEE
As a program evolves, it becomes increasingly difficult to understand and reason about changes in the source code. Eventually, if enough changes are made, reverse engineering and ...
81
Voted
CHARME
2001
Springer
15 years 4 months ago
2001
Springer
Formal analysis remains outside the mainstream of system design practice. Interactive methods and tools are regarded by some to be on the margin of useful research in this area. Al...
SIGADA
2005
Springer
15 years 5 months ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...