525 search results - page 37 / 105 » Systems Development Using Z Generics |
SEM
2004
Springer
14 years 28 days ago
2004
Springer
The use of handheld networked devices to access information systems by people moving around is spreading rapidly. Systems being used in this way typically face dynamic variation in...
ICAS
2009
IEEE
14 years 2 months ago
2009
IEEE
Recent years have seen a growing interest in autonomic computing, an approach to providing systems with self managing properties [1]. Autonomic computing aims to address the incre...
ICSE
2004
IEEE-ACM
14 years 7 months ago
2004
IEEE-ACM
Building a configuration management (CM) system is a difficult endeavor that regularly requires tens of thousands of lines of code to be written. To reduce this effort, several ex...
WICSA
2001
13 years 9 months ago
2001
Increasingly, systems are composed from independently developed parts, and mechanisms that allow those parts to interact (connectors). In many situations, specialized forms of int...
FM
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Circus is a combination of Z and CSP that supports the development of state-rich reactive systems based on refinement. In this paper we present JCircus, a tool that autom...