427 search results - page 7 / 86 » A Framework and Tool-Support for Reengineering Software Deve... |
142
Voted
FUIN
2006
15 years 2 months ago
2006
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...
120
Voted
EUROMICRO
2006
IEEE
15 years 8 months ago
2006
IEEE
— We propose a method for component-based software and system development, where the interoperability between the different components is given special consideration. The method ...
ICSE
2003
IEEE-ACM
16 years 2 months ago
2003
IEEE-ACM
Software development environment is a platform for supporting software designer to design software based on the software requirement specification. It is an interactive system wit...
116
Voted
CSMR
2004
IEEE
15 years 6 months ago
2004
IEEE
Language integration is an important issue in the area of software maintenance and reengineering. We describe a novel solution in this area: automatically applied and composed spl...
110
Voted
FASE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In model-based development, a formal description of the software (the model) is the central artifact that drives other development activities. The availability of a model...