2835 search results - page 255 / 567 » Imperfect Requirements in Software Development |
162
click to vote
VMCAI
2004
Springer
15 years 12 months ago
2004
Springer
The method of Invisible Invariants was developed originally in order to verify safety properties of parameterized systems fully automatically. Roughly speaking, the method is based...
144
click to vote
ICSM
2003
IEEE
15 years 11 months ago
2003
IEEE
The distributed development and maintenance paradigm for component delivery is fraught with problems. One wants a relationship between developers and clients that is autonomous an...
196
click to vote
ESEM
2009
ACM
15 years 11 months ago
2009
ACM
In the software engineering literature, many works claim that the use of design patterns improves the comprehensibility of programs and, more generally, their maintainability. Yet...
156
click to vote
ISN
1999
Springer
15 years 10 months ago
1999
Springer
The competitive pressures of the telecoms sector are leading to a major push towards the automation and integration of many operational support processes. This creates pressures to...
169
click to vote
ER
1998
Springer
15 years 10 months ago
1998
Springer
The development of Internet commercial applications and corporate Intranets around the world, which uses Java as the de facto standard language, is a significant topic in modern S...