On the lattice of specifications: Applications to a specification methodology
Copyright policy )On the lattice of specifications: Applications to a specification methodology
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.
- Tunis El Manar University Tunisia
- Tunis University Tunisia
- University of Sousse Tunisia
lattice theory, Specification and verification (program logics, model checking, etc.), Continuous lattices and posets, applications, specification methodology, refinement ordering, ordering relations, specification generation, specification validation, formal specifications
lattice theory, Specification and verification (program logics, model checking, etc.), Continuous lattices and posets, applications, specification methodology, refinement ordering, ordering relations, specification generation, specification validation, formal specifications
citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).61 popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.Average influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Top 10% impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Top 10%
Citations provided by BIP!Popularity provided by BIP!