2748 search results - page 70 / 550 » Generating Object-Z Specifications from Use Cases |
127
Voted
FM
1997
Springer
15 years 4 months ago
1997
Springer
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
97
Voted
BMCBI
2007
15 years 19 days ago
2007
Background: The size and magnitude of the metabolome, the ratio between individual metabolites and the response of metabolic networks is controlled by multiple cellular factors. A...
92
Voted
SSDBM
2010
IEEE
15 years 5 months ago
2010
IEEE
With the growing focus on semantic searches and interpretations, an increasing number of standardized vocabularies and ontologies are being designed and used to describe data. We ...
125
click to vote
SAFECOMP
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Model-based development and automated code generation are increasingly used for actual production code, in particular in mathematical and engineering domains. However, si...
98
Voted
AAAI
1994
15 years 1 months ago
1994
We consider using machine learning techniques to help understand a large software system. In particular, we describe how learning techniques can be used to reconstruct abstract Da...