Browsing School of Computer Science and Informatics by Publication Date
Now showing items 21-40 of 2710
-
Proving the correctness of the interlock mechanism in processor design.
(Book chapter)In this paper, Interval Temporal Logic (ITL) us used to specify and verify the event processor EP/3, which is a multi-threaded pipeline processor capable of executing parallel programs. We first give the high level ... -
Refining interval temporal logic specifications
(Book chapter)Interval Temporal Logic (ITL) was designed as a tool for the specification and verification of systems. The development of an executable subset of ITL, namely Tempura, was an important step in the use of temporal logic as ... -
A dense-time temporal logic with nice compositionality properties
(Article)A dense temporal logic specification method for the development of reactive systems is introduced. The two development constructs of this method are refinement and composition. A reactive system is specified by a pair ... -
The Enhancement of the Goodyer Skin Rheometer by means of a Microcontroller Based PCB.
(Conference)GSI Ltd designs and manufactures low volume high cost specialist Test and Measurement Equipment, mainly concentrating on systems for use by the cosmetics industry, and for use in prototype vehicles. The FUSE project involved ... -
Designing a provably correct robot control system using a "lean" formal method
(Book chapter)A development method for the construction of provably correct robot control systems together with its supporting tool environment are described. The method consists of four stages: 1. specification, 2. refinement, 3. ... -
Genetic algorithm and neural network hybrid approach for job-shop scheduling
(Conference)This paper proposes a genetic algorithm (GA) and constraint satisfaction adaptive neural network (CSANN) hybrid approach for job-shop scheduling problems. In the hybrid approach, GA is used to iterate for searching optimal ... -
Integrating structured OO approaches with formal techniques for the development of real-time systems
(Article)The use of formal methods in the development of time-critical applications is essential if we want to achieve a high level of assurance in them. However, these methods have not yet been widely accepted in industry as ... -
Recursion removal/introduction by formal transformation: an aid to program development and program comprehension
(Article)The transformation of a recursive program to an iterative equivalent is a fundamental operation in Computer Science. In the reverse direction, the task of reverse engineering (analysing a given program in order to determine ... -
Constraint satisfaction adaptive neural network and efficient heuristics for job-shop scheduling
(Conference)An efficient constraint satisfaction based adaptive neural network and heuristics hybrid approach for job-shop scheduling is presented. The adaptive neural network has the property of adaptively adjusting its connection ... -
A Conceptual Framework for Modelling and Simulation of Variable Structure Hybrid Systems
(Conference)This paper introduces a conceptual framework for modeling and simulation of variable structure hybrid systems. The framework proposed is based on and further extends the DEVS-formalism, providing a novel definition for ... -
A wide-spectrum language for object-based development of real-time systems.
(Article)A formal design notation is present whose underlying computational model is object-based. The object structure of the model is based on the practical, industry-strength Object Oriented structure development technique ... -
The systematic construction of information systems
(Book chapter)Process modelling is a vital issue for communicating with experts of the application domain. Depending on the roles and responsibilities of the application domain experts involved, process models are discussed on different ... -
Fuzzy systems in medicine
(Book chapter)