2878 search results - page 158 / 576 » Analyzing the Uses of a Software Modeling Tool |
CAV
2006
Springer
14 years 2 days ago
2006
Springer
Abstract. We present a brief overview of the tool Ticc (Tool for Interface Compatibility and Composition). In Ticc, a component interface describes both the behavior of a component...
PROFES
2004
Springer
14 years 1 months ago
2004
Springer
One of the most prominent issues involved in incremental software development is to decide upon the most appropriate software release plans taking into account all explicit and imp...
ICSE
1999
IEEE-ACM
14 years 18 days ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
BMCBI
2008
13 years 8 months ago
2008
Background: The Structural Descriptor Database (SDDB) is a web-based tool that predicts the function of proteins and functional site positions based on the structural properties o...
TOOLS
1999
IEEE
14 years 19 days ago
1999
IEEE
The evolution of software systems over many years often leads to unnecessarily complex and in exible designs which in turn lead to a huge amount of e ort for enhancements and main...