19 search results - page 1 / 4 » Automatic Translation from Circus to Java |
FM
2006
Springer
15 years 2 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...
82
Voted
ICFEM
2004
Springer
15 years 4 months ago
2004
Springer
Circus is a combination of Z, CSP, and Morgan’s refinement calculus; it has an associated refinement strategy that supports the development of reactive programs. In this work, ...
153
click to vote
B
2007
Springer
15 years 2 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...
PPDP
2007
Springer
15 years 5 months ago
2007
Springer
We propose a framework to construct web-oriented user interfaces in a high-level way by exploiting declarative programming techniques. Such user interfaces are intended to manipul...
86
Voted
SEKE
2005
Springer
15 years 4 months ago
2005
Springer
The paper presents an approach to support run-time verification of software systems that combines two existing tools, Prospec and Java-MaC, into a single framework. Prospec can be...