16859 search results - page 7 / 3372 » Generative software development |
ACSC
2005
IEEE
15 years 5 months ago
2005
IEEE
Support for program understanding in development and maintenance tasks can be facilitated by program analysis techniques. Both control-flow and data-flow analysis can support pr...
145
click to vote
SPLC
2010
15 years 1 months ago
2010
This paper presents a case study of creating a software product line for the train signaling domain. The Train Control Language (TCL) is a DSL which automates the production of sou...
108
click to vote
FM
1998
Springer
15 years 4 months ago
1998
Springer
We give an overview of the enhanced VSE system which is a tool to formally specify and verify systems. It provides means for structuring speci cations and it supports the developme...
107
click to vote
ECBS
2007
IEEE
15 years 6 months ago
2007
IEEE
Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based systems....
PAKM
2004
15 years 1 months ago
2004
Knowledge is one of the organization's most valuable assets. In the context of software development, knowledge management can be used to capture knowledge and experience gener...