4340 search results - page 544 / 868 » Formal Methods and Cryptography |
200
click to vote
AGTIVE
2007
Springer
16 years 26 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 25 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...
159
click to vote
FASE
2007
Springer
16 years 25 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...
145
click to vote
FCT
2007
Springer
16 years 25 days ago
2007
Springer
In most mainstream object-oriented languages, the object initialization protocol is based on constructors, where different constructors of the same class are, in fact, overloaded ...
165
click to vote
FMCAD
2007
Springer
16 years 25 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...