1005 search results - page 5 / 201 » Formal Software Development in MAYA |
TOOLS
1999
IEEE
15 years 4 months ago
1999
IEEE
MODELS
2007
Springer
15 years 5 months ago
2007
Springer
In this position paper, we explain our approach for collaborative systems development based on a model of cooperative applications and a formalism called ORCHESTRA allowing to exp...
108
click to vote
FCCM
2006
IEEE
15 years 3 months ago
2006
IEEE
With advances in reconfigurable hardware, especially field-programmable gate arrays (FPGAs), it has become possible to use reconfigurable hardware to accelerate complex applicatio...
FASE
2000
Springer
15 years 3 months ago
2000
Springer
state-based approach KIV uses abstract state machines (ASMs, [5]) over algebraically specified data types. The semantics of an ASM is the set of
COMPSAC
2010
IEEE
14 years 9 months ago
2010
IEEE
Developing large scale software systems has major security challenges. This paper describes the issues involved and then addresses two topics: formal methods for emerging secure sy...