Theoretical foundations of updating systems

Proceedings - 18th IEEE International Conference on Automated Software Engineering, ASE 2003

Volumn , Issue , 2003, Pages 291-294

  Harris, Hannah ^a   Ryan, Mark ^a  

^a UNIVERSITY OF BIRMINGHAM   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CRYPTOGRAPHY; INTEGRATION;

BASE SYSTEMS; CLIENT PROGRAMS; EMAIL CLIENTS; FEATURE INTEGRATION; MODELLING SYSTEMS; SELECTIVE ENCRYPTION; SELECTIVE FORWARDING; SOFTWARE-SYSTEMS; SPAM FILTERING; THEORETICAL FOUNDATIONS;

MODEL CHECKING;

EID: 84881571497     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2003.1240323     Document Type: Conference Paper

References (8)

1. M. Calder and E. Magill, editors. Feature Interactions in Telecommunications and Software Systems, volume VI. IOS Press, 2000.
2. S. Gilmore and M. Ryan, editors. Language Constructs for Describing Features. Springer-Verlag, 2001.
3. H. Harris and M. Ryan. Feature integration as an operation of theory change. In F. van Harmelen, editor, Proceedings of ECAI 2002, 15th European Conference on Artificial Intelligence, pages 546-550. IOS Press, 2002.
4. M. Huth and M. Ryan. Logic in Computer Science: Modelling and reasoning about systems. Cambridge University Press, 2000.
5. H. Katsuno and A. Mendelzon. On the difference between updating a knowledge base and revising it. In P. Gärdenfors, editor, Belief Revision, volume 29 of Cambridge Tracts in Theoretical Computer Science, pages 183-203. Cambridge University Press, 1992.
6. K. Kimbler and L. Bouma, editors. Feature Interactions in Telecommunications and Software Systems, volume V. IOS Press, 1998.
7. K. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.
8. M. Plath and M. Ryan. Feature integration using a feature construct. Science of Computer Programming, 41(1):53-84, 2001.