715 search results - page 112 / 143 » Application of Formal Methods to the Development of a Softwa... |
ECOOPW
2003
Springer
14 years 2 months ago
2003
Springer
The concept of a software product line is a promising approach for increasing planned reusability in industry. For planning future requirements, the integration of domain analysis ...
FM
2006
Springer
14 years 17 days ago
2006
Springer
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...
WOSP
2010
ACM
14 years 3 months ago
2010
ACM
In this paper we provide a general method to derive productform solutions for stochastic models. We take inspiration from the Reversed Compound Agent Theorem [14] and we provide a...
DISCO
1993
14 years 1 months ago
1993
ObjectMath is a high-level programming environment and modeling language for scientific computing which supports variants and graphical browsing in the environment and integrates o...
WSE
2003
IEEE
14 years 2 months ago
2003
IEEE
Cloning is extremely likely to occur in web sites, much more so than in other software. While some clones exist for valid reasons, or are too small to eliminate, cloning percentag...