Sciweavers

2186 search results - page 38 / 438
» Model Transformation Technologies in the Context of Modellin...
Sort
View
FASE
2004
Springer
13 years 11 months ago
Translating Software Designs for Model Checking
Abstract. This paper presents a systematic consideration of the major issues involved in translation of executable design level software specification languages to directly model-c...
Fei Xie, Vladimir Levin, Robert P. Kurshan, James ...
WSR
2008
13 years 9 months ago
Towards Querying of Traceability Information in the Context of Software Evolution
: Traceability of various artifacts created during the development of software systems plays an important role in software evolution. Subsequent changes to artifacts must be traced...
Hannes Schwarz, Jürgen Ebert, Volker Riediger...
TOOLS
2000
IEEE
13 years 12 months ago
Tool Integration: Experiences and Issues in Using XMI and Component Technology
It is impossible to implement one tool that supports all activities in software development. Thus, it is important to focus on integration of different tools, ideally giving devel...
Christian Heide Damm, Klaus Marius Hansen, Michael...
ICSE
2007
IEEE-ACM
14 years 7 months ago
A Data Model to Support End User Software Engineering
Many end user programming tools such as spreadsheets and databases offer poor support for representing a level of abstraction that is intuitive to users. For example, users must w...
Christopher Scaffidi
ECMDAFA
2006
Springer
137views Hardware» more  ECMDAFA 2006»
13 years 11 months ago
Harvesting Software Systems for MDA-Based Reengineering
Abstract. In this paper we report on a feasibility study in reengineering legacy systems towards a model-driven architecture (MDA). Steps in our approach consist of (1) parsing the...
Thijs Reus, Hans Geers, Arie van Deursen