3742 search results - page 381 / 749 » On the Use of Formal Techniques for Validation |
170
click to vote
IDEAS
2000
IEEE
15 years 11 months ago
2000
IEEE
We present SECONDO, a new generic environment supporting the implementation of database systems for a wide range of data models and query languages. On the one hand, this framewor...
158
click to vote
CSCW
2000
ACM
15 years 11 months ago
2000
ACM
In this paper we investigate how consistency can be ensured for replicated continuous interactive media, i.e., replicated media which change their state in reaction to user initia...
148
click to vote
RE
1999
Springer
15 years 11 months ago
1999
Springer
Scenarios have proven effective for eliciting, describing and validating software requirements; however, scenario management continues to be a significant challenge to practition...
181
click to vote
ESOP
2006
Springer
15 years 10 months ago
2006
Springer
Model fields are specification-only fields that encode abstractions of the concrete state of a data structure. They allow specifications to describe the behavior of object-oriented...
189
click to vote
WSC
2008
15 years 9 months ago
2008
In this paper, we propose an integrated architecture for modeling, simulation, and execution of PLC (Programmable Logic Controller) based manufacturing system. The main objective ...