Véronique Donzeau-Gouge

According to our database1, Véronique Donzeau-Gouge authored at least 18 papers between 1980 and 2008.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2008
A formal and sound transformation from Focal to UML : an application to airport security regulations.
Innov. Syst. Softw. Eng., 2008

Producing UML Models from Focal Specifications: An Application to Airport Security Regulations.
Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

Formal Modeling of Airport Security Regulations using the Focal Environment.
Proceedings of the First International Workshop on Requirements Engineering and Law, 2008

2007
Using Computer Science Modeling Techniques for Airport Security Certification.
Proceedings of the First International Conference on Research Challenges in Information Science, 2007

2006
Adopting a situational requirements engineering approach for the analysis of civil aviation security standards.
Softw. Process. Improv. Pract., 2006

Reasoning about Airport Security Regulations Using the Focal Environment.
Proceedings of the Leveraging Applications of Formal Methods, 2006

Certifying Airport Security Regulations Using the Focal Environment.
Proceedings of the FM 2006: Formal Methods, 2006

An attempt to combine UML and formal methods to model airport security.
Proceedings of the 18th Conference on Advanced Information Systems Engineering (CAiSE '06), 2006

Modeling Airport Security Regulations in Focal.
Proceedings of the CAISE*06 Workshop on Regulations Modelling and their Validation and Verification ReMo2V '06, 2006

2004
Building certified components within FOCAL.
Proceedings of the Revised Selected Papers from the Fifth Symposium on Trends in Functional Programming, 2004

2002
A methodological process for the design of a large system: two industrial case-studies.
Proceedings of the 7th International ERCIM Workshop in Formal Methods for Industrial Critical Systems, 2002

2000
Deriving Software Specifications from Event Based Models.
Proceedings of the ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29, 2000

1987
Development of a Programming Environment for Setl.
Proceedings of the ESEC '87, 1987

1985
A tool for Ada program manipulations: mentor-Ada.
Proceedings of the 1985 Annual ACM SIGAda International Conference on Ada, 1985

1984
Documents Structure and Modularity in Mentor.
Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1984

Practical Applications of a Syntax Directed Program Manipulation Environment.
Proceedings of the Proceedings, 1984

1983
Outline of a Tool for Document Manipulation.
Proceedings of the Information Processing 83, 1983

1980
On the formal definition of ADA.
Proceedings of the Semantics-Directed Compiler Generation, 1980


  Loading...