4290 search results - page 17 / 858 » Formal Approaches to Teamwork |
CONCUR
1999
Springer
15 years 4 months ago
1999
Springer
This paper discusses the use of formal methods in testing of concurrent systems. It is argued that formal methods and testing can be mutually profitable and useful. A framework fo...
92
Voted
ANSOFT
2002
14 years 11 months ago
2002
This paper addresses two issues: how formal object modeling techniques facilitate the XML application development and how XML technology helps formal/graphical software design proc...
126
click to vote
MKM
2004
Springer
15 years 5 months ago
2004
Springer
As the amount of online formal mathematical content grows, for example through active efforts such as the Mathweb [21], MOWGLI [4], Formal Digital Library, or FDL [1], and others, ...
104
click to vote
KBSE
1997
IEEE
15 years 4 months ago
1997
IEEE
Given a program S and a precondition Q, the strongest postcondition, denoted sp(S Q), is defined as the strongest condition that holds after the execution of S, given that S term...
100
click to vote
CORR
2011
Springer
14 years 6 months ago
2011
Springer
— In recent times, many protocols have been proposed to provide security for various information and communication systems. Such protocols must be tested for their functional cor...