107 search results - page 16 / 22 » Products of Message Sequence Charts |
115
click to vote
I3E
2001
14 years 11 months ago
2001
: Designing security-critical systems correctly is very difficult. We present work on software engineering of security critical systems, supported by the CASE tool AUTOFOCUS. Secur...
FASE
2003
Springer
15 years 2 months ago
2003
Springer
Scenarios are powerful tools to model and analyze software systems. However, since they do not provide a complete description of the system, but just some possible execution paths,...
ECBS
2009
IEEE
15 years 1 months ago
2009
IEEE
We present and formalize concepts for the structured specification of system behavior based on services. Services are patterns of interaction between reactive components, thus sup...
KBSE
2000
IEEE
15 years 2 months ago
2000
IEEE
This paper describes a new approach to visualization of scenarios within the use case-based engineering of functional requirements – the so-called Video Camera metaphor. The Vid...
NAR
2007
14 years 9 months ago
2007
FLAN (short for FLu ANnotation), the NCBI web server for genome annotation of influenza virus (http://www.ncbi.nlm.nih.gov/genomes/FLU/ Database/annotation.cgi) is a tool for user...