Publications
255 results found
Broda K, Lamb L, Russo A, et al., 2002, Labelled Natural Deduction for Conditional Logic of Normality., Logic Journal of the IGPL, Vol: 10, Pages: 123-163
d'Avilla Garcez AS, Russo A, Nuseibeh B, et al., 2002, Combining abductive reasoning and inductive learning to evolve requirements specifications, Departmental Technical Report: 02/1, Publisher: Department of Computing, Imperial College London, 02/1
The development of requirements specifications inevitably involvesmodification and evolution. To support modificationwhile preserving the main requirements goals and properties,we propose the use of a cycle composed of two phases: analysisand revision. In the analysis phase, a desirable property of thesystem is checked against a partial specification. Should theproperty be violated, diagnostic information is provided. Inthe revision phase, the diagnostic information is used to helpmodify the specification in such a way that the new specificationno longer violates the original property.We have investigated a particular instance of such a cyclethat combines the techniques of logical abduction and inductivelearning to analyse and revise specifications respectively.Given an (event-based) system description and a systemproperty, our abductive reasoning mechanism identifies aset of counter-examples of the property, if any exists. Thisset is then used to generate a corresponding set of examplesof system behaviours that should be covered by the systemdescription. These examples are used as training examples byour inductive learning mechanism, which performs the necessarychanges to the system description in order to resolve theproperty violation. The approach is supported by an abductivedecision procedure and a hybrid (neural and symbolic)learning system that we have developed. A case study of anautomobile cruise control system illustrates our approach andprovides some early validation of its capabilities.
Russo A, Miller R, Nuseibeh B, et al., 2002, An abductive approach for analysing event-based requirements specifications, Berlin, 18th international conference on logic programming, University of Copenhagen, Copenhagen, Denmark, Publisher: Springer-Verlag, Pages: 22-37
Russo A, Nuseibeh B, 2001, On the use of logical abduction in software engineering, Handbook of software engineering and knowledge engineering, Editors: Chang, Chang, Singapore, Publisher: World Scientific Publishing, Pages: 889-914, ISBN: 9789810249731
Nuseibeh B, Russo A, Easterbrook S, 2001, Making Inconsistency Respectable in Software Development., Journal of Systems and Software, Vol: 56
Garcez A, Russo A, Nuseibeh B, et al., 2001, An Analysis-Revision Cycle to Evolve Requirements Specifications., 16th IEEE International Conference on Automated Software Engineering, Publisher: IEEE
Nuseibeh B, Easterbrook S, Russo A, 2001, Making inconsistency respectable in software development, JOURNAL OF SYSTEMS AND SOFTWARE, Vol: 58, Pages: 171-180, ISSN: 0164-1212
- Author Web Link
- Cite
- Citations: 87
Russo A, Miller R, Nuseibeh B, et al., 2001, An Abductive Approach for Analysing Event-based Specifications, Technical Report, Publisher: Imperial College of Science, Technology and Medicine, Department of Computing
Russo A, Miller R, Kramer J, et al., 2001, An Abductive Approach for Analysing Event-based Specifications., An Abductive Approach for Analysing Event-based Specifications., Publisher: Imperial College of Science, Technology and Medicine, Department of Computing
Russo A, Rodrigues O, Gabbay D, 2001, Belief Revision in Non-Classical Logics., IJCAI01 Workshop on Inconsistency in Data and Knowledge, Publisher: Workshop Proceedings
Russo A, Miller R, Nuseibeh B, et al., 2001, An abductive approach for analysing event-based requirements specifications, Departmental Technical Report: 01/7, Publisher: Department of Computing, Imperial College London, 01/7
We present a logic-based approach for analysing event-based requirements specificationsgiven in terms of a system’s reaction to events and safety properties. The approach uses anevent-based logic, called the Event Calculus, to represent such specifications declaratively.Building on this formalism, the approach uses an abductive reasoning mechanism foranalysing safety properties. Given a system description and a safety property, the abductivemechanism is able to identify a complete set of counterexamples (if any exist) of theproperty in terms of symbolic “current” states and associated event-based transitions. If itfails to find such an answer, this establishes the validity of the safety property with respect tothe system description. The approach is supported by a decision procedure that (i) alwaysterminates and (ii) facilitates analysis of this type of properties even in the presence ofincomplete domain knowledge, where initial conditions are not completely specified. A casestudy of an automobile cruise control system specified in SCR is used to illustrate ourapproach. The technique described is implemented using existing tools for abductive logicprogramming.
Russo A, Miller R, Nuseibeh B, et al., 2001, An abductive approach for analysing event-based requirements specifications, Technical reseach report, Publisher: Imperial College of Science, Technology and Medicine, Department of Computing, 2001/7
Garcez ASD, Russo A, Nuseibeh B, et al., 2001, An analysis-revision cycle to evolve requirements specifications, Los Alamitos, 16th IEEE annual international conference on automated software engineering (ASE 2001), Coronado Isl, California, Publisher: IEEE Computer Soc, Pages: 354-358
Gabbay D, Rodrigues O, Russo A, 2001, Belief revision in non-classical logics, IJCAI01, workshop on inconsistency in data and knowledge, 2001
Garcez ASD, Russo A, Nuseibeh B, et al., 2001, An analysis-revision cycle to evolve requirements specifications, Los Alamitos, 16th IEEE annual international conference on automated software engineering (ASE 2001), Coronado Isl, California, Publisher: IEEE Computer Soc, Pages: 354-358
Gabbay D, Rodrigues G, Russo A, 2000, Revision by Transformation, Information, Uncertainty and Fusion, Publisher: Kluwer Academic Publishers, Pages: 3-31, ISBN: 9780792385905
Broda KB, Russo AM, Gabbay DM, 2000, A Unified Compilation Style Natural Deduction System for Modal, Substructural and Fuzzy Logics, Discovering World with Fuzzy Logic: Perspectives and Approaches to Formalization of Human-consistent Logical Systems, Editors: Novak, Perfileva, Novak, Perfileva, Publisher: Springer-Verlag
Nuseibeh B, Easterbrook S, Russo AM, 2000, Leveraging Inconsistency in Software Development, IEEE Computer, Vol: 33, Pages: 24-29
Nuseibeh B, Easterbrook S, Russo AM, 2000, Leveraging Inconsistency in Software Development, IEEE Computer, Vol: 33, Pages: 24-29
Russo AM, Miller RS, Nuseibeh B, et al., 2000, An Abductive Approach for Handling Inconsistencies in SCR Specifications, Proceedings of 3rd International Workshop on Intelligent Software Engineering (WISE-3), Limerick, Ireland
Nuseibeh B, Russo AM, 1999, Using Abduction to Evolve Inconsistent Requirements Specifications, Australian Information Systems Journal, Vol: 7, Pages: 118-130
Broda K, 1999, Labelled natural deduction for substructural logics, Logic Journal of IGPL, Vol: 7, Pages: 283-318, ISSN: 1367-0751
Russo AM, Nuseibeh B, Kramer J, 1999, Restructuring Requirements Specifications for Managing Inconsistency and Change, IEE Proceedings:Software, Vol: 146, Pages: 44-53
Gabbay D, Rodrigues G, Russo A, 1999, Revision by Translation, JFAK. Essays Dedicated to Johan van Benthem, Publisher: Amsterdam University Press
Broda KB, Finger M, Russo AM, 1999, LDS-Natural Deduction for Substructural Logics, IGPL, Vol: 7
Russo AM, Nuseibeh B, Kramer J, 1999, Restructuring Requirements Specifications, IEE Proceedings: Software, Vol: 146, Pages: 44-53
Rodrigues O, Russo A, 1998, A translation method for Belnap logic, Departmental Technical Report: 98/7, Publisher: Department of Computing, Imperial College London
In this report we present a translation of Belnap's four-valued logic into classical first-order logic. Soundness and completeness of the translation approach with respect to Belnap's notion of entailment are proved. Examples derivations are also given. These results provide the basis for developing a belief revision approach for Belnap's logic in terms of standard AGM belief revision operators for classical logic.
Russo A, Nuseibeh B, Kramer J, 1998, Restructuring requirements specifications for managing inconsistency and change: a case study, Departmental Technical Report: 98/1, Publisher: Department of Computing, Imperial College London
This paper describes our experiences in restructuring multi-perspective requirements specifications in order to identify and analyse inconsistencies and manage change. A partial, heterogeneous and reasonably large requirements specification from a NASA project was analysed and decomposed into a structure of "viewpoints", where each viewpoint encapsulates partial requirements of some system components described in the specification. Relationships between viewpoints were identified which included not only the interactions explicitly stated in the requirements but also some implicit and potentially problematic inter-dependencies. The restructuring process and a first informal analysis of the resulting relationships enabled the detection of inconsistencies and the definition of some interesting domain-dependent consistency rules. We believe that this restructuring into viewpoints also facilitated requirements understanding through partitioning, and requirements maintenance and evolution through explicit identification of the inter-viewpoint relationships.
Russo A, Rodrigues O, 1998, A Translation Method for Four-valued Logics, Technical Report, Publisher: Imperial College London, Department of Computing
Russo A, Nuseibeh B, 1998, On the Consequences of Acting in the Presence of Inconsistencies, 9th International Workshop on Software Specification and Design (IWSSD-9), Publisher: IEEE Computer Society Press, Pages: 156-158
This data is extracted from the Web of Science and reproduced under a licence from Thomson Reuters. You may not copy or re-distribute this data in whole or in part without the written consent of the Science business of Thomson Reuters.