Formal Specification
The formal specification for measuring dust concentration using Z language
... use formal specification approach in designing database ...the formal specification is able to reduce ambiguities in the system ...of formal specification of Z language in ...
41
Using a Graphical Design Tool for Formal Specification
... for formal specification is greater, but in terms of tools and techniques to aid the modelling process it lags behind those of ...writing formal specifications easier, or at least more approachable ...
10
Experimental Comparison of the Comprehensibility of a UML based Formal Specification versus a Textual One
... software specification is to promote understanding of the system properties between ...stakeholders. Specification comprehensibility is essential particularly during software validation and maintenance as ...
11
Formal Specification Language Jpiaspectz: Looking For A Complete JPI Software Development Process
... are formal languages for software requirements ...classic formal specification language without the direct support of object- oriented abstractions like classes and inheritance, and Object- Z is an ...
6
A Formal Specification of the MIDP 2.0 Security Model
... a formal specification, using the Cal- culus of Inductive Constructions, of the application security model de- fined by the Mobile Information Device Profile ...
10
Formal Specification of UML Use Case Diagram - A CASL based approach
... some formal requirements which can make a project more errorless and ...The formal specification can improve the informal specification understanding of the system by exposing gaps and ...
5
Formal Specification of Performance Metrics for Intelligent Systems
... requirements specification and system verification as the measurement ...requirements specification should be able to represent timed ...this formal specification, examples for specifying ...
5
A formal specification and rigorous implementation of an AI planner
... University of Huddersfield Repository McCluskey, T L A formal specification and rigorous implementation of an AI planner Original Citation McCluskey, T L (2000) A formal specification and rigorous imp[.] ...
44
Formal Specification of Natural Language Syntax Using Two Level Grammar
... FORMAL SPECIFICATION OF NATURAL LANGUAGE SYNTAX USING TWO LEVEL GRAMMAR F O R M A L S P E C I F I C A T I O N O F N A T U R A L L A N G U A G E S Y N T A X A B S T R A C T T h e two level g r a m m a[.] ...
6
Formal specification of a wall-climbing robot using Z-A case study of small-scale embedded hard real-time system
... term formal method refers to the use of the techniques from logic and discrete mathematics in the specification, design and construction of computer systems and software ...the formal methods is a ...
16
The formal specification of a blackboard framework
... a formal specification exercise, we wanted to pin our interpretation of the blackboard architecture down: we wanted, therefore, to construct a formal model of our ...a formal ...
20
formal specification of PLC programs using temporal logic AIMTDR 1994
... Programmable Logic Controllers (PLC) form the backbone of automation in discrete manufacturing factories, power plants and other critical systems. Most PLC programming techniques do not facilitate program verification, ...
7
Formal Specification and Verification of Real-Time Systems using Graph Grammars
... 2. O BJECT B ASED G RAPH G RAMMARS Object based graph grammar (OBGG) is a formal vi- sual language suited to the specification of object-based systems. We consider object-based systems with the fol- lowing ...
18
Automated formal specification generation and refinement from requirement documents
... As mentioned before, the language used to write these use cases is a Controlled Natural Language (CNL), a sub- set of English relevant for the specific domain. Using CNL it is possible to write imperative and declarative ...
20
An Implementation of the Task Algebra, a Formal Specification for the Task Model in the Discovery Method
... These examples show how it is possible to express realistic Task Flow diagrams in the Task Algebra and convert them to traces, illustrating the possible executions of the diagrams. These traces are potentially verifiable ...
11
The formal specification of ELEKTRA
... The functionfarity gives the arity of a term: farity : TERM farity constc = 0 farity functft = #t Note that farity is a partial function: we impose the condition that variables have n[r] ...
62
Case Study: Design and Implementation of an Ordering system using UML, Formal specification and Java Builder
... Abstract : This paper presents a case study of designing and implementing a sales ordering interactive system using the best practices for requirement analysis and design. We have used UML Use Case, Class, Sequence and ...
11
Resource Sharing Between Tenants in the Cloud Using Cross Tenant Access Control (CTAC) Model: Formal Specification and Verification
... a formal cross tenant trust model (CTTM) and its role-based extension (RB-CTTM) integrating various types of trust relations into cross- tenant access control models which can be enforced by the multi-tenant ...
7
A Cross Tenant Access Control (CTAC) Model for Cloud Computing: Formal Specification and Verification
... High Level Petri Nets (HLPN) offers graphical and scientific portrayals of the framework, which empowers the investigation of its responses to a given input. Therefore, we are in a position to apprehend the links between ...
8
The role of formal specification in rule based real time AI (extended abstract)
... The paper describes the use of formal methods in the development of AI interpreters and relates formal methods at this level to work in knowledge representation.. The role of formal spec[r] ...
13