4469 search results - page 306 / 894 » A Language for Role Specifications |
191
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
This paper presents a classification framework for workflow exception handling in the form of patterns. This framework is independent of specific modelling approaches or technologi...
191
click to vote
LPAR
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. The ZETA system is a Z-based tool environment for developing formal specifications. It contains a component for executing the Z language based on the implementation techn...
164
click to vote
SP
2000
IEEE
15 years 10 months ago
2000
IEEE
Tradeoffs are an important part of engineering security. Protocol security is important. So are efficiency and cost. This paper provides an early framework for handling such aspec...
160
click to vote
BIRTHDAY
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
170
click to vote
ENTCS
2006
15 years 6 months ago
2006
In this paper, we describe a system, written in Haskell, for the automated verification of Web sites which can be used to specify (partial) correctness and completeness properties...