|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 19 occurrences of 18 keywords
|
|
|
|
|
Results
Found 16 publication records. Showing 16 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Isabelle Perseil, J. Paul Gibson |
Introduction to special issue: papers from UML&FM'2011.  |
ISSE  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Isabelle Perseil |
ALF formal. |
ISSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Isabelle Perseil |
Towards a specific software development process for high integrity systems. |
ACM SIGSOFT Software Engineering Notes |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Isabelle Perseil, Laurent Pautet, Jean-François Rolland, Mamoun Filali, Didier Delanote, Stefan Van Baelen, Wouter Joosen, Yolande Berbers, Frédéric Mallet, Dominique Bertrand, Sébastien Faucou, Abdelhafid Zitouni, Mahmoud Boufaïda, Lionel Seinturier, Joël Champeau, Thomas Abdoul, Peter H. Feiler, Chokri Mraidha, Sébastien Gérard |
An Efficient Modeling and Execution Framework for Complex Systems Development. |
ICECCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Isabelle Perseil, Karin Breitman, Roy Sterritt (eds.) |
16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011 |
ICECCS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Isabelle Perseil, Laurent Pautet |
Formal methods integration in software engineering. |
ISSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Isabelle Perseil, Jean-Michel Bruel, Agusti Canals, Robert de Simone, Sébastien Gérard, Elie Najm |
Introduction to special issue: papers from UML&FM'2009. |
ISSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Isabelle Perseil, Laurent Pautet |
High-Level Abstraction Modeling for Detailed Analysis of Avionic Real-Time Systems. |
ECBS |
2010 |
DBLP DOI BibTeX RDF |
Real-time systems, Abstraction, Analysis, MARTE |
| 1 | Isabelle Perseil, Laurent Pautet |
From MARTE to AADL with a Seamless Process. |
ICECCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Michel Bruel, Agusti Canals, Sébastien Gérard, Isabelle Perseil |
Introduction to special issue: papers from UML&FM. |
ISSE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Isabelle Perseil, Laurent Pautet |
An Emerging Need for a New Software Engineering Method. |
ICECCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Michel Bruel, Agusti Canals, Sébastien Gérard, Isabelle Perseil |
Introduction to special issue: papers from UML&FM. |
ISSE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Isabelle Perseil, Laurent Pautet |
Foundations of a new software engineering method for real-time systems. |
ISSE |
2008 |
DBLP DOI BibTeX RDF |
PBSE, +CAL, UML, Real-time, Code generation, MDA, Model transformation, MDE, MARTE, AADL, Continuum, Software engineering method |
| 1 | Isabelle Perseil, Laurent Pautet |
A Concrete Syntax for UML 2.1 Action Semantics Using +CAL. |
ICECCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Isabelle Perseil, Laurent Pautet |
A Co-Modeling Methodology Designed for RT Architecture Models Integration. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Khaled Barbaria, Laurent Pautet, Isabelle Perseil |
Schizophrenic middleware support for fault tolerance. |
SIGAda |
2006 |
DBLP DOI BibTeX RDF |
fault tolerance, software architecture, middleware, Ada, CORBA |
Displaying result #1 - #16 of 16 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")