Sciweavers

1804 search results - page 86 / 361
» Use Cases in Model-Driven Software Engineering
Sort
View
KBSE
2009
IEEE
15 years 10 months ago
A Petri Net Based Debugging Environment for QVT Relations
—In the Model-Driven Architecture (MDA) paradigm the Query/View/Transformation (QVT) standard plays a vital role for model transformations. Especially the high-level declarative ...
Manuel Wimmer, Gerti Kappel, Johannes Schönb&...
MODELLIERUNG
2001
15 years 5 months ago
Applicability of the Object Constraint Language (OCL) in Commercial Software Development for Vehicle Routing and Scheduling Soft
Abstract: Models are important artefacts that support human understanding and communication. Often software development involves specialists from a variety of fields, e.g. mathemat...
Peter Wendorff
AVI
2010
15 years 5 months ago
GPS and road map navigation: the case for a spatial framework for semantic information
Urban environments require cognitive abilities focused on both spatial overview and detailed understanding of uses and places. These abilities are distinct but overlap and reinfor...
Ginette Wessel, Caroline Ziemkiewicz, Remco Chang,...
ISSTA
2006
ACM
15 years 9 months ago
The case for analysis preserving language transformation
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...
Xiaolan Zhang, Larry Koved, Marco Pistoia, Sam Web...
AMOST
2007
ACM
15 years 7 months ago
Combining test case generation for component and integration testing
When integrating dierent system components, the interaction between dierent features is often error prone. Typically errors occur on interruption, concurrency or disabling/ enabli...
Sebastian Benz