4036 search results - page 463 / 808 » Formal Methods |
202
click to vote
AGTIVE
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Business-driven development is a methodology for developing IT solutions that directly satisfy business requirements. At its core are business processes, which are usuall...
153
click to vote
CAV
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We comp...
160
click to vote
FASE
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. In model-based development, a formal description of the software (the model) is the central artifact that drives other development activities. The availability of a model...
166
click to vote
FMCAD
2007
Springer
16 years 27 days ago
2007
Springer
Time-triggered systems are distributed systems in which the nodes are independently-clocked but maintain synchrony with one another. Time-triggered protocols depend on the synchro...
150
click to vote
FMCAD
2007
Springer
16 years 27 days ago
2007
Springer
Abstract— The relationship between changes in gene expression and physical characteristics associated with Down syndrome is not well understood. Chromosome 21 genes interact with...