Sciweavers

Share
CAISE
2003
Springer

Metamodel-Compliance Checking of Requirements in a Semiformal Representation

9 years 3 months ago
Metamodel-Compliance Checking of Requirements in a Semiformal Representation
Abstract. Checking requirements is highly desirable but hard to achieve in practice, where only word processors are used in most projects. While in this case reviews are more or less the only means, formal representations allow for a variety of automated checks. Unfortunately, formal representations of requirements are rarely available in real-world projects. Semiformal representations are easier to obtain and still offer some possibilities for automated checks. Based on an object-oriented hypertext representation, we present an implemented approach for compliance checks against a metamodel.
Hermann Kaindl, Stefan Kramer, Mario Hailing, Vaha
Added 06 Jul 2010
Updated 06 Jul 2010
Type Conference
Year 2003
Where CAISE
Authors Hermann Kaindl, Stefan Kramer, Mario Hailing, Vahan Harput
Comments (0)
books