726 search results - page 98 / 146 » Formal Verification and Validation of Interactive Systems Sp... |
134
click to vote
SIGSOFT
2008
ACM
16 years 5 months ago
2008
ACM
Synthesis of system configurations from a given set of features is an important and very challenging problem. This paper makes a step towards this goal by describing an efficient ...
131
click to vote
ECAIW
1994
Springer
15 years 8 months ago
1994
Springer
Abstract. In this paper we describe an approach to the representation and implementation of agent-based systems where the behaviour of an individual agent is represented by a set o...
142
click to vote
FMCO
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...
135
click to vote
APN
2008
Springer
15 years 6 months ago
2008
Springer
Shared decision diagram representations of a state-space have been shown to provide efficient solutions for model-checking of large systems. However, decision diagram manipulation ...
125
click to vote
ERLANG
2008
ACM
15 years 6 months ago
2008
ACM
When creating software, data types are the basic bricks. Most of the time a programmer will use data types defined in library modules, therefore being tested by many users over ma...