1782 search results - page 101 / 357 » Tool Support for Proof Engineering |
134
click to vote
BPM
2006
Springer
15 years 10 months ago
2006
Springer
Bearing in mind the changeable and complicated needs of business environment, in this paper we examine the necessity of evolution in the traditional decision support techniques. Ou...
158
click to vote
AMAST
2008
Springer
15 years 8 months ago
2008
Springer
This paper gives a correctness proof for the on-chip COMA cache coherence protocol that supports the Microgrid of microtheaded architecture, a multi-core architecture capable of in...
150
click to vote
CSMR
2008
IEEE
16 years 23 days ago
2008
IEEE
Refactoring, in spite of widely acknowledged as one of the best practices of object-oriented design and programming, still lacks quantitative grounds and efficient tools for tasks...
129
click to vote
CSMR
1997
IEEE
15 years 10 months ago
1997
IEEE
Redocumentation is the recovery and recording of software comprehension. Since software comprehension is the most expensive part of software maintenance, redocumentation is the ke...
148
click to vote
ER
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Requirements Engineering techniques, based on the fundamental notions of agency, i.e., Agent, Goal, and Intentional Dependency, have been recognized as having the potenti...