|
|||||
|
|
On the lattice of specifications: Applications to a specification methodology |
|
| Authors: | Noureddine Boudriga Fathi Elloumi Ali Mili |
| Affiliation: | (1) Faculty of Sciences, University of Tunis II, Tunisia;(2) Faculty of Sciences, University of Sousse, Tunisia;(3) Department of Computer Science, University of Ottawa, K1N 6N5 Ottawa, Ontario, Canada |
| Abstract: | In this paper we investigate the lattice properties of the natural ordering between specifications, which expresses that a specification expresses a stronger requirement than another specification. The lattice-like structure that we uncover is used as a basis for a specification methodology. |
| Keywords: | Formal specifications Refinement ordering Lattice theory Specification generation Specification validation Specification methodology Relations Ordering relations |
| 本文献已被 SpringerLink 等数据库收录！ | |