1823 search results - page 78 / 365 » Formal specification: a roadmap |
133
click to vote
AMAST
2008
Springer
15 years 6 months ago
2008
Springer
ed Abstract an extended abstract of [11]. Service-oriented computing is emerging as a new paradigm based on autonomous, platform-independent computational entities, called services...
159
click to vote
FORTE
2009
15 years 2 months ago
2009
We consider the following problem: For a system consisting of two components, the behavior of one component is known as well as the desired global behavior. What should be the beha...
138
click to vote
FUIN
2008
15 years 3 months ago
2008
The abstraction inherent in most specifications and the need to specify nondeterministic programs are two well-known sources of nondeterminism in formal specifications. In this pap...
153
click to vote
EUROGP
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Geometric Differential Evolution (GDE) is a very recently introduced formal generalization of traditional Differential Evolution (DE) that can be used to derive specific ...
125
click to vote
KBSE
1995
IEEE
15 years 8 months ago
1995
IEEE
cation at some level of abstraction, abandoning the semantic information provided by the specification. In this paper, we propose a methodology that ships the overhead of formal re...