Sharing Actions and Attributes in Modal Action Logic (1991)

Cached

Download Links

by Mark Ryan , José Fiadeiro , Tom Maibaum
Venue:Theoretical Aspects of Computer Software
Citations:31 - 5 self

Active Bibliography

15 Defaults in Specifications – Mark Ryan - 1993
34 Semantics of Inheritance in Logical Object Specifications – Stefan Brass, Udo W. Lipeck - 1991
13 Concepts of Object-Orientation – Hans-dieter Ehrich, Gunter Saake, Amilcar Sernadas - 1992
Formal Justification in Requirements Engineering – Simon Robert Smith - 1996
A Logic for Reasoning about Digital Rights – Exte Nd Ed, Riccardo Pucella, Vicky Weissman - 2002
6 Evolving Logical Specification In Information Systems – Stefan Conrad, Jaime Ramos, Gunter Saake, Cristina Sernadas - 1998
27 A logic for reasoning about digital rights – Riccardo Pucella, Vicky Weissman - 2002
54 Propositional Independence: Formula-Variable Independence and Forgetting – Jerome Lang, Paolo Liberatore - 2003
Knowledge-Based Support for Requirements Capture – David Bolton, Sara Jones, David Till, David Furber, Stewart Green - 1991
A Framework for Knowledge-Based Support of Requirements Elicitation – David Bolton, Sara Jones, David Till, David Furber, Stewart Green - 1992
1 Making Requirements Specifications Accessible via Logic, Language and Graphics: A Progress Report – Jeremy Pitt, Jim Cunningham - 1995
5 Preservation and Reflection in Specification – A. Lopes, J.L. Fiadeiro - 1997
3 Co-operative Answering to Natural Language Email Queries – Jeremy Pitt, Jim Cunningham, Jong Hyun Kim - 1994
9 Theorem Proving and Model Building with the Calculus KE – Jeremy Pitt, Jim Cunningham - 1996
31 Elicitation of Requirements from Multiple Perspectives – Steve Easterbrook - 1991
1 Knowledge-Based Support for Requirements Elicitation: A Progress Review – David Bolton, Sara Jones, David Till, David Furber, Stewart Green - 1992
14 A Framework for Requirements Analysis Using Automated Reasoning – David Duffy, Craig Macnish, John McDermid, Philip Morris - 1995
Specification and Verification of Reactive Systems with RSDS – Kalliopi Androutsopoulos - 2004
The COIR architecture for Flexible Software Components and Systems Research – Else K. Nordhagen, Else K. Nordhagen