Abstract | ||
---|---|---|
Two technologies offer much to the software industry; formal specification aids precision and object orientation aids structuring. One popular formal specification language is Z. In this paper, we survey techniques for adding object-oriented structuring to Z and look at three of them [1-3] in more detail. |
Year | DOI | Venue |
---|---|---|
1992 | 10.1049/sej.1992.0016 | Software Engineering Journal |
Field | DocType | Volume |
Specification language,Z notation,Programming language,Programming language specification,Computer science,Object language,Formal specification,Language Of Temporal Ordering Specification,Object Definition Language,Formal methods | Journal | 7 |
Issue | ISSN | Citations |
2 | 0268-6961 | 11 |
PageRank | References | Authors |
1.29 | 7 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Susan Stepney | 1 | 813 | 113.21 |
Rosalind Barden | 2 | 82 | 12.86 |
David Cooper | 3 | 123 | 16.91 |