Sciweavers

4919 search results - page 213 / 984
» A Process-Ontological Model for Software Engineering
Sort
View
TASE
2009
IEEE
15 years 10 months ago
MARS: Metamodel Recovery from Multi-tiered Models Using Grammar Inference
In model-driven engineering, metamodels may get lost over time resulting in the inability to load and view existing model instances. MARS is a system that recovers metamodels from...
Qichao Liu, Faizan Javed, Marjan Mernik, Barrett R...
128
Voted
ICSEA
2008
IEEE
15 years 10 months ago
A UML Based Methodology to Ease the Modeling of a Set of Related Systems
Despite progress in model engineering, modeling large distributed systems is still a long and complex task. This paper outlines a methodology based on UML to make the modeling of ...
Firas Alhalabi, Mathieu Maranzana, Jean-Louis Sour...
116
Voted
RE
2004
Springer
15 years 9 months ago
Visual Variability Analysis for Goal Models
One of the benefits of goal-oriented requirements engineering is the possibility of conducting formal analysis in order to evaluate alternative solutions of goal models. Superfici...
Bruno González-Baixauli, Julio Cesar Sampai...
120
Voted
PASTE
2005
ACM
15 years 9 months ago
An empirical framework for comparing effectiveness of testing and property-based formal analysis
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...
Jeremy S. Bradbury, James R. Cordy, Jürgen Di...
137
Voted
EUROMICRO
2007
IEEE
15 years 10 months ago
Using Model Differencing for Architecture-level Regression Testing
Regression testing can be systematically applied at the software architecture level in order to reduce the cost of retesting modified systems, and also to assess the regression t...
Henry Muccini