378 search results - page 57 / 76 » Formalizing Spider Diagrams |
133
click to vote
ISSRE
2003
IEEE
15 years 10 months ago
2003
IEEE
Use-cases and scenarios have been identified as good inputs to generate test cases and oracles at requirement level. Yet to have an automated generation, information is missing f...
126
click to vote
FASE
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. The Object Constraint Language OCL offers a formal notation for constraining the modelling elements occurring in UML diagrams. In this paper we apply OCL for developing ...
147
click to vote
ISSTA
1998
ACM
15 years 8 months ago
1998
ACM
We present various techniques for improving the time and space efficiency of symbolic model checking for system requirements specified as synchronous finite state machines. We use...
132
click to vote
COMPSAC
2008
IEEE
15 years 6 months ago
2008
IEEE
The formal specification of design patterns is widely recognised as being vital to their effective and correct use in software development. It can clarify the concepts underlying ...
115
click to vote
DAWAK
2008
Springer
15 years 6 months ago
2008
Springer
In order to be able to evaluate beforehand the impact of a strategical or tactical move, decision makers need reliable previsional systems. What-if analysis satisfies this need by ...