3801 search results - page 79 / 761 » An Approach to Modeling Software Safety |
111
click to vote
SAC
2011
ACM
14 years 19 days ago
2011
ACM
We propose a novel approach and tool for collaborative software engineering and development. In model-based software engineering, the underlying data structure is a complex, direc...
QUATIC
2007
IEEE
15 years 4 months ago
2007
IEEE
Software product lines and related approaches, like software factories, are starting to capture the attention of the industry practitioners. Nevertheless, their adoption outside t...
JUCS
2010
14 years 4 months ago
2010
Abstract: Model-Driven Architecture (MDA) presents a set of layered models to separate design concerns from platform concerns. The model executability for each model element is sti...
SPIN
1999
Springer
15 years 2 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...
AMOST
2005
ACM
15 years 3 months ago
2005
ACM
The combinatorial approach to software testing uses models to generate a minimal number of test inputs so that selected combinations of input values are covered. The most common c...