MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Yves Bontemps" – sorted by Relevance.

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

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

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

ATOM

Realizability of Scenario-based Specifications
by Yves Bontemps
… of Scenario-based Specio/cations Yves Bontemps Me'moire pre'sente' en vue de l'obtention du Diplo^me d…
Add To MetaCart

The Complexity of Live Sequence Charts
by Yves Bontemps, Pierre-yves Schobbens — 2005 — In Foundations of Software Science and Computational Structures, 8th International Conference, FOSSACS 2005
… The Complexity of Live Sequence Charts Yves Bontemps? and Pierre-Yves Schobbens Institut d…
Cited by 6 (0 self) – Add To MetaCart

Automated Verification of State-based specifications against scenarios (A step toward relating inter-object to intra-object specifications)
by Notre-dame Paix, Yves Bontemps — 2001 — University of Namur
…-Object Specifications Yves Bontemps M'emoire r'ealis'e en vue de l'obtention du titre de Maitre en Informatique Ann…
Cited by 5 (3 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

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
…Applying LSCs to the specification of an Air Traffic Control system Yves Bontemps ∗ University…
Cited by 9 (4 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

Synthesis of Open Reactive Systems from Scenario-Based Specifications
by Yves Bontemps , Pierre-Yves Schobbens, Christof Löding — 2004
… Scenario-BasedSpecifications Yves Bontemps\Lambda and Pierre-Yves Schobbens Computer Science Department…
Cited by 18 (4 self) – Add To MetaCart

Une approche circulaire de l'Ingnierie des
by Exigences Base Sur, Yves Bontemps
… Charts Yves Bontemps # Univ. of Namur (CS Dept) - Belgium ybo@(email omitted); Abstract. Le concept…
Add To MetaCart

Lightweight Formal Methods for ScenarioBased Software Engineering
by Yves Bontemps, Patrick Heymans, Pierre-yves Schobbens, B Namur (belgium — 2005 — of Lecture Notes in Computer Science
…Lightweight Formal Methods for Scenario-Based Software Engineering Yves Bontemps ⋆ , Patrick…
Cited by 2 (0 self) – Add To MetaCart

Temporal logic for scenario-based specifications
by Hillel Kugler, Hillel Kugler, David Harel, David Harel, Amir Pnueli, Amir Pnueli, Yuan Lu, Yuan Lu, Yves Bontemps, Yves Bontemps — 2005 — TACAS, volume 3440 of LNCS
…-Based Specifications Authors: Hillel Kugler, David Harel, Amir Pnueli, Yuan Lu and Yves Bontemps Date: 12 January 2005…
Cited by 14 (4 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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