ENTCS
2008
14 years 15 days ago
2008
We present a Hoare-style specification and verification approach for invariants in sequential OO programs. It allows invariants over nonhierarchical object structures, in which upd...
ENTCS
2010
14 years 15 days ago
2010
We present a novel specification language called JDC to be used at design phase of distributed components. The extensive seek for asynchrony in distributed components demands new ...
CAD
2008
Springer
14 years 16 days ago
2008
Springer
The main difficulty associated with a collaborative design process is understanding the product data exchanged during design. Efficient and effective coordination of design activi...
SIGMOD
2010
ACM
14 years 19 days ago
2010
ACM
We develop a compact and efficient reachability labeling scheme for answering provenance queries on workflow runs that conform to a given specification. Even though a workflow run...
ATVA
2010
Springer
14 years 19 days ago
2010
Springer
This paper proposes a method for automatically inserting check statements for access control into a given recursive program according to a given security specification. A history-b...
FORTE
1993
14 years 1 months ago
1993
In this paper, we propose an incremental construction approach for distributed system specifications. These specifications are structured as a parallel composition of subsystem sp...
IWFM
1998
14 years 1 months ago
1998
In this paper we suggest methods to aid the development of specifications using the B method. We propose an objectoriented approach to specification, developing the structure thro...
FBT
1998
14 years 1 months ago
1998
: We show how an alternative approach to document-oriented specification can ease the system design process. By identifying the modeling concepts needed for a complete system speci...
IFIP13
2004
14 years 1 months ago
2004
: This paper proposes a development process for interactive systems based both on verification and validation methods. Our approach is formal and use at first the B Method. We show...
FOIS
2006
14 years 1 months ago
2006
In this paper we present methods to generate a Description Logic (DL) theory from a given First Order Logic (FOL) theory, such that each DL axiom is entailed by the given FOL theor...