A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf
.
Scenario Synthesis from Imprecise Requirements
[chapter]
2005
Lecture Notes in Computer Science
Discovering faults in requirements specifications for distributed reactive systems is a challenging problem since many issues that need to be uncovered are a result of subtle component interactions that are implied by the requirements, but not explicitly described by them. A further difficulty is caused by the imprecise nature of industrial requirements specifications. This makes it difficult to construct valid models of the possible compositions between the requirements, which would be a
doi:10.1007/978-3-540-31810-1_9
fatcat:f4oxe6dsgfee3i3dbgcbxvrbcq