A revision-based logical framework for evolvable software

Proceedings of the IASTED International Conference on Software Engineering, SE 2007

Volumn , Issue , 2007, Pages 78-83

  Barringer, Howard ^a   Rydeheard, David ^a   Warboys, Brian ^a   Gabbay, Dov ^a,b  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

^b KING'S COLLEGE LONDON   (United Kingdom)

Author keywords

Evolvable software; Logical modelling; Revision theory; Run time monitoring; Software methodologies

Indexed keywords

SOFTWARE ENGINEERING; SPONTANEOUS EMISSION;

EVOLVABLE SOFTWARE; LOGICAL MODELLING; REVISION THEORY; RUN-TIME MONITORING; SOFTWARE METHODOLOGIES;

SUPERVISORY PERSONNEL;

EID: 38549182669     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)

1. D. Balasubramaniam, R. Morrison, G.N.C. Kirby, K. Mickan, B.C. Warboys, I. Robertson, B. Snowdon, R.M. Greenwood andW. Seet. A software architecture approach for structuring autonomic systems. In ICSE 2005 Workshop on the Design and Evolution of Autonomic Application Software (DEAS 2005), St Louis, MO, USA. ACM Digital Library, 2005.
2. H. Barringer, M. Fisher, D. Gabbay, G. Gough, and R. Owens. METATEM: An introduction. Formal Aspects of Computing, 7(5): 533-549, 1995.
3. H. Barringer, A. Goldberg, K. Havelund and K. Sen. Rule-Based Runtime Verification. Proceedings of the VMCAI'04, 5th International Conference on Verification, Model Checking and Abstract interpretation, Venice. Volume 2937, Lecture Notes in Computer Science, Springer-Verlag. 2004.
4. H. Barringer and D. Rydeheard. Modelling Evolvable Systems: A Temporal Logic View. We Will Show Them! Essays in honour of Dov Gabbay on his 60th Birthday, Volume 1, Artemov, Barringer, d'Avila Garcez, Lamb, Woods (ed.), 195-228, College Publications, 2005.
5. H. Barringer, D. Gabbay and D. Rydeheard. Logical Modelling of Evolvable Systems. See http://www.cs.manchester.ac.uk/evolve, 2006.
6. R.E. Fikes and N.J. Nilsson. STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving. Artificial Intelligence, 2(3-4):189-208, 1971
7. D.M. Gabbay. Fibring Logics. OUP. 1999.
8. R.M. Greenwood, I. Robertson, B.C. Warboys, and B.S. Yeomans. An Evolutionary Approach to Process System Development. Proceedings of the International Process Technology Workshop, Villard de Lans (Grenoble). 1999.
9. M.M. Lehman and Juan F. Ramil. Software Evolution: Background, Theory, Practice. Information Processing Letters 88 (1-2) 33-44. 2003.
10. B.Warboys, B. Snowdon, R.M. Greenwood,W. Seet, I. Robertson, R. Morrison, D. Balasubramaniam, G. Kirby, and K. Mickan. An Active Architecture Approach to COTS Integration. In IEEE Software - Special issue on Incorporating COTS into the Development Process, 22(4):20-27, 2005.