658 search results - page 21 / 132 » A formal approach to object-oriented software engineering |
122
Voted
FMAM
2010
14 years 9 months ago
2010
: Members of the agile programming and formal methods communities do not always see eye-to-eye. These two communities often do not talk to or learn from each other. Only recently, ...
SAC
2004
ACM
15 years 5 months ago
2004
ACM
There is still no standardization of software measures and metrics extraction tools have to be updated frequently to handle the changes. A possible solution is represented by usin...
103
click to vote
JOT
2010
14 years 10 months ago
2010
Object-oriented analysis and design have been more concerned with system functionality, neglecting non-functional aspects; the result is code which is tangled and difficult to main...
106
click to vote
ANSOFT
1998
14 years 11 months ago
1998
Programmes in “Software Engineering” have become a source of contention in many universities. Computer Science departments, many of which have used that phrase to describe ind...
86
Voted
CAISE
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. This paper uses a framework drawn from work in the philosophy of science to characterize the concepts of program correctness that have been used in software engineering, ...