Searching for authors named "Patrick Heymans" – sorted by Relevance.
-
The Albert II Specification Animator
- CREWS Report Series 97-13 The Albert II Specification Animator Patrick Heymans August 12 th
- Cited by 4 (3 self) – Add To MetaCart
-
Scenario-Based Techniques for Supporting the Elaboration and the Validation of Formal Requirements
- PATRICK HEYMANS Institut d'Informatique, University of Namur Rue Grandgagnage 21, B-5000 Namur, Belgium
- Cited by 18 (2 self) – Add To MetaCart
-
Turning High-Level Live Sequence Charts into Automata
- Turning High-Level Live Sequence Charts into Automata Yves Bontemps Patrick Heymans April 13
- Cited by 16 (5 self) – Add To MetaCart
-
Comparative semantics of feature diagrams: FFD vs. vDFD
- Comparative semantics of Feature Diagrams: FFD vs. vDFD Jean-Christophe Trigaux, Patrick Heymans
- Cited by 1 (0 self) – Add To MetaCart
-
Applying LSCs to the specification of an Air Traffic Control system
- of Namur Computer Science Department Belgium ybo@(email omitted); Patrick Heymans † University of Namur
- Cited by 9 (4 self) – Add To MetaCart
-
An Integration of Scenario-Based Requirements Elicitation and Validation Techniques
- Techniques by Peter Haumer*, Patrick Heymans**, Klaus Pohl* (*): Lehrstuhl Informatik V, RWTH Aachen
- Cited by 2 (0 self) – Add To MetaCart
-
Semantics of FODA feature diagrams
- Semantics of FODA Feature Diagrams Yves Bontemps ⋆ , Patrick Heymans, Pierre-Yves Schobbens
- Cited by 5 (2 self) – Add To MetaCart
-
Design of a Modelling Language for Information System Security Risk Management
- , Patrick Heymans, Member, IEEE and Raimundas Matulevičius Abstract—Nowadays, security has become one
- Cited by 2 (1 self) – Add To MetaCart
-
COMPARING GOAL-MODELLING TOOLS WITH THE RE-TOOL EVALUATION APPROACH ∗
- -MODELLING TOOLS WITH THE RE-TOOL EVALUATION APPROACH ∗ Raimundas Matulevičius 1 , Patrick Heymans 1 , and Guttorm
- Cited by 1 (1 self) – Add To MetaCart
-
Policy A Formal Semantics for Multi-level Staged Configuration Copyright c ○ University of Namur. All rights reserved. A Formal Semantics for Multi-level Staged Configuration
- Hubaux and Patrick Heymans PReCISE Research Centre, Faculty of Computer Science, University of Namur 5000
- Add To MetaCart

