10241 search results - page 1544 / 2049 » Goal-Driven Software Development |
130
Voted
FATES
2004
Springer
15 years 10 months ago
2004
Springer
We present the development of T-UPPAAL — a new tool for online black-box testing of real-time embedded systems from non-deterministic timed automata specifications. It is based ...
122
Voted
FOSSACS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Using a probabilistic polynomial-time process calculus designed for specifying security properties as observational equivalences, we develop a form of bisimulation that j...
127
click to vote
GCC
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. EEMAS environment is a problem-solving environment for multidisciplinary application simulations. Within the EEMAS, there are four categories of modules involved, namely ...
158
click to vote
GG
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Code generators are widely used in the development of embedded software to automatically generate executable code from graphical specifications. However, at present, cod...
120
Voted
ICCHP
2004
Springer
15 years 10 months ago
2004
Springer
This paper gives a brief overview about the partially EU funded project IST-2000-25420 FASTY in the IST program. The objective of FASTY was the creation of a system for increasing ...