We present an analysis of the benefits and drawbacks of function and object based models in system specification. Functional models should be used for functional design space expl...
In models of military operations it is important to include the Command and Control (C2) process in order to achieve a realistic simulation of a military force's behaviour an...
We describe how aircraft are designed in a large organization. We discuss the different phases of design and interaction with the customer. We then describe the models used by each...
Recent text and speech processing applications such as speech mining raise new and more general problems related to the construction of language models. We present and describe in...
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...