1481 search results - page 11 / 297 » Enriching the Software Development Process by Formal Methods |
136
Voted
ZUM
1994
Springer
15 years 6 months ago
1994
Springer
A critical issuein the designof aprofessionalsoftware engineeringdegreeprogram is the way in which formal methods are integrated into the curriculum. The approach taken by most pr...
139
click to vote
WCRE
1995
IEEE
15 years 6 months ago
1995
IEEE
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...
110
Voted
DSVIS
2006
Springer
15 years 6 months ago
2006
Springer
This keynote paper argues for an increased understanding of the various roles involved in the development work to be able to achieve the goal of developing increased usability. Hum...
105
click to vote
CSUR
1999
15 years 2 months ago
1999
with functions over those sets. This level of abstraction is commensurate with the view that the correctness of the input/output behaviour of a program takes precedence over all it...
116
Voted
AGILEDC
2005
IEEE
15 years 8 months ago
2005
IEEE
It is a significant challenge to implement and research agile software development methods in organizations such as the army. Since it differs from organizations in the industry a...