Searching for authors named "Marielle Doche" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

Extraction of Abstraction Invariants for Data Refinement
by Marielle Doche, Andrew Gravell — In
…Abstract. In this paper, we describe an approach to generating abstraction invariants for data refinement from specifications mixing B and CSP notations. A model-checker can be used to check automatically refinement of the CSP parts. However, we need to translate the CSP into B in order to verify da…
Cited by 1 (0 self) – Add To MetaCart

A Modular Approach to Specify and Test an Electrical Flight Control System
by Marielle Doche, Christel Swguin, Virginie Wiels — 1999 — Control System”, 4th Intl. Workshop on Formal Methods for Industrial Critical Systems
…The goal of this paper is to describe how to apply a rigorous framework for modular specification and validation to a real-time critical system. We are especially interested in generation of functional test sets from a structured specification of the system. We adopt a theoretical framework for bla…
Cited by 2 (0 self) – Add To MetaCart

Constraints for scenario-based testing of object-oriented programs
by Anna Mikhailova, Marielle Doche, Michael Butler, Anna Mikhailova, Marielle Doche, Michael Butler — 2002
…Abstract. Testing of a software system is always based on a contract between the system under test and its environment. Formal mathematical methods provide languages that allow defining such contracts unambiguously, soundly, and succinctly. Since object-oriented programs emphasise encapsulation of i…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 3.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB