170 search results - page 19 / 34 » Formal Methods Application: An Empirical Tale of Software De... |
ISOLA
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Developing systems through the composition of reusable software services is not straightforward in most situations since different kinds of mismatch may occur among their...
FAABS
2000
Springer
13 years 11 months ago
2000
Springer
To ful ll the needs of its deep space exploration program, NASAis actively supporting research and development in autonomy software. However, the reliable and cost-e ective develop...
SPLC
2010
13 years 5 months ago
2010
Product line engineering allows for the rapid development of variants of a domain specific application by using a common set of reusable assets often known as core assets. Variabil...
UML
2005
Springer
14 years 29 days ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
TASE
2008
IEEE
14 years 1 months ago
2008
IEEE
Symmetry reduction holds great promise to counter the state explosion problem. However, currently it is “conducting a life on the fringe”, and is not widely applied, mainly du...