A revision-based logical framework for evolvable software

Authors:
Howard Barringer;David Rydeheard;Brian Warboys;Dov Gabbay
Affiliations:
School of Computer Science, University of Manchester, Manchester, UK;School of Computer Science, University of Manchester, Manchester, UK;School of Computer Science, University of Manchester, Manchester, UK;Department of Computer Science, Kings College London, The Strand, London, UK
Venue:
SE'07 Proceedings of the 25th conference on IASTED International Multi-Conference: Software Engineering
Year:
2007

Citing 3
Cited 2

Software evolution: background, theory, practice

Information Processing Letters - Special issue: Contribution to computing science
An Active-Architecture Approach to COTS Integration

IEEE Software
A software architecture approach for structuring autonomic systems

DEAS '05 Proceedings of the 2005 workshop on Design and evolution of autonomic application software

From runtime verification to evolvable systems

RV'07 Proceedings of the 7th international conference on Runtime verification
Incremental design: programming with holes and evolvers

Dependable and Historic Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

Key Performance Indicator is a method adopted by an organization to measure the performance of the organization and its staff. Automated Performance Review and Information System (A-PRAISe) is a web application which was developed using Java and JSP ...