Sciweavers

1926 search results - page 143 / 386
» Modeling and Model Checking Software Product Lines
Sort
View
FASE
2008
Springer
15 years 8 months ago
Translating Model Simulators to Analysis Models
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language by means of graph...
Juan de Lara, Hans Vangheluwe
PROFES
2009
Springer
16 years 28 days ago
Integrating Value and Utility Concepts into a Value Decomposition Model for Value-Based Software Engineering
Value-based software engineering (VBSE) is an emerging stream of research that addresses the value considerations of software and extends the traditional scope of software engineer...
Mikko Rönkkö, Christian Frühwirth, ...
COMPSAC
2003
IEEE
15 years 11 months ago
A Test-Driven Component Development Framework based on the CORBA Component Model
Short product cycles and rapidly changing requirements are increasingly forcing developers to use agile development strategies like extreme programming and test–driven developme...
Egon Teiniker, Stefan Mitterdorfer, Leif Morgan Jo...
ASWSD
2006
Springer
15 years 10 months ago
TestML - A Test Exchange Language for Model-Based Testing of Embedded Software
Abstract. Test processes in the automotive industry are tool-intensive and affected by technologically heterogeneous test infrastructures. In the industrial practice a product has ...
Juergen Grossmann, Ines Fey, Alexander Krupp, Mirk...
SIGSOFT
2007
ACM
16 years 7 months ago
Globally distributed software development project performance: an empirical analysis
Software firms are increasingly distributing their software development effort across multiple locations. In this paper we present the results of a two year field study that inves...
Narayan Ramasubbu, Rajesh Krishna Balan