Detecting inconsistencies in multi-view models with variability

RE Lopez-Herrejon, A Egyed - European Conference on Modelling …, 2010 - Springer
Abstract Multi-View Modeling (MVM) is a common modeling practice that advocates the use
of multiple, different and yet related models to represent the needs of diverse stakeholders …

[PDF][PDF] On the semantics of real-time domain specific modeling languages

JE Rivera - University of Malaga, 2010 - atenea.lcc.uma.es
Over the past five decades, software researchers and developers have been creating
abstractions that help them to program in terms of their design intent rather than constrained …

C2mv2: Consistency and composition for managing variability in multi-view systems

RE Lopez-Herrejon, A Egyed - 2011 15th European …, 2011 - ieeexplore.ieee.org
C2MV2 is an ongoing FP7-People Intra-European Marie Curie Fellowship project that runs
for two years. The driving goal of the project is to apply and extend work on incremental …

[PDF][PDF] Using Incremental Consistency Management for Conformance Checking in Feature-Oriented Model-Driven Engineering.

RE Lopez-Herrejon, A Egyed, S Trujillo, J De Sosa… - VaMoS, 2010 - Citeseer
Feature-Oriented Model-Driven Engineering (FOMDE) is an approach that lies at the
intersection of two complementary paradigms for software construction, Model Driven …

On the need of safe software product line architectures

RE Lopez-Herrejon, A Egyed - European Conference on Software …, 2010 - Springer
Abstract A Software Product Line (SPL) is a family of related software systems distinguished
by the different sets of features each system provides. Over the last decade, the substantial …

Automating defects simulation and fault modeling for SRAMs

S Di Carlo, P Prinetto, A Scionti… - 2008 IEEE International …, 2008 - ieeexplore.ieee.org
The continues improvement in manufacturing process density for very deep sub micron
technologies constantly leads to new classes of defects in memory devices. Exploring the …