1799 search results - page 104 / 360 » The Logic of Correctness in Software Engineering |
153
click to vote
ICSM
1998
IEEE
15 years 10 months ago
1998
IEEE
Code-based metrics such as coupling and cohesion are used to measure a system's structural complexity. But dealing with large systems--those consisting of several millions of...
147
click to vote
AMAST
2006
Springer
15 years 10 months ago
2006
Springer
We propose a methodology based on testing as a framework to capture the interactions of a machine represented in a denotational model and the data it manipulates. Using a duality t...
191
click to vote
AMAST
1991
Springer
15 years 9 months ago
1991
Springer
Boolean logic treats disjunction and conjunction symmetrically and algebraically. The corresponding operations for computation are respectively nondeterminism (choice) and concurr...
198
click to vote
KBSE
2010
IEEE
15 years 4 months ago
2010
IEEE
A method is described for automatically repairing legacy software at the assembly code level using evolutionary computation. The technique is demonstrated on Java byte code and x8...
144
click to vote
EUROMICRO
2002
IEEE
15 years 11 months ago
2002
IEEE
Today there is a number of established software development lifecycle models (SDLMs) supporting software development. Correct implementation of these models helps develop software...