893 search results - page 13 / 179 » Modeling reactive systems in Java |
120
click to vote
FDL
2005
IEEE
15 years 8 months ago
2005
IEEE
The support of heterogeneity at the specification level, that is, the ability to mix several models of computation (MoCs) in the system-level specification, is becoming increasing...
153
click to vote
IANDC
2007
15 years 2 months ago
2007
We define reactive simulatability for general asynchronous systems. Roughly, simulatability means that a real system implements an ideal system (specification) in a way that pre...
126
click to vote
IJIT
2004
15 years 3 months ago
2004
Recent advances in both the testing and verification of software based on formal specifications of the system to be built have reached a point where the ideas can be applied in a p...
121
click to vote
CBSE
2009
Springer
15 years 9 months ago
2009
Springer
An integrated model-based development approach has to capture the relationship between requirements, design, and implementation models. In the requirements engineering phase, the m...
108
click to vote
AUSFORENSICS
2003
15 years 3 months ago
2003
This paper reports from an ongoing field study of police practice in Sweden. The field study consists of direct observations and conversational interviews. The paper discusses cur...