1782 search results - page 264 / 357 » Tool Support for Proof Engineering |
IHM
2004
ACM
14 years 2 months ago
2004
ACM
Although coupling interaction resources is key to ubiquitous computing, this notion has been overlooked in previous studies. In this paper, we address this notion in a more system...
CBSE
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. This paper proposes a conceptual framework for the reliability assessment of software components that incorporates test case execution and output evaluation. Determining ...
IWPSE
2003
IEEE
14 years 2 months ago
2003
IEEE
Avoiding architectural erosion helps extend the lifetime of an evolving software system. Erosion can be reduced by ensuring that (i) developers share a good understanding of a sys...
ASP
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. Disjunctive logic programs are a powerful tool in knowledge representation and commonsense reasoning. The recent development of an efficient disjunctive logic programmin...
ICMT
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. In their recent book, Mens and Demeyer state that ModelDriven Engineering introduces additional challenges for controlling and managing software evolution. Today, tools e...