1823 search results - page 79 / 365 » Formal specification: a roadmap |
134
click to vote
AAMAS
2004
Springer
15 years 4 months ago
2004
Springer
In this paper we overview one specific approach to the formal development of multi-agent systems. This approach is based on the use of temporal logics to represent both the behavio...
257
click to vote
POPL
2008
ACM
16 years 4 months ago
2008
ACM
Models will play a central role in the representation, storage, manipulation, and communication of knowledge in systems biology. Models capable of fulfilling such a role will like...
146
click to vote
FORTEST
2008
15 years 6 months ago
2008
This paper describes an approach to the formalization of existing criteria used in computer systems software testing and proposes a new Reinforced Condition/Decision Coverage (RC/D...
119
click to vote
COMCOM
2000
15 years 4 months ago
2000
This paper is devoted to the presentation of the RT-LOTOS formal description technique, which is a formalism suited for applications where concurrency, complex synchronization pat...
128
click to vote
BPM
2000
Springer
15 years 8 months ago
2000
Springer
Formal analysis techniques can deliver important support during business process redesign efforts. This chapter points out the (potential) contribution of these formal analysis tec...