714 search results - page 26 / 143 » The Formal Specification Language mCRL2 |
154
Voted
GI
2009
Springer
15 years 1 months ago
2009
Springer
Abstract: Model based testing promises systematic test coverage in a continuous testing process. However, in practice, model based testing struggles with informal specifications, d...
133
Voted
FORTE
2004
15 years 5 months ago
2004
Eliciting, modeling, and analyzing the requirements are the main challenges to face up when you want to produce a formal specification for distributed systems. The distribution and...
135
Voted
ICWS
2008
IEEE
15 years 5 months ago
2008
IEEE
BPEL (Business Process Execution Language) has become the standard for specifying and executing workflow specifications for web service composition invocation. A major weakness of ...
119
Voted
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
An organizational modeling language can be used to specify an agent organization in terms of its roles, organizational structure, norms, etc. Such an organizational specification ...
109
Voted
IWFM
1998
15 years 5 months ago
1998
In this paper, we present a proof that the bitonic sort is sound using PVS, a powerful specification and verification environment. First, we briefly introduce this well-known para...