Abstract | ||
---|---|---|
This paper shows how a combination of relational and behavioural semantics might be used in the creation and verification of object models. Specifications written in UML may be expressed in terms of abstract data types and processes; different notions of refinement may then be used to establish consistency between diagrams, or to verify that a design is faithful to the specification. |
Year | DOI | Venue |
---|---|---|
2000 | 10.1007/978-0-387-35520-7_8 | FMOODS |
Keywords | Field | DocType |
refinement,verification,object model,consistency,specification,behavioural semantics,analysis,csp,z,uml,abstract data type | Abstract data type,Programming language,Unified Modeling Language,Computer science,Theoretical computer science,Object Constraint Language,Semantics | Conference |
Volume | ISSN | ISBN |
49 | 1571-5736 | 0-7923-7923-3 |
Citations | PageRank | References |
5 | 0.92 | 10 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Christie Bolton | 1 | 132 | 9.27 |
Jim Davies | 2 | 673 | 80.95 |