Now showing items 1-5 of 5
Integrating structured OO approaches with formal techniques for the development of real-time systems
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 ...
A wide-spectrum language for object-based development of real-time systems.
(Elsevier Preprints, 1999-03-15)
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 ...
Recursion removal/introduction by formal transformation: an aid to program development and program comprehension
(Oxford University Press, 1999)
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 ...
A Conceptual Framework for Modelling and Simulation of Variable Structure Hybrid Systems
(The AAAI Press, 1999-03)
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 ...
Constraint satisfaction adaptive neural network and efficient heuristics for job-shop scheduling
(Elsevier Science Ltd, 1999)
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 ...