1781 search results - page 174 / 357 » An Emerging Need for a New Software Engineering Method |
FATES
2003
Springer
15 years 6 months ago
2003
Springer
A key aspect of the Object-Oriented (OO) approach is that a designer can enrich an OO system by providing suitable (re-)definitions for some of the methods of the given system. A...
102
Voted
ICSE
1999
IEEE-ACM
15 years 5 months ago
1999
IEEE-ACM
The value of software inspection for uncovering defects early in the development lifecycle has been well documented. Of the various types of inspection methods published to date, ...
ICSE
2001
IEEE-ACM
15 years 5 months ago
2001
IEEE-ACM
The design of complex systems requires powerful mechanisms for modeling state, concurrent events, and real-time behavior; as well as for visualising and structuring systems in ord...
ICSE
2011
IEEE-ACM
14 years 4 months ago
2011
IEEE-ACM
Successful software systems continuously change their requirements and thus code. When this happens, some existing tests get broken because they no longer reflect the intended be...
105
click to vote
VMCAI
2010
Springer
15 years 10 months ago
2010
Springer
We propose Considerate Reasoning, a novel specification and verification technique based on object invariants. This technique supports succinct specifications of implementations wh...