Name
Abstract | ||
|---|---|---|
Abstract. Previously, we presented Circus, an integration of Z, CSP, and Morgan’s refinement calculus, with a semantics based on the unifying theories of programming.,Circus provides,a basis for development,of state-rich concurrent systems; it has a formal semantics, a refinement theory, and a development,strategy. The design of Circus is our solution to combining,data and behavioural specifications. Here, we further explore this issue in the context of object-oriented features. Concretely, we present an object-oriented extension of Circus called OhCircus. We present its syntax, describe its semantics, explain the formalisation of method calls, and discuss our approach to refinement. |
Year | DOI | Venue |
|---|---|---|
2005 | 10.1007/s10270-005-0085-2 | Software and System Modeling |
Keywords | Field | DocType |
refinement,integration,csp,z,object oriented,formal semantics | Programming language,Refinement calculus,Computer science,Theoretical computer science,Syntax,Semantics,Semantics of logic | Journal |
Volume | Issue | ISSN |
4 | 3 | 1619-1374 |
Citations | PageRank | References |
21 | 0.96 | 16 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Ana Cavalcanti | 1 | 224 | 18.41 |
| Augusto Sampaio | 2 | 501 | 43.38 |
| Jim Woodcock | 3 | 21 | 0.96 |