Multi-agent systems (MASs) can be used to model phenomena that can be decomposed into
several interacting agents which exist within an environment. In particular, they can be used …

The Circus specification language combines elements for complex data and behavior
specifications, using an integration of Z and CSP with a refinement calculus. Its semantics is …

Uma abordagem formal e crucial na especificação e desenvolvimento de sistemas
complexos. Inspirado pela engenharia, o desenvolvimento de software deve preterir a …

Apesar de componentes serem tratados como unidades básicas de composição no
desenvolvimento baseado em componentes (CBD), para que eles obtenham um …

Circus is a combination of Z and CSP; its chief distinguishing feature is the inclusion of the
ideas of the refinement calculus. Our main objective is the definition of refinement methods …

This paper develops a mathematical characterisation of object-oriented concepts by defining
an observation-oriented semantics for an object-oriented language (OOL) with a rich variety …

CSP-OZ is a formal specification language. It is a formal combination of the process algebra
CSP and Object-Z, an object-oriented version of the model-based Z language. CSP-OZ …

In the early days of Computer Science, Christopher Strachey held the belief that
programming should be treated as a mathematical activity, in order to be given a sound …

Uma série temporal é definida como um conjunto de observações de um fenômeno
ordenadas no tempo. Existem vários problemas reais que podem ser representados por …

The Foundations and Methods Research Group (FMG) of the Department of Computer
Science, Trinity College, University of Dublin, was founded in March 1992, when Micheal …