Sciweavers

4919 search results - page 213 / 984
» A Process-Ontological Model for Software Engineering
Sort
View
TASE
2009
IEEE
16 years 1 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...
ICSEA
2008
IEEE
16 years 28 days 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...
RE
2004
Springer
15 years 12 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...
PASTE
2005
ACM
16 years 2 days 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...
EUROMICRO
2007
IEEE
16 years 25 days 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