7329 search results - page 49 / 1466 » Software Architectural Transformation |
IFIP
2004
Springer
14 years 3 months ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...
DAGSTUHL
2006
13 years 11 months ago
2006
Programming technologies have improved continuously during the last decades, but from an Information Systems perspective, some well-known problems associated to the design and impl...
EDO
2000
Springer
14 years 1 months ago
2000
Springer
Architectural reflection is the computation performed by a software system about its own software architecture. Building on previous research and on practical experience in industr...
DEXA
2005
Springer
14 years 3 months ago
2005
Springer
Software package selection is an activity that plays an increasingly crucial role in the delivery of software systems. One of its main open issues is how to structure the knowledge...
