Sciweavers

15784 search results - page 716 / 3157
» Mega Software Engineering
Sort
View
ETFA
2008
IEEE
15 years 9 months ago
Functional and structural properties in the Model-Driven Engineering approach
In this paper we discuss the separation between attributes on functionality and on structure following an approach based on Model Driven Engineering (MDE). We adopt a methodologic...
Daniela Cancila, Roberto Passerone
ICSE
2004
IEEE-ACM
16 years 7 months ago
Revisiting Statechart Synthesis with an Algebraic Approach
The idea of synthesizing statecharts out of a collection of scenarios has received a lot of attention in recent years. However due to the poor expr essive power of
Jean-Marc Jézéquel, Loïc H&eacu...
VMCAI
2010
Springer
16 years 4 months ago
Automatic Abstraction for Congruences
c Abstraction for Congruences A Story of Beauty and the Beast Andy King and Harald S?ndergaard Portcullis Computer Security University of Melbourne g and Harald S?ndergaard Automat...
Andy King, Harald Søndergaard
INTENSIVE
2009
IEEE
16 years 2 months ago
SemMed: Applying Semantic Web to Medical Recommendation Systems
Alejandro Rodríguez González, Enriqu...
ICFEM
2009
Springer
16 years 1 months ago
RAFFS: Model Checking a Robust Abstract Flash File Store
Flash File Store Paul Taverne and C. (Kees) Pronk Report TUD-SERG-2009-033 SERG
Paul Taverne, Cornelis Pronk