3799 search results - page 420 / 760 » An Engineering Approach to Formal Methods |
167
click to vote
ICST
2008
IEEE
16 years 1 months ago
2008
IEEE
Testing remains a major challenge for model transformation development. Test models that are used as test data for model transformations, are constrained by various sources of kno...
187
click to vote
WCRE
2007
IEEE
16 years 1 months ago
2007
IEEE
Our analysis of crosscutting concerns in real-life software systems (totaling over 500,000 LOC) and in reports from literature indicated a number of properties that allow for thei...
172
click to vote
CBSE
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. The SOAP Service Description Language (SSDL) is a SOAPcentric language for describing Web Service contracts. SSDL focuses on abstraction as the building block for creatin...
156
click to vote
FASE
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Within model-driven software development, model transformation has become a key activity. It refers to a variety of operations modifying a model for various purposes such...
160
Voted
GTTSE
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Feature Models (FMs) are a key artifact for variability and commonality management in Software Product Lines (SPLs). In this context, the merging of FMs is being recogniz...