MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Patrick Heymans" – sorted by Relevance.

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

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

18 documents found, showing 1 through 10. Next 10 →

ATOM

The Albert II Specification Animator
by Patrick Heymans — 1997
…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
by Patrick Heymans, Eric Dubois — 1999 — Requirements Engineering Journal
… 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
by Yves Bontemps, Patrick Heymans — 2003 — Proc of Scenarios and State Machines: Models Algorithms and tools, 24th International Conf. on Software Engineering, May 2002, ACM
…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
by Jean-christophe Trigaux, Patrick Heymans, Pierre-yves Schobbens, Andreas Classen — 2006 — In Proceedings of the Fourth International Workshop on Comparative Evolution in Requirements Engineering (CERE
…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
by Yves Bontemps, Patrick Heymans, Hillel Kugler — 2003 — Proc. of the 2nd Int. Workshop on “Scenarios and State Machines: Models, Algorithms and Tools” (SCESM’03), at the 25th Int. Conf. on Soft. Eng. (ICSE’03
… 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
by Peter Haumer, Peter Haumer, Patrick Heymans, Patrick Heymans, Klaus Pohl, Klaus Pohl — 1998
… 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
by Yves Bontemps, Patrick Heymans, Pierre-yves Schobbens, Jean-christophe Trigaux — 2004 — Proceedings SPLC 2004 Workshop on Software Variability Management for Product Derivation – Towards Tool Support
…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
by Nicolas Mayer, Patrick Heymans, Raimundas Matulevičius — 2006
…, 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 ∗
by Raimundas Matulevičius, Patrick Heymans, Guttorm Sindre
…-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
by A. Classen, A. Hubaux, P. Heymans, P. Heymans, Andreas Classen, Arnaud Hubaux, Patrick Heymans — 2009
… Hubaux and Patrick Heymans PReCISE Research Centre, Faculty of Computer Science, University of Namur 5000…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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