1801 search results - page 12 / 361 » Software Patterns in ITS Architectures |
WCRE
2002
IEEE
15 years 4 months ago
2002
IEEE
Architecture reconstruction embodies benefits for commercial organizations. Reconstructing or recovering the architecture of software systems is primarily driven by the increased ...
SIGSOFT
2005
ACM
16 years 11 days ago
2005
ACM
The continuous requirements of evolving a delivered software system and the rising cost of shutting down a running software system are forcing researchers and practitioners to fin...
ICSE
2004
IEEE-ACM
15 years 5 months ago
2004
IEEE-ACM
INFSOF
2006
14 years 11 months ago
2006
Adding usability improving solutions during late stage development is to some extent restricted by the software architecture. However, few software engineers and human
FOSSACS
2010
Springer
15 years 6 months ago
2010
Springer
We present a coinductive proof system for bisimilarity in transition systems specifiable in the de Simone SOS format. Our coinduction is incremental, in that it allows building in...