1376 search results - page 197 / 276 » Model-Driven Software Verification |
112
Voted
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
This paper investigates software agents testing, and in particular how to automate test generation. We propose a novel approach, which takes advantage of agent interaction ontolog...
123
click to vote
CC
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We discuss the challenges faced by bytecode analyzers designed for code verification compared to similar analyzers for source code. While a bytecode-level analysis brings...
115
Voted
FOSSACS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Coalgebras are categorical presentations of state-based systems. In investigating parallel composition of coalgebras (realizing concurrency), we observe that the same alg...
120
click to vote
VAMOS
2010
Springer
15 years 4 months ago
2010
Springer
We discuss the application of deontic logics to the modelling of variabilities in product family descriptions. Deontic logics make it possible to express concepts like permission a...
131
click to vote
OWLED
2007
15 years 4 months ago
2007
This analysis is to identify requirements for a Description Logic (DL) to reason about product descriptions and other information related to product development. The DL is intended...