292 search results - page 27 / 59 » Abstract and Model Check While You Prove |
CORR
2011
Springer
13 years 5 months ago
2011
Springer
We present an iterative algorithm for enforcing policies represented in a first-order logic, which can, in particular, express all transmission-related clauses in the HIPAA Priva...
RTCSA
1999
IEEE
14 years 2 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
JSS
2010
13 years 4 months ago
2010
Architectural description languages are a useful tool for modeling complex systems at a high level of abstraction. If based on formal methods, they can also serve for enabling the...
BIS
2008
13 years 11 months ago
2008
The increasing utilization of business process models both in business analysis and information systems development raises several issues regarding quality measures. In this contex...
ER
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Neglecting traceability—i.e., the ability to describe and follow the life of a requirement—is known to entail misunderstanding and miscommunication, leading to the en...