1407 search results - page 126 / 282 » Using Use Cases in Executable Z |
123
click to vote
ERSHOV
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. TTCN-3 is a standardized language for specifying and executing test suites that is particularly popular for testing embedded systems. Prior to testing embedded software i...
140
click to vote
MKWI
2008
15 years 5 months ago
2008
: This paper shows how Model Driven Engineering (MDE) and Business Process Management (BPM) can be combined when generating executable BPEL processes out of BPMN models. By adding ...
122
click to vote
JAR
2000
15 years 4 months ago
2000
A lot of methods have been proposed -- and sometimes implemented -- for proof search in the propositional modal logics K, KT, and S4. It is difficult to compare the usefulness of ...
220
click to vote
KESAMSTA
2011
Springer
14 years 7 months ago
2011
Springer
Creating modular behaviours in JADE using a traditional method such as the FSM (Finite State Machine) can be a difficult task to achieve. The first issue with FSMs is that they do...
148
click to vote
CASES
2005
ACM
15 years 6 months ago
2005
ACM
In Simultaneous Multithreaded (SMT) architectures most hardware resources are shared between threads. This provides a good cost/performance trade-off which renders these architec...