Sciweavers

650 search results - page 104 / 130
» Modeling SPARK systems with UML
Sort
View
SIGSOFT
2010
ACM
14 years 11 months ago
RT-simex: retro-analysis of execution traces
This presentation demonstrates the early results from the French ANR project RT-Simex. RT-Simex proposes a set of tools to analyze timing of parallel embedded code and trace the s...
Julien DeAntoni, Frédéric Mallet, Fr...
ISORC
2009
IEEE
15 years 11 months ago
Marte CCSL to Execute East-ADL Timing Requirements
In the automotive domain, several loosely-coupled Architecture Description Languages (ADLs) compete to proet of abstract modeling and analysis services on top of the implementatio...
Frédéric Mallet, Marie-Agnès ...
ICWE
2004
Springer
15 years 9 months ago
MDA applied: From Sequence Diagrams to Web Service Choreography
Abstract. Web Services and Web Service composition languages for Web Service choreography are becoming more and more important in the area for inter-enterprise application and proc...
Bernhard Bauer, Jörg P. Müller
SAC
2003
ACM
15 years 9 months ago
WebSOGO: A Global Ontology for Describing Web Sources
Based on the limitations raised by existing approaches in the context of the Semantic Web, we propose a formalism, Web Sources Global Ontology (WebSOGO), a data meta-model for the...
Edna Ruckhaus, Maria-Esther Vidal
ICSE
2001
IEEE-ACM
15 years 8 months ago
Composition Patterns: An Approach to Designing Reusable Aspects
Requirements such as distribution or tracing have an impact on multiple classes in a system. They are cross-cutting requirements, or aspects. Their support is, by necessity, scatt...
Siobhán Clarke, Robert J. Walker