|
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
|
|
26
|
A logic for reasoning about digital rights
– Riccardo Pucella, Vicky Weissman
- 2002
|
|
44
|
Propositional Independence: Formula-Variable Independence and Forgetting
– Jerome Lang, Paolo Liberatore
- 2003
|
|
|
Knowledge-Based Support for Requirements Elicitation: A Progress Review
– David Bolton, Sara Jones, David Till, David Furber, Stewart Green
- 1992
|
|
|
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
|
|
30
|
Elicitation of Requirements from Multiple Perspectives
– Steve Easterbrook
- 1991
|
|
13
|
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
|
