70 search results - page 11 / 14 » icse 2000 |
ICSE
2000
IEEE-ACM
13 years 11 months ago
2000
IEEE-ACM
According to its proponents, open source style software development has the capacity to compete successfully, and perhaps in many cases displace, traditional commercial developmen...
ICSE
2000
IEEE-ACM
13 years 11 months ago
2000
IEEE-ACM
Interactive program analysis tools are often tailored to one particular representation of programs, making adaptation to a new language costly. One way to ease adaptability is to ...
ICSE
2000
IEEE-ACM
13 years 11 months ago
2000
IEEE-ACM
Explicitly stated program invariants can help programmers by characterizing certain aspects of program execution and identifying program properties that must be preserved when mod...
ICSE
2000
IEEE-ACM
13 years 11 months ago
2000
IEEE-ACM
Software's increasing role creates both requirements for being able to trust it more than before, and for more people to know how much they can trust their software. A sound ...
ICSE
2000
IEEE-ACM
13 years 11 months ago
2000
IEEE-ACM
The term distributed computing conjures the image of a fixed network structure whose nodes support the execution of processes that communicate with each other via messages traveli...