1419 search results - page 74 / 284 » Notes on Formalizing Context |
96
Voted
FM
2006
Springer
15 years 4 months ago
2006
Springer
This paper considers network services that bind identifiers in the course of delivering messages, and also persistent, point-to-point connections made in the context of such bindin...
88
Voted
FMICS
2008
Springer
15 years 2 months ago
2008
Springer
This paper presents an experience report on the specification and the validation of a real case study in the context of the industrial CRISTAL project. The case study concerns a pl...
104
Voted
FORTE
1990
15 years 1 months ago
1990
Formal specifications are a well-known technique for improving software devel the context of OSI communication protocol standards, Formal Description Te (FDT's) have been dev...
97
Voted
ENTCS
2002
15 years 13 days ago
2002
This article discusses mutation testing strategies in the context of refinement. Here, a novel generalization of mutation testing techniques is presented to be applied to contract...
87
Voted
CONTEXT
2007
Springer
15 years 6 months ago
2007
Springer
In this paper we provide a formalization of a set of default rules that we claim are required for the transfer of information such as causation, event rate and duration in the inte...