327 search results - page 49 / 66 » Model Checking and Evidence Exploration |
138
Voted
ICSE
2001
IEEE-ACM
15 years 9 months ago
2001
IEEE-ACM
In requirements elicitation, different stakeholders often hold different views of how a proposed system should behave, resulting in inconsistencies between their descriptions. Con...
167
click to vote
SIGSOFT
2007
ACM
16 years 5 months ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
228
click to vote
JUCS
2010
14 years 11 months ago
2010
: All processes of life are controlled by networks of interacting biochemical components. The purpose of modelling these networks is manifold. From a theoretical point of view it a...
152
click to vote
KBSE
2007
IEEE
15 years 11 months ago
2007
IEEE
We explore the automatic generation of test data that respect constraints expressed in the Object-Role Modeling (ORM) language. ORM is a popular conceptual modeling language, prim...
126
click to vote
ACSD
2010
IEEE
15 years 3 months ago
2010
IEEE
POOSL (Parallel Object-Oriented Specification Language) is a powerful general purpose system-level modeling language. In research on design space exploration of motion control syst...