371 search results - page 4 / 75 » Comparing models for identifying fault-prone software compon... |
95
Voted
SPIN
1999
Springer
15 years 1 months ago
1999
Springer
A variety of assume-guarantee model checking approaches have been proposed in the literature. In this paper, we describe several possible implementations of those approaches for ch...
105
click to vote
AGTIVE
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. Significant achievements have been made in the design and implementation of languages and tools for graph transformation systems. However, many other competing approaches...
93
Voted
TSE
2011
14 years 4 months ago
2011
—Conventional testing methods often fail to detect hidden flaws in complex embedded software such as device drivers or file systems. This deficiency incurs significant developmen...
78
Voted
ICSE
2001
IEEE-ACM
15 years 2 months ago
2001
IEEE-ACM
A good object-oriented design does not necessarily make a good component-based design, and vice versa. What design principles do components introduce? This paper examines componen...
EUROMICRO
2005
IEEE
15 years 3 months ago
2005
IEEE
CBSE currently lacks a universally accepted terminology. Existing component models adopt different component definitions and composition operators. We believe that for future res...