1481 search results - page 103 / 297 » Enriching the Software Development Process by Formal Methods |
128
Voted
FMCO
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
116
click to vote
CAV
2009
Springer
16 years 4 months ago
2009
Springer
We address the problem of analyzing programs such as J2ME midlets for mobile devices, where a central correctness requirement concerns confidentiality of data that the user wants t...
105
Voted
ISW
2001
Springer
15 years 8 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 ...
156
click to vote
KBSE
2000
IEEE
15 years 8 months ago
2000
IEEE
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
149
click to vote
OOPSLA
2007
Springer
15 years 9 months ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...