Formally specifying temporal constraints and error recovery

Proceedings of the IEEE International Conference on Requirements Engineering

Volumn , Issue , 1993, Pages 208-215

  Kent, S J H ^a   Maibaum, T S E ^a   Quirk, W J ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ERRORS; RECOVERY; REQUIREMENTS ENGINEERING; SPECIFICATIONS;

CORRECTIVE ACTIONS; DEONTIC; DEONTIC ACTION LOGIC; DEONTIC LOGIC; RECENT RESEARCHES; REQUIREMENTS SPECIFICATIONS; TEMPORAL CONSTRAINTS;

COMPUTER CIRCUITS;

EID: 84958662051     PISSN: 1090705X     EISSN: 23326441     Source Type: Conference Proceeding    
DOI: 10.1109/ISRE.1993.324856     Document Type: Conference Paper

References (18)

1. Atkinson W., Cunningham R.J. (1991) Proving Properties of Safety-Critical Systems, in Software Engineering Journal 6(2), pp41-50.
2. Costa M.C., Cunningham R.J. (1988) Mechanised Deduction and Modal Action Logic, Alvey FOREST Report R5, Imperial College, London.
3. Ehrlg H., Mahr B. (1985) Fundamentals of Algebraic Specification 1: Equations and Initial Semantics, Springer-Verlag.
4. Fiadeiro J., Maibaum T. S. E. (1991a) Temporal Reasoning over Deontic Specifications, Journal of Logic and Computation 1(3), pp357-395.
5. Fiadeiro J., Maibaum T.S.E. (1991b) Towards Object Calculi, in Information Systems - Correctness and Reusability (Selected Papers), G. Saake and A. Senadas (eds.), IS-CORE '91 Workshop.
6. Goguen J. (1989) A Categorial Manifesto, Technical Report PRG-72, Programming Research Group, University of Oxford.
7. Goldblatt R. (1987) Logics of Time and Computation, CSLI Lecture Notes 7, Stanford, USA.
8. Harel D. (1979) First Order Dynamic Logic, LNCS 68, Springer Verlag.
9. Jeremaes P., Khosla S., Maibaum T.S.E. (1986) A Modal (Action) Logic for Requirements Specification, in Software Engineering '86, P.J. Brown and D.J. Barnes (eds.), Peter Peregrinus.
10. Jones A., Sergot M. (1991) On the role of Deontic Logic in the Characterization of Normative Systems, in Proc. First International Workshop on Deontic Logic in Computer Science - DEON '91, Springer-Verlag.
11. Kent S.J.H. (1991) A Deduction Calculus for Modal Action Logic with Action Combinators, FOREST Deliverable Report WP3.R2.
12. Kent S.J.H., Maibaum T.S.E., Quirk W.J. (1992) Specifying Deontic Behaviour in Modal Action Logic, FOREST Deliverable Report WP1.R2.
13. Khosla S., Maibaum T.S.E. (1987) The prescription and description of state based systems, in Temporal Logic in Specification, B. Banieqbal, H. Barringer and A. Pnueli (eds.), LNCS 398, Springer-Verlag.
14. Maibaum T.S.E. (1986) A Logic for the Formal Requirements Specification of Real-Time/Embedded Systems, Alvey FOREST Report R3, Imperial College, London.
15. Meyer B. (1988) Object-Oriented Software Construction, Prentice Hall.
16. Meyer J. (1988) A Different Approach to Deontic Logic: Deontic Logic Viewed as a Variant of Dynamic Logic, Notre Dame Journal of Formal Logic 29(1), ppl09-136.
17. Ryan M., Fiadeiro J., Maibaum T.S.E. (1991) Sharing Actions and Attributes in Modal Action Logic, Proceedings of the International Conference on Theoretical Aspects of Computer Science (TACS'91), Ito T. and Meyer A. (eds), Springer Verlag.
18. Wieringa R., Meyer J., Weigand H. (1989) Specifying Dynamic and Deontic Integrity Constraints, Data and Knowledge Engineering 4(2), pp l57 - 190.