1804 search results - page 289 / 361 » Use Cases in Model-Driven Software Engineering |
142
click to vote
ARCS
2008
Springer
15 years 5 months ago
2008
Springer
: The task of the creatures in the "creatures' exploration problem" is to visit all empty cells in an environment with a minimum number of steps. We have analyzed th...
120
Voted
ISSRE
2007
IEEE
15 years 5 months ago
2007
IEEE
Constraint-Based Testing (CBT) is the process of generating test cases against a testing objective by using constraint solving techniques. In CBT, testing objectives are given und...
123
Voted
ISEMANTICS
2010
15 years 5 months ago
2010
We present the STEX system, a semantic extension of LATEX, that allows for producing high-quality PDF documents for (proof)reading and printing, as well as semantic XML/OMDoc docu...
131
Voted
FSTTCS
2008
Springer
15 years 4 months ago
2008
Springer
ABSTRACT. We introduce a novel approach to the runtime monitoring of complex system properties. In particular, we present an online algorithm for a safety fragment of metric first...
130
Voted
ISSRE
2010
IEEE
15 years 1 months ago
2010
IEEE
—Large scale systems (LSS) contain multiple subsystems that interact across multiple nodes in sometimes unforeseen and complicated ways. As a result, pinpointing the subsystems t...