10263 search results - page 138 / 2053 » From Use Cases to System Operation Specifications |
190
click to vote
JSA
2008
15 years 5 months ago
2008
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...
181
click to vote
ICPP
2008
IEEE
16 years 23 days ago
2008
IEEE
Despite great efforts on the design of ultra-reliable components, the increase of system size and complexity has outpaced the improvement of component reliability. As a result, fa...
184
click to vote
IEEEVAST
2010
15 years 1 months ago
2010
Data sets in astronomy are growing to enormous sizes. Modern astronomical surveys provide not only image data but also catalogues of millions of objects (stars, galaxies), each ob...
172
click to vote
SPLC
2008
15 years 7 months ago
2008
The adoption of Domain-Specific Modeling Languages (DSMLs) for generating framework-based applications has proved to be an effective way of enforcing the correct use of frameworks...
139
click to vote
RE
2008
Springer
15 years 4 months ago
2008
Springer
This paper proposes a two-step approach to identifying ambiguities in natural language (NL) requirements specifications (RSs). In the first step, a tool would apply a set of ambig...