This paper presents and formally defines the CO-OPN/2 formalism (Concurrent Object-
Oriented Petri Net) which is devised for the specification of large concurrent systems. We …

Encoding and rewriting of large set of terms is very useful in a number of domains, such as
model checking and theorem proving. The challenge of encoding several billions of states …

We propose a method of test selection based on formal specifications, for specification-
based testing of object-oriented software. This method is based on rigorous theoretical …

In order realistically and cost-effectively to realize the ATM (Air Traffic Management) 2000+
Strategy, systems from different suppliers will be interconnected to form a complete …

Abstract The term Domain-Specific Modeling Language is used in software development to
indicate a modeling (and sometimes programming) language dedicated to a particular …

Test Selection for Specification-Based Unit Testing of Object-Oriented Software based on
Formal Specifications Page 1 Test Selection for Specification-Based Unit Testing of Object-Oriented …

This paper presents fundamentals of a novel framework adequately tailored for specifying
and validating complex information systems as fully distributed, autonomous yet cooperating …

Correctness is a desired property of industrial software systems. Although the employment of
formal methods and their verification techniques in embedded real-time systems has started …

G-nets are a type of Petri net defined to support the modeling of a system as a set of
independent and loosely-coupled modules. The modular features of G-nets provide support …

Sommaire Language Driven Engineering (LDE) est un sujet d'application et de recherche
relativement récent. Ce qui est encore plus récent est l'interêt grossissant porté par la …