1782 search results - page 94 / 357 » Tool Support for Proof Engineering |
126
click to vote
PROFES
2004
Springer
15 years 11 months ago
2004
Springer
One of the most prominent issues involved in incremental software development is to decide upon the most appropriate software release plans taking into account all explicit and imp...
151
click to vote
EUROMICRO
2005
IEEE
15 years 11 months ago
2005
IEEE
In multi-disciplinary development, where various domain specific tools are used by developers to specify and analyse a system, efficient system development requires that the model...
166
Voted
IWPC
2005
IEEE
15 years 11 months ago
2005
IEEE
Program comprehension research can be characterized by both the theories that provide rich explanations about how programmers comprehend software, as well as the tools that are us...
138
click to vote
CHI
2009
ACM
16 years 6 months ago
2009
ACM
In this case study, we describe our use of ECT, a tool intended to simplify the design and development of network-spanning applications. We have used ECT throughout the course of ...
146
click to vote
SEKE
2009
Springer
16 years 4 days ago
2009
Springer
Code review is often suggested as a means of improving code quality. Since humans are poor at repetitive tasks, some form of tool support is valuable. To that end we developed a p...