3555 search results - page 639 / 711 » Security-Critical System Development with Extended Use Cases |
113
click to vote
FATES
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. So far, model-based testing approaches have mostly been used in testing through various kinds of APIs. In practice, however, testing through a GUI is another equally impo...
ICSM
2003
IEEE
15 years 6 months ago
2003
IEEE
Software maintainers and auditors would benefit from a tool to help them focus their attention on functions that are likely to be the source of security vulnerabilities. However,...
128
click to vote
ICDCS
2002
IEEE
15 years 6 months ago
2002
IEEE
This paper presents a mailbox-based scheme for designing flexible and adaptive message delivery protocols in mobile agent (MA) systems. The scheme associates each mobile agent wit...
101
click to vote
FINTAL
2006
15 years 5 months ago
2006
The tool extract enables the automatic extraction of lemma-paradigm pairs from raw text data. The tool uses search patterns that consist of regular expressions and propositional lo...
116
click to vote
ICRE
2000
IEEE
15 years 5 months ago
2000
IEEE
Today, object-oriented requirements specifications typically combine a scenario (or use case) model and a class model for expressing functional requirements. With any such combina...