Towards a categorical framework to ensure correct software evolutions

The Third Workshop on Hot Topics in Software Upgrades (HotSWUp'11) was held on April 16, 2011 in Hannover, Germany. The workshop was co-located with ICDE 2011. The goal of HotSWUp is to identify, through interdisciplinary collaboration, cutting-edge research ideas for implementing software upgrades.The workshop combined presentations of peer-reviewed research papers with a keynote speech on the practical issues related to performing large-scale upgrades. The audience included researchers and practitioners from academia, industry, and government. In addition to the technical presentations, the program allowed ample time for discussions, which were driven by debate questions provided in advance by the presenters.HotSWUp provides a premier forum for discussing problems that are often considered niche topics in the established research communities. For example, the technical discussions at HotSWUp'11 covered dynamic software updates, package management tools, database schema upgrades, upgrades of systems with real-time constraints, upgrading satellite software, and highlighted many synergies among these and other topics.

show abstract

Towards a categorical framework to ensure correct software evolutions

Cited by 3 publications

References 7 publications

Towards Executing Dynamically Updating Finite-State Controllers on a Robot System

Towards Executing Dynamically Updating Finite-State Controllers on a Robot System

Formalizing correctness criteria of dynamic updates derived from specification changes

Report on the third workshop on hot topics in software upgrades (HotSWUp'11)

Contact Info

Product

Resources

About