20 datasets found

Despite the effort made to define methods for the design of high quality software, experience shows that failures of IT systems due to software errors remain very...

Model-Driven Engineering enables to assess a system's model properties since the early phases of its lifecycle and to improve iteratively these models according to the...

We present a case study describing the formal specification and verification of the Chilean electronic invoice system, which has been defined by the Chilean taxes...

Partial evaluation is a technique traditionally used in compilation. We have adapted this technique to the undestanding of scientific application programs during their...

Developing Peer-to-Peer (P2P) applications became increasingly important in software development. Nowadays, a large number of organizations from many different sectors...

Despite the effort made to define methods for the design of high quality software, experience shows that failures of IT systems due to software errors remain very...

International audience

Currently automatic control deals with the theoretical modelling techniques applied to formally define the behaviour of a control system when the system goals and the...

International audience

International audience

Colloque avec actes et comité de lecture.

Article dans revue scientifique avec comité de lecture.

Colloque avec actes et comité de lecture. nationale.

Colloque avec actes et comité de lecture. nationale.

Colloque avec actes et comité de lecture.

Colloque avec actes et comité de lecture.

Colloque avec actes et comité de lecture. nationale.

Colloque avec actes et comité de lecture. nationale.

10 pages

Special Issue on Annotated Terms (ATerms). Article dans revue scientifique avec comité de lecture. nationale.