3555 search results - page 25 / 711 » Security-Critical System Development with Extended Use Cases |
126
click to vote
EUROMED
2010
14 years 11 months ago
2010
A map series of 1920s Mytilene town, property of Lesvos Archives, had been inaccessible due to its poor condition. One map of this series was restored, scanned, digitised and given...
104
click to vote
ICFEM
2000
Springer
15 years 4 months ago
2000
Springer
Use Cases are a wide-spread informal method for specifying the requirements of a technical system in the early development phase. Z is a formal notation which aims to support, bes...
110
click to vote
AWIC
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. Complementary to hypertext navigation, classic information retrieval is broadly used to find information on the World Wide Web and on Web-based systems. Among these there...
138
click to vote
FLAIRS
2009
14 years 11 months ago
2009
Empirical testing is a very popular evaluation method for the development of intelligent systems. Here, previously solved problems with correct solutions are given as cases to the...
DAGSTUHL
2008
15 years 2 months ago
2008
We present some examples of extensions for C-XSC that have been developed lately. Among these are extensions that give access to further hardware and software environments as well ...