3742 search results - page 175 / 749 » On the Use of Formal Techniques for Validation |
161
click to vote
MASCOTS
2003
15 years 7 months ago
2003
We present a technique for defining and extracting passage-time densities from high-level stochastic process algebra models. Our high-level formalism is PEPA, a popular Markovian...
125
click to vote
BPM
2004
Springer
15 years 12 months ago
2004
Springer
: One of the most debatable features of Event driven Process Chains (EPCs) is their non-local semantics. Most non-local semantics for EPCs either have a formal flaw or are given i...
144
click to vote
DSVIS
1995
Springer
15 years 10 months ago
1995
Springer
Abstract. This paper describes a design technique for interactive systems that allows designs to be specified and refined formally, using a notation based on Action Systems. The ...
173
click to vote
FORTE
1990
15 years 7 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...
157
click to vote
DLOG
2008
15 years 8 months ago
2008
We propose an approach for extending domain knowledge represented in DL ontology by using knowledge extraction methods on ontology assertions. Concept and role assertions are extra...