16725 search results - page 612 / 3345 » Engineering Software Correctness |
165
click to vote
ISTA
2008
15 years 8 months ago
2008
Standardization within a discipline often reflects its maturity. Within software engineering, standardization occurs in many areas
182
click to vote
PLDI
2010
ACM
16 years 8 days ago
2010
ACM
Dynamic correctness checking tools (a.k.a. lifeguards) can detect a wide array of correctness issues, such as memory, security, and concurrency misbehavior, in unmodified executa...
225
click to vote
RE
2001
Springer
15 years 11 months ago
2001
Springer
In many software application domains, constant evolution is the dominant problem, shaping both software design and the software process. Telecommunication software is the prototyp...
174
click to vote
ICSM
2007
IEEE
16 years 1 months ago
2007
IEEE
Many small and medium-sized systems have little or no design documentation, which makes program understanding during maintenance enormously more difficult when performed by outsi...
181
click to vote
INTERNET
2008
15 years 7 months ago
2008
ion. First described in RFC 707,1 with implementation approaches and details later provided by Andrew Birrell and Bruce Nelson,2 RPC has influenced distributed systems research and...