The objective of expert systems is the use of Artificial Intelligence tools so as to solve problems within specific prefixed applications. Even when such systems are widely applied...
Abstract. Heterogeneous specification becomes more and more important because complex systems are often specified using multiple viewpoints, involving multiple formalisms. Moreover...
software in the form of abstract classes; and the specification elements of the language can also be used in concrete classes to document the implementations and their development ...
We propose a definition of hierarchical heterogeneous formal specifications, where each module is specified according to its own homogeneous logic. We focus on the specification st...
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...