1005 search results - page 5 / 201 » Formal Software Development in MAYA |
109
Voted
MODELS
2007
Springer
15 years 10 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...
149
click to vote
FCCM
2006
IEEE
15 years 7 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...
131
click to vote
FASE
2000
Springer
15 years 7 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
116
click to vote
COMPSAC
2010
IEEE
15 years 1 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...