3706 search results - page 271 / 742 » The Transformational Approach to Program Development |
146
Voted
FASE
2006
Springer
15 years 7 months ago
2006
Springer
One of the major costs of software development is associated with testing and validation of successive versions of software systems. An important problem encountered in testing and...
127
Voted
SNPD
2008
15 years 4 months ago
2008
In the social reality, objects communicate with each other by means of assuming roles to establish collaboration, and then can adaptively change their roles to obtain other intera...
151
click to vote
CACM
1999
15 years 3 months ago
1999
ion suffices ("decide which type you want and provide a full set of operations for each type"). If the application domain is, say, the administration of a university, the...
257
Voted
POPL
2009
ACM
16 years 4 months ago
2009
ACM
This work develops an integrated approach to the verification of behaviourally rich programs, founded directly on operational semantics. The power of the approach is demonstrated ...
139
Voted
SIGSOFT
2008
ACM
16 years 4 months ago
2008
ACM
Many testing and analysis techniques have been developed for inhouse use. Although they are effective at discovering defects before a program is deployed, these techniques are oft...