715 search results - page 116 / 143 » Application of Formal Methods to the Development of a Softwa... |
ASE
2008
13 years 9 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
CBSE
2011
Springer
12 years 9 months ago
2011
Springer
Software components are increasingly assembled from other components. Each component may further depend on others, and each may have multiple active versions. The total number of ...
FASE
2007
Springer
14 years 3 months ago
2007
Springer
The Declared Type Generalization Checker is a plug-in for Eclipse’s Java Development Tools (JDT) that supports developers in systematically finding and using better fitting types...
FASE
2005
Springer
14 years 2 months ago
2005
Springer
This paper is concerned with the application of Web services to distributed, cross-organizational business processes. In this scenario, it is crucial to answer the following questi...
BIOINFORMATICS
2005
13 years 8 months ago
2005
Motivation: Genetic analysis of HIV-1 is important not only for vaccine development, but also to guide treatment strategies, track the emergence of new viral variants and ensure t...