68 search results - page 8 / 14 » Applying knowledge modelling and case-based reasoning to sof... |
CAV
2005
Springer
14 years 1 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
ISPE
2003
13 years 8 months ago
2003
: Nowadays, the UML language is one of the most widely accepted software modelling language. Enterprise modelling is concerned with the externalisation of knowledge about the en...
CSMR
2004
IEEE
13 years 11 months ago
2004
IEEE
In order to lower the risk, reengineering projects aim at high reuse rates. Therefore, tasks like architectural restructuring have to be performed in a way that developed new syst...
ICSE
2001
IEEE-ACM
13 years 12 months ago
2001
IEEE-ACM
Software maintenance costs dominate software engineering costs, partly because most such engineering is done manually. Program Transformation tools leverage an engineer-provided b...
AWIC
2003
Springer
14 years 22 days ago
2003
Springer
Design patterns have been enthusiastically embraced in the software engineering community as well as in the web community since they capture knowledge about how and when to apply a...