Heapsort and its associated formal specification
The formal specification of ELEKTRA
... Now, in order to execute a relation or action, it is necessary to check that the relation or action is actually known to be executable. Then matters dier: for actions, it is simply a matter of applying the procedure ...
62
27 Formal Specification
... 1997). Formal specifications can be difficult and tedious to read especially when they are presented as large mathematical ...with formal descriptions. The formal description is included as small, ...
23
Specification Skirt, Formal, Blue, Officer
... Police Specification (RCMP) ...this specification must be free from material and manufacturing defects that may affect its appearance or ...this specification or contract documents, production ...
14
Formal Specification of an Access Control System
... Principals are responsible for requests; Clients and Servers are the communicating parties involved in requests. Access rights depend on attributes of Principals, not of Clients. Entities are not fixed in the role of ...
17
Formal Specification and Automatic Verification of Conditional Commitments
... withdraw its commitment SCC(Mer, Cus, sendPayment, deliverGoods) holding at social state s, the predicate proposition p = Cancel(Mer, SCC (Mer, Cus, sendPayment, deliverGoods)) will hold in the accessible state ...
12
A Formal Specification of the MIDP 2.0 Security Model
... Although this sandbox security model effectively prevents any rogue application from jeopardising the security of the device, it is excessively restrictive and does not allow many useful applications to be deployed after ...
10
Using a Graphical Design Tool for Formal Specification
... Modelling large systems usually requires initially a structural design, which is then populated with more precise semantic detail. It is this first modelling stage that benefits from program design tools such as UML. ...
10
Formal Specification of Performance Metrics for Intelligent Systems
... One of the engineering advantages of using automata as a specification language is its graphical representation. It is useful and illuminating to represent timed ∀-automata by diagrams. A timed ∀-automaton ...
5
On the Formal Specification of Regulatory Compliance: A Comparative Analysis
... the formal foundation of compliance ...particular formal language is context-dependent that should be based on the nature, complexity and source of compliance ...when formal specification of ...
12
Framework for the Formal Specification and Verification of Security Guidelines
... a formal model that allows us to exploit its properties, and approximate its ...automatic formal verification of the ...automatic formal verification on the code ...
11
Formal Structured Specification for Web Application Testing
... a formal specifica- tion in XML syntax which specifies the functionality, security and performance of a web application needs to be ...input specification and generates test cases based on ...validates ...
10
ConSpec A Formal Language for Policy Specification 1
... our framework we need a formalism convenient for specification of both programs and requirements to them. Moreover, temporal logic formulae can be translated to automata by applying a tableaux procedure [11]. The ...
14
Formal Specification of a Context-aware Whiteboard System in CCA
... n P A context expression specifies a property upon the state of the environment. A context-guarded prefix κ?M.P is a process that waits until the environment satisfies the context expression κ, then performs the ...
6
A Conflicts Detection Approach for Merging Formal Specification Views
... 4.4 Merging Merging is a direct process that consists of integrating (or applying) the changes made in the delta(s) after all con- flicts have been discovered and resolved. Thus, merging is only possible when there is a ...
12
On formal specification of emergent behaviours in swarm robotic systems
... a formal method, which would normally be used to spec- ify and prove properties of a software system, in swarm ...the specification of swarm robotic systems, because of its ability to model ...
9
A Formal Framework Supporting the Specification of the Interactions between Agents
... through its rich notation, an interesting way for concurrent systems formal specification and ...a formal framework supporting the translation of multi-agent interactions, specified using the ...
14
A Formal Mapping fromObject-Z Specification to C++ Code
... Next, the class of a credit-card account object in isolation is specied: this class encapsulates the details of the state of a credit card and the operations it can undergo. Also, this specication introduces axiomatic ...
25
Formal specification of AI systems : four case studies
... The control loop of the specification proved to be the hardest part. This is because the user is intended to have a great many options when using the system. For example, the user may want to start a session with ...
18
CiteSeerX — Complete formal specification of the OpenMP memory model
... • the smOps that remain to be evaluated for each thread (one list per thread). During each state transition the runtime phase chooses a thread and evaluates its pending smOp. It may evaluate smOps out of order if ...
15
The functional dendritic cell algorithm: a formal specification with Haskell
... new specification to implement the deterministic DCA in Haskell - the ...functional specification will help improve the quality of future DCA related research and to help others understand further ...
8