371 search results - page 4 / 75 » Comparing models for identifying fault-prone software compon... |
SPIN
1999
Springer
13 years 11 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...
AGTIVE
2007
Springer
13 years 11 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...
TSE
2011
13 years 2 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...
ICSE
2001
IEEE-ACM
13 years 11 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
14 years 29 days 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...