10263 search results - page 96 / 2053 » From Use Cases to System Operation Specifications |
159
click to vote
FAC
2008
15 years 6 months ago
2008
This paper explains how the Alloy model-finding method has been used to check the specification of an electronic purse (also called smart card) system, called the Mondex case study...
164
click to vote
ICALP
2000
Springer
15 years 9 months ago
2000
Springer
Graph processes are used in order to formalize the relation between global requirement specifications of multi-agent systems by means of message sequence charts, and implementatio...
202
click to vote
IFIP13
2004
15 years 7 months ago
2004
: This paper proposes a development process for interactive systems based both on verification and validation methods. Our approach is formal and use at first the B Method. We show...
151
click to vote
IFIP
2000
Springer
15 years 9 months ago
2000
Springer
New non-desktop technologies may turn out to be of a more open and generic nature than traditional information technologies. These technologies consequently pose novel challenges ...
171
click to vote
RAID
2009
Springer
16 years 22 days ago
2009
Springer
In this paper, we leverage the concepts of formal grammar and genetic operators to evolve malware. As a case study, we take COM infectors and design their formal grammar with produ...