1454 search results - page 131 / 291 » Stateful traits and their formalization |
89
Voted
ISOLA
2004
Springer
15 years 6 months ago
2004
Springer
We study consistency, satisfiability, and validity problems for collectively model checking a set of views endowed with labelled transitions, hybrid constraints on states, and ato...
116
Voted
ISOLA
2004
Springer
15 years 6 months ago
2004
Springer
The article is concerned with an approach to model based test development for large software systems. The approach presented is a part of UniTesK test development technology, which...
116
click to vote
MEMOCODE
2003
IEEE
15 years 6 months ago
2003
IEEE
In this paper, we present a technique for determining tight bounds on the execution time of assembler programs. Thus, our method is independent of the design flow, but takes into...
96
Voted
ASM
2000
ASM
15 years 5 months ago
2000
ASM
Abstract. The Abstract State Machines (ASM) methodology is a methodology for formally specifying computing systems. We use the ASM methodology to give the dynamic semantics of the ...
87
Voted
KI
1997
Springer
15 years 4 months ago
1997
Springer
Abstract. Agents situated in proactive environments are acting autonomously while the environment is evolving alongside, whether or not the agents carry out any particular actions....