2409 search results - page 51 / 482 » Logical systems for structured specifications |
124
click to vote
GI
2009
Springer
14 years 10 months ago
2009
Springer
Abstract: Model based testing promises systematic test coverage in a continuous testing process. However, in practice, model based testing struggles with informal specifications, d...
94
Voted
JUCS
2006
15 years 23 days ago
2006
Abstract: In this paper the analysis of the data structures used in a symbolic computation system, called Kenzo, is undertaken. We deal with the specification of the inheritance re...
107
Voted
PADL
2000
Springer
15 years 4 months ago
2000
Springer
In this article we present the University of Evora's Integrated Information System (SIIUE), which is meant to model most of the information necessary for the management and da...
103
Voted
AMAI
2004
Springer
15 years 6 months ago
2004
Springer
The framework of algorithmic knowledge assumes that agents use algorithms to compute the facts they explicitly know. In many cases of interest, a logical theory, rather than a par...
114
click to vote
COMPLEX
2009
Springer
15 years 4 months ago
2009
Springer
Creating ensembles of random but "realistic" topologies for complex systems is crucial for many tasks such as benchmark generation and algorithm analysis. In general, exp...