23 search results - page 1 / 5 » Scenario Synthesis from Imprecise Requirements |
SAM
2004
13 years 6 months ago
2004
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 compo...
BIRTHDAY
2005
Springer
13 years 10 months ago
2005
Springer
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...
ICSE
2007
IEEE-ACM
14 years 4 months ago
2007
IEEE-ACM
Synthesis of behaviour models from software development artifacts such as scenario-based descriptions or requirements specifications not only helps significantly reduce the effort...
COMPSAC
2000
IEEE
13 years 9 months ago
2000
IEEE
Scenario analysis is a vehicle of separating concerns in the elicitation of users' requirements. It is also a means of requirements validation and verification. In the practi...
DAGSTUHL
2003
13 years 6 months ago
2003
Abstract. The continuing trend towards more sophisticated technical applications results in an increasing demand for high quality software for complex, safety-critical systems. Des...