Semantic Constructions in the Specification Language GLIDER


Designing a specification is an activity consisting in building a formal and complete description of a problem from an informal, often incomplete and sometimes contradictory set of requirements. Therefore, during this process, the specifier may have to take "design" decisions to ignor certain requirements that would produce an inconsistency, or to add… (More)
DOI: 10.1007/3-540-57867-6_8