Verifying properties of systems with features

• Dimitar Guelev, Bulgarian Academy of Sciences
• Pierre Yves Schobbens, University of Namur, Belgium
• Malte Plath, Ericsson
  

About the feature construct

• M. Plath and M. D. Ryan. Feature Integration using a Feature Construct. Science of Computer Programming. 41(1), pp.53-84.
  
  The following code exists to support the paper
• Source code for the SFI feature integrator
  
• Binaries for the SFI feature integrator (solaris)
  
• SMV/SFI code for the lift and phone case studies
  

About verification

• Dimitar P. Guelev, Mark D. Ryan and Pierre-Yves Schobbens, Model-checking the Preservation of Temporal Properties upon Feature Integration. CONCUR Workshop AVoCS'04. To appear in Electronic Notes in Theoretical Computer Science. 13 pages.
  
  

About the relation between feature integration and default reasoning/belief revision

• H. Harris and M. D. Ryan, Theoretical Foundations of Updating Systems. In Proceedings of Automated Software Engineering 2003, 18th IEEE International Conference. IEEE Computer Society Press, 2003. 8 pages.
• H. Harris and M. Ryan, Feature Integration as an Operation of Theory Change, in Proceedings of ECAI 2002, 15th European Conference on Artificial Intelligence, ed., F. van Harmelen, pp. 546-550. IOS Press, 2002.
• Nikos Gorogiannis and Mark D. Ryan, Requirements, Specifications and Minimal Refinement, In 9th Workshop on Logic, Language, Information and Computation, volume 67 of Electronic Notes in Theoretical Computer Science, September 2002 (local copy). 15 pages.