1031 search results - page 157 / 207 » On the Formal Development of Safety-Critical Software |
92
Voted
ECWEB
2005
Springer
15 years 6 months ago
2005
Springer
Many approaches have been developed for modeling the functional aspects of Web applications, but there is a lack of a modeling language for their architectural concerns. This paper...
73
Voted
SAC
2004
ACM
15 years 6 months ago
2004
ACM
This work presents an object-oriented calculus based on higher-order mixin construction via mixin composition, where some software engineering requirements are modeled in a formal ...
95
Voted
FATES
2004
Springer
15 years 6 months ago
2004
Springer
We present the development of T-UPPAAL — a new tool for online black-box testing of real-time embedded systems from non-deterministic timed automata specifications. It is based ...
ISW
2001
Springer
15 years 5 months ago
2001
Springer
We present the adaptation of our model for the validation of key distribution and authentication protocols to address specific needs of protocols for electronic commerce. The two ...
113
Voted
CSFW
1993
IEEE
15 years 4 months ago
1993
IEEE
Machines for Communication Security Pierre Bieber, Nora Boulahia-Cuppens Thomas Lehmann, Erich van Wickeren ONERA-CERT CAP debis GEI 2 Av. E. Belin Oxfordstr. 12-16 F-31055, Toulou...