8083 search results - page 154 / 1617 » A Formalization of Software Architecture |
136
click to vote
WICSA
2004
15 years 5 months ago
2004
Software architecture descriptions can play a wide variety of roles in the software lifecycle, from requirements specification, to logical design, to implementation architectures....
128
click to vote
ESSOS
2010
Springer
16 years 25 days ago
2010
Springer
In the challenge of ensuring the correct behaviour of legacy implementations of security protocols, a formally-based approach is presented to design and implement monitors that sto...
118
click to vote
FASE
2009
Springer
15 years 10 months ago
2009
Springer
Security automata are a convenient way to describe security policies. Their typical use is to monitor the execution of an application, and to interrupt it as soon as the security p...
132
click to vote
ASWEC
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper explains some analyses that can be performed on a hierarchical finite state machine to validate that it performs as intended. Such a hierarchical state machine has tra...
160
click to vote
SEFM
2007
IEEE
15 years 10 months ago
2007
IEEE
Various research prototypes and a well-founded theory of model based testing (MBT) suggests the application of MBT to real-world problems. In this article we report on applying th...