1432 search results - page 13 / 287 » Executable Protocol Models as a Requirements Engineering Too... |
97
Voted
WCRE
2003
IEEE
15 years 2 months ago
2003
IEEE
Graphical user interfaces (GUIs) are important parts of today’s software and their correct execution is required to ensure the correctness of the overall software. A popular tec...
104
click to vote
RE
2001
Springer
15 years 1 months ago
2001
Springer
pture, at different levels of abstraction, the various objectives the system under consideration should achieve. Goal-oriented requirements engineering is concerned with the use o...
FSTTCS
2007
Springer
15 years 3 months ago
2007
Springer
Security protocols are small programs that are executed in hostile environments. Many results and tools have been developed to formally analyze the security of a protocol. However ...
TSE
2010
14 years 4 months ago
2010
Genetic algorithms (GAs) have been applied previously to UML-driven, stress test requirements generation with the aim of increasing chances of discovering faults relating to networ...
100
Voted
CAISE
2003
Springer
15 years 2 months ago
2003
Springer
This paper presents a requirements engineering framework based on the notions of Actor, Goal, and Intentional Dependency, and applies it to a case study in the field of Informatio...