2702 search results - page 82 / 541 » Practically Applicable Formal Methods |
108
click to vote
UML
2001
Springer
15 years 2 months ago
2001
Springer
The work presented here is part of a project that aims at the definition of a methodology for developing realtime software systems based on UML. In fact, being relatively easy to ...
113
click to vote
DIM
2007
ACM
15 years 1 months ago
2007
ACM
In this paper, we examine how conclusions about linkability threats can be drawn by analyzing message contents and subject knowledge in arbitrary communication systems. At first, ...
SE
2007
14 years 11 months ago
2007
: The application of scientifically derived theories on software testing strongly depends on their ability to provide a value for practice. We provide a comprehensive review on the...
TPHOL
1998
IEEE
15 years 2 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
110
click to vote
FASE
2006
Springer
15 years 1 months ago
2006
Springer
This paper describes the application of the Real-Time Maude tool to the formal specification and analysis of the CASH scheduling algorithm and its suggested modifications. The CASH...