23 search results - page 1 / 5 » Scenario Synthesis from Imprecise Requirements |
92
Voted
SAM
2004
14 years 10 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
15 years 3 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
15 years 9 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...
84
Voted
COMPSAC
2000
IEEE
15 years 1 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
14 years 11 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...