T. Anderson. "Reliable Research and Dependable Development," in JFIT Technical Conference, pp. 91, Brighton, UK, 1992.
T. Anderson et al. "Education and Training for Safety Critical Systems Practitioners," (ed. J.A. McDermid) in Software in Safety-Related Systems, pp. 177-207, Wiley, 1992.
T. Anderson, A. Avizienis, W.C. Carter, A. Costes, F. Cristian, Y. Koga, H. Kopetz, J.H. Lala, J.C. Laprie, J.F. Meyer, B. Randell, A.S. Robinson, L. Simoncini and U. Voges. Dependability: Basic Concepts and Terminology. Springer-Verlag, 1992, 265 p. ISBN 3 211 82296 8
T. Anderson, A. Coombes, J.A. McDermid and A. Saeed. Preliminary Requirements Analysis Approach, Technical Report 92/11, DCSC, Department of Computing Science, University of Newcastle upon Tyne, 1992.
J. Armstrong, L. Barroca, J.S. Fitzgerald, C. Holt and J.A. McDermid. Formal Methods: A Research Review, Technical Report 92/3, DCSC, Department of Computing Science, University of Newcastle upon Tyne, 1992.
P.A. Barrett and A. Waterworth. A Survey of Dependable Computing Architectures, Technical Report 92/1, DCSC, Department of Computing Science, University of Newcastle upon Tyne, 1992.
P.A. Barrett, A. Waterworth, A. Burns and A.J. Wellings. Fail-Controlled Node Architectures, Technical Report 92/12, DCSC, Department of Computing Science, University of Newcastle upon Tyne, 1992.
A.J.C. Blyth. "ORDIT - Modelling and Comprehending Organisational Problems in Software Engineering," in Proc. Third Belief Representation and Agent Architecture Workshop, pp. 191-215, Durham University, 1992.
A.J.C. Blyth, J. Chudge, J.E. Dobson and M.R. Strens. "The ORDIT Approach to Requirements Identification," in Proc. 16th Annual IEEE International Computer Software and Applications Conference (COMPSAC), pp. 356-361, Chicago, Illinois, USA, IEEE Computer Society Press, 1992.
A. Burns, J.A. McDermid and J. Dobson. On the Meaning of Safety and Security. Comp. J. 35: 3-15, 1992.
A. Burns, J.A. McDermid and J.E. Dobson. On the meaning of safety and security, Technical Report 382, Department of Computing Science, University of Newcastle upon Tyne, 1992.
A. Coombes and A. Saeed. Case Study 1: The Fin Limiter, Technical Report 92/19, DCSC, Department of Computing Science, University of Newcastle upon Tyne, 1992.
R. de Lemos, A. Saeed and T. Anderson. "Analysis of Timeliness Requirements in Safety-Critical Systems," in 2nd Symp. on Formal Techniques in Real-time and Fault-Tolerant Systems, vol. 571, pp. 171-192, Nijmegen, Netherlands, Springer-Verlag, 1992. 0-387-55092-5
R. de Lemos, A. Saeed and T. Anderson. A Train Set as a Case Study for the Requirements Analysis of Safety-Critical Systems. The Computer Journal. 35: 30-40, 1992.
R. de Lemos, A. Saeed and T. Anderson. "Value Inconsistencies due to Time Uncertainties," in 10th IFAC Workshop on Distributed Computer Control Systems, pp. 1-6, Semmering, Austria, Pergamon Press, 1992.
R. de Lemos, A. Saeed and A. Waterworth. Exception Handling in Real-Time Software for Specification, Technical Report 409, Department of Computing Science, University of Newcastle upon Tyne, 1992.
R. de Lemos, A. Saeed and A. Waterworth. "Exception Handling in Real-Time Software for Specification," in Proc. 2nd International Workshop on Responsive Computer Systems, pp. 108-120, Saitama, Japan, 1992.
J.E. Dobson. "Elicitation and Representation of a Security Policy for a Telecommunications Application," in Proc. 8th Int. Conf. on Software Engineering for Telecommunications Systems and Services, Florence, Italy, IEE, 1992.
J.E. Dobson. "Information and Denial of Service," in Database Security V: Status and Prospects, pp. 21-46, Amsterdam, Elsevier Science Publishers, 1992. 0-444-89518-3
J.E. Dobson. "New Security Paradigms - What Else Do We Need as Well?," in Proc. Conf. New Security Paradigms, Little Compton, Ireland, 1992.
J.E. Dobson, A.J.C. Blyth, J. Chudge and M.R. Strens. The ORDIT Approach to Requirements Identification, Technical Report 394, Department of Computing Science, University of Newcastle upon Tyne, 1992.
J.E. Dobson, W. Olphert, G. Oswald and R. Wynne. Evaluation of Version 2 of the Ordit Methodology, Deliverable #8, Esprit ORDIT Project, 1992.
J.S. Fitzgerald. "Reasoning about a Modular Model-oriented Formal Specification.," in Proc. International Workshop on Specifications of Database Systems, pp. 106-134, University of Glasgow, 1991, Springer-Verlag, 1992. 3-540-19732-X
J.S. Fitzgerald, P.A. Lindsay and R. Moore. On Making Formal Proof More Tractable, Technical Report 404, Department of Computing Science, University of Newcastle upon Tyne, 1992.
D.F. Poulson, G. Oswald, J.S. Chudge and M.R. Strens. "Modelling Organisational Complexity Using the Ordit Framework," in Proc. Information - Decision - Action Systems in Complex Organisations (IDASCO Ô92), Oxford, IEEE, 1992.
D.F. Poulson, G. Oswald, J.S. Chudge and M.R. Strens. Modelling organisational complexity using the ORDIT framework, Technical Report 383, Department of Computing Science, University of Newcastle upon Tyne, 1992.
G. Pucci. A New Approach to the Modeling of Recovery Block Structures. IEEE Transactions on Software Engineering. 18: 157-167, 1992. (Visiting researcher from 1988 to 1990)
A. Saeed and T. Anderson. An Approach to the Requirements Analysis of Safety-Critical Systems, Technical Report 380, Department of Computing Science, University of Newcastle upon Tyne, 1992.
A. Saeed and T. Anderson. A Survey of Current Requirements Techniques and Research, Technical Report 92/6, DCSC, Department of Computing Science, University of Newcastle upon Tyne, 1992.
A. Saeed, R. DeLemos and T. Anderson. An Approach to the Assessment of Requirements Specifications for Safety-Critical Systems, Technical Report 381, Department of Computing Science, University of Newcastle upon Tyne, 1992.
T. Anderson. "Safety - Status and Perspectives," in Proc. 12th Int. Conf. on Computer Safety, Reliability and Security (SAFECOMP'93), pp. 3-6, Poznan-Kiekrz, Poland, Springer-Verlag, 1993.
T. Anderson, A. Coombes, B. Fields, M. Harrision, J. McDermid, J. Murdoch, A. Saeed and P. Wright. An Overview of the Requirements Information Model, Technical Report 93/19, DCSC, Department of Computing Science, University of Newcastle upon Tyne, 1993.
T. Anderson, A. Coombes, J. Murdoch and A. Saeed. Desirable Characteristics for a Requirements Method, Technical Report 93/4, DCSC, Department of Computing Science, University of Newcastle upon Tyne, 1993.
T. Anderson, R. de Lemos, J. Fitzgerald and A. Saeed. On Formal Support for Indusrial Scale Requirements Analysis, Technical Report 412, Department of Computing Science, University of Newcastle upon Tyne, 1993.
T. Anderson, R. de Lemos, J.S. Fitzgerald and A. Saeed. "On Formal Support for Indusrial Scale Requirements Analysis," in Workshop on Theory of Hybrid Systems, vol. 736, pp. 426-451, Lyngby, Denmark, Springer-Verlag, 1993. 3-540-57318-6
J.M. Armstrong, J.R. Howse, R.J. Mitchell and I. Maung. The Role of Inheritance as an Import/Export Mechanism, Technical Report 434, Department of Computing Science, University of Newcastle upon Tyne, 1993.
J.M. Armstrong and R.J. Mitchell. Managing Inheritance on Programming Projects, Technical Report 433, Department of Computing Science, University of Newcastle upon Tyne, 1993.
P.A. Barrett. Building Available Services, Technical Report 93/1, DCSC, Department of Computing Science, University of Newcastle upon Tyne, 1993. (originally issued 14/8/1992, latest issue is version 2, 5/5/1993.)
P.A. Barrett. Computational Models for Dependable Distributed Systems, Technical Report 93/9, DCSC, Department of Computing Science, University of Newcastle upon Tyne, 1993.
P.A. Barrett, (Ed.). The DCSC Architectural Handbook, DCSC, Department of Computing Science, University of Newcastle upon Tyne, 1993.
P.A. Barrett. "Delta-4: An Open Architecture for Dependable Systems," in Digest of Papers, IEE Colloquium on Safety Critical Distributed Systems, IEE, 1993.
P.A. Barrett. Towards a Decision Procedure for the DCSC, Technical Report 93/20, DCSC, Department of Computing Science, University of Newcastle upon Tyne, 1993.
P.A. Barrett, S.K. Shrivastava, N.A. Speirs and A. Waterworth. "Building Fault-tolerant Distributed Computing Systems using Standard Components," in Proc. of AIAA Computing in Aerospace 9, pp. 640-648, San Diego, USA, 1993.
P.A. Barrett and N.A. Speirs. Towards an Integrated Approach to Fault Tolerance in Delta-4. IEE Distributed Systems Engineering. 1: 59-66, 1993.
A.J.C. Blyth, J. Chudge, J.E. Dobson and M.R. Strens. "A Framework for Modelling Evolving Requirements," in Proc. 17th IEEE Int. Comp. Software and Applications Conf. (COMPSAC), Phoenix, Arizona, IEEE Computer Society Press, 1993.
A.J.C. Blyth, J. Chudge, J.E. Dobson and M.R. Strens. "ORDIT: A New Methodology to Assist in the Process of Eliciting and Modelling Organisational Requirements," in Proc. ACM Conf. on Organisational Computing Systems, Milpitas, ACM Press, 1993.
R. de Lemos, A. Saeed and T. Anderson. "Formal Techniques for Requirements Analysis for Safety-Critical Systems," in Proc. IMA Conference on the Mathematics of Dependable Systems, London, IMA, 1993.
R. de Lemos, A. Saeed and A. Waterworth. "Exception Handling in Real-Time Software for Specification," in Dependable Computing and Fault Tolerance, 7, Springer-Verlag, 1993.
R. de Lemos, A. Saeed and A. Waterwoth. "Exception Handling in Real-Time Software from Specification to Design.," in Responsive Computer Systems (Dependable Computing and Fault-Tolerant Systems, Vol. 7), 7, pp. 225-286, New-York, Springer-Verlag, 1993. 0-387-82458-8
J.E. Dobson. The Effects of Architecture and Infrastructure on Service Creation and Engineering, Commission of the European Communities (DG13), 1993.
J.E. Dobson. "Organisational Requirements Definition for Information Technology Systems," in Proc. Conf. on the Theory of Use and Integrative Aspects of IS Methodologies, pp. 295-308, Edinburgh, British Computer Society, 1993.
J.E. Dobson. "The Structure of the Requirements Engineering Process and its Implications for Requirements Analysis," in Proc. DRA Colloquium on Analysis of Requirements for Software Intensive Systems, Malvern, Defence Research Agency, 1993.
J.E. Dobson and M.R. Strens. "How Responsibility Modelling Leads to Security Requirements," in Proc. New Security Paradigms Workshop, pp. 143-149, Rhode Island, USA, IEEE Computer Society Press, 1993. 0-8186-5430-9
J.E. Dobson and M.R. Strens. "A Methodology for Requirements Management Applied to Safety Requirements," in Safety Critical Systems, pp. 123-136, London, Chapman and Hall, 1993. 0-412-54820-8
J.E. Dobson and M.R. Strens. "Responsibility Modelling as a Technique for Requirements Definition," in Proc. IEE Colloquium on Artificial Intelligence in Enterprise Modelling, London, IEE, 1993.
J.S. Fitzgerald and L.M. Barroca. The Feasibility of Providing Semantics for DCSC Architectural Specification Techniques, Technical Report 93/3, DCSC, Department of Computing Science, University of Newcastle upon Tyne, 1993.
J.S. Fitzgerald, A. Coombes, R.E. Fields and A. Saeed. Comparison of the Semantic Bases of Formal Specification Techniques, Technical Report 93/17, DCSC, Department of Computing Science, University of Newcastle upon Tyne, 1993.
J.S. Fitzgerald and R. Moore. "Experiences in Developing a Proof Theory for VDM Specifications," in Proc. International Workshop on Semantics of Specification Languages, pp. 101-117, Utrecht, Netherlands, Springer Verlag, 1993. 3-540-19854-7
J.S. Fitzgerald and R. Moore. Experiences in Developing a Proof Theory for VDM Specifications, Technical Report 424, Department of Computing Science, University of Newcastle upon Tyne, 1993.
D. Iggulden, J.E. Dobson and R. Veryard. "Enterprise Computing as an Instrument of Hegemony," in Proc. Int. Conf. on Open Distributed Processing, Berlin, 1993.
F. Redmill and T. Anderson, (Ed.). Directions in Safety-critical Systems, Springer, 1993, 286 p. 0 387 19817 2
F. Redmill and T. Anderson, (Ed.). Safety-critical Systems: Current issues, techniques and standards, Chapman & Hall, 1993, 332 p. 0 412 54820 8
A. Saeed and T. Anderson. Tool Support for Requirements Development, Technical Report 93/8, DCSC, Department of Computing Science, University of Newcastle upon Tyne, 1993.
A. Saeed, T. Anderson and R. de Lemos. "Robust Requirements Specifications for Safety-Critical Systems," in Proc. 12th International Conference on Computer Safety, Reliability and Security (SAFECOMP'93), pp. 219-229, Poznan-Kiekrz, Poland, Springer Verlag, 1993.
A. Saeed, R. de Lemos and T. Anderson. Formal Techniques for Requirements Analysis for Safe Reactor Control. The Nuclear Engineer - Journal of the Institution of Nuclear Engineers. 34: 108-115, 1993.
A. Saeed, R. de Lemos and T. Anderson. Formal Techniques for Requirements Analysis for Safe Reactor Control, Technical Report 430, Department of Computing Science, University of Newcastle upon Tyne, 1993.
A. Saeed, R. de Lemos and T. Anderson. The Role of Formal Methods in the Requirements Analysis of Safety Critical Systems: a Train Set Example, Technical Report 429, Department of Computing Science, University of Newcastle upon Tyne, 1993.
R.C. Sugden. Proteus - Report of the Inaugural Workshop, Deliverable 6.1, JFIT (DTI/SERC) PROTEUS Project, Department of Computing Science, University of Newcastle upon Tyne, 1993.
R.C. Sugden and M.R. Strens. Proteus - Report of the Second Workshop, Deliverable 6.2, JFIT (DTI/SERC) PROTEUS Project, Department of Computing Science, University of Newcastle upon Tyne, 1993.
A. Waterworth. Real-Time Databases and Real-Time Transactions, Technical Report 93/6, DCSC, Department of Computing Science, University of Newcastle upon Tyne, 1993.
T. Anderson. "Operating Safety and Fault Tolerance," in Proc. Real Time Symposium Ô94, pp. 139, Paris, 1994.
P.A. Barrett. "Dependable Architectures for Avionics Applications," in Dedicated Conference on Mechatronics, 27th International Symposium on Advanced Transportation Applications, vol. 4, pp. 503-510, Aachen, Germany, 1994. 0-9477-1968-7
P.A. Barrett, S.K. Shrivastava, N.A. Speirs and A. Waterworth. Building Fault-tolerant Distributed Computing Systems using Standard Components, Technical Report 449, Department of Computing Science, University of Newcastle upon Tyne, 1994.
P.A. Barrett and N.A. Speirs. Delta-4: An open architecture for dependable systems, Technical Report 457, Department of Computing Science, University of Newcastle upon Tyne, 1994.
L.M. Barroca, J.S. Fitzgerald and L. Spencer. The Architectural Specification of an Avionic Subsystem, Technical Report 94/19, Dept of Computing, The Open University, 1994.
J.C. Bicarregui, J.S. Fitzgerald, P.A. Lindsay, R. Moore and B. Ritchie. Proof in VDM: A Practitioner's Guide, FACIT Series. Springer-Verlag, 1994. ISBN 3-540-19813-X
J.C. Bicarregui, J.S. Fitzgerald, R. Moore and B. Ritchie. Proof in VDM: Reader's Notes, Technical Report 489, Department of Computing Science, University of Newcastle upon Tyne, 1994.
J.C. Bicarregui, J.S. Fitzgerald, R. Moore and B. Ritchie. Proof in VDM: reader's notes (answers to the exercises in the book "Proof in VDM: A Practitioner's Guide", J.C. Bicarregui, J.S. Fitzgerald, P.A. Lindsay, R. Moore, B. Ritchie, Springer-Verlag FACIT Series 1994), University of Mancester, 1994.
A.J.C. Blyth. Modelling and eliciting organisational and information system requirements for medical information systems, Technical Report 497, Department of Computing Science, University of Newcastle upon Tyne, 1994.
A.J.C. Blyth. "Modelling and eliciting organisational and information system requirements for medical information systems," in Proc. 18th Annual Symposium on Computer Applications in Medical Care, Washington D.C., USA, Hanley and Belfus Inc. Medical Publishers, 1994.
A.J.C. Blyth and J. Chudge. Modelling organisational behaviour using social and linguistic constructs, Technical Report 494, Department of Computing Science, University of Newcastle upon Tyne, 1994.
A.J.C. Blyth and J. Chudge. "Modelling Organisational Behaviour using Social and Linguistic Constructs," in Proc. Northeast Decision Sciences Institute Conference, pp. 293-297, New Hampshire, 1994.
A.J.C. Blyth, J. Chudge, J.E. Dobson and M.R. Strens. A Framework for Modelling Evolving Requirements, Technical Report 455, Department of Computing Science, University of Newcastle upon Tyne, 1994.
A.J.C. Blyth, J. Chudge, J.E. Dobson and M.R. Strens. ORDIT: A New Methodology to Assist in the Process of Eliciting and Modelling Organisational Requirements, Technical Report 456, Department of Computing Science, University of Newcastle upon Tyne, 1994.
T.M. Brookes, M. Green, J.S. Fitzgerald and P.G. Larsen. A Comparison of the Conventional and Formal Design of a Secure System Component. FACS Europe Newsletter. 1: 1994.
T.M. Brookes, M. Green, J.S. Fitzgerald and P.G. Larsen. "A Comparison of the Conventional and Formal Design of a Secure System Component," in Proc. Nordic Seminar on Dependable Computing Systems, August 1994, Lyngby, TU Denmark Technical Report No. 352, 1994.
R. Burnett and T. Anderson. "Reliability Allocation for a Software System with Modular Structure," in Proc. of VIII Brazilian Symposium on Software Engineering, pp. 37-48, Curitiba, 1994.
R. Burnett and T. Anderson. Reliability allocation for a system using Markov analysis, Technical Report 477, Department of Computing Science, University of Newcastle upon Tyne, 1994.
R. de Lemos, B. Fields and A. Saeed. Analysis of Safety Requirements in the Context of System Faults and Human Errors, Technical Report 504, Department of Computing Science, University of Newcastle upon Tyne, 1994.
R. de Lemos, A. Saeed and T. Anderson. An approach for the risk analysis of safety specifications, Technical Report 484, Department of Computing Science, University of Newcastle upon Tyne, 1994.
R. de Lemos, A. Saeed and T. Anderson. Formal techniqes for requirements analysis for safety-critical systems, Technical Report 468, Department of Computing Science, University of Newcastle upon Tyne, 1994.
R. de Lemos, A. Saeed and T. Anderson. Formal Techniques for Requirements Analysys for Safety-Critical Systems, Technical Report 503, Department of Computing Science, University of Newcastle upon Tyne, 1994.
R. de Lemos, A. Saeed and T. Anderson. "On the Safety Analysis of Requirements Specifications," in Proc. of SAFECOMP Ô94, pp. 217-227, Anaheim, California, October 1994, Instrument Society of America, 1994.
R. de Lemos, A. Saeed and T. Anderson. On the safety analysis of requirements specifications, Technical Report 493, Department of Computing Science, University of Newcastle upon Tyne, 1994.
R. de Lemos, A. Saeed and T. Anderson. Requirements analysis for safety-critical systems: a chemical batch processing example, Technical Report 469, Department of Computing Science, University of Newcastle upon Tyne, 1994.
R. de Lemos, A. Saeed and T. Anderson. "A Systematic Approach for the Analysis of Safety Requirements for Process Control Systems," in Predictably Dependable Computing Systems Second Year Report, pp. 9-26. Chap. 1, Pt. 1, PDCS2 ESPRIT Basic Research Project 6362, 1994.
J.E. Dobson. "Issues for Service Engineering," in Proc. IEEE Int. Workshop on Services in Distributed and Networked Environments, Prague, IEEE, 1994.
J.E. Dobson. "Messages, Communication, Information Security and Value," in Proc. IEEE New Security Paradigms Workshop III, pp. 10-19, IEEE, 1994.
J.E. Dobson, A.J.C. Blyth, J. Chudge and M.R. Strens. "The ORDIT Approach to Organisational Requirements," in Requirements Engineering: Social and Technical Issues, London, Academic Press, 1994.
J.E. Dobson and M.R. Strens. "Organisational Requirements Definition for Information Technology Systems," in Proc. IEEE Int. Conf. on Requirements Engineering (ICRE94), pp. 158-165, Colorado Springs CO, USA, IEEE, 1994. 0-8186-5480-5
J.E. Dobson and M.R. Strens. Responsibility Modelling as a Technique for Requirements Definition. IEE Intelligent Systems Engineering. 3: 20-26, 1994.
J.S. Fitzgerald, T.M. Brookes, M. Green and P.G. Larsen. "Formal and Informal Specifications of a Secure System Component: first results in a comparative study," in Proc. Formal Methods Europe Symposium (FME'94: Industrial Benefit of Formal Methods), vol. 873, pp. 35-44, Barcelona, Spain, Springer-Verlag, 1994. 3-540-58555-9
B. Littlewood, T. Anderson, R. Bloomfield and R. Malcolm, (Ed.). Special Issue on Software Safety, Journal of Reliability Engineering and System Safety. 1994, 101-244 p.
F. Redmill and T. Anderson, (Ed.). Technology and Assessment of Safety-critical Systems, Springer, 1994, 258 p. ISBN 0 387 19859 8
A. Saeed, T. Anderson and R. de Lemos. Robust Requirements Specifications for Safety-Critical Systems, Technical Report 451, Department of Computing Science, University of Newcastle upon Tyne, 1994.
A. Saeed, R. de Lemos and T. Anderson. "An Approach for the Risk Analysis of Safety Specifications," in Proc. of COMPASS Ô94, pp. 209-221, Gaithersburg, 1994.
M.R. Strens. "Risk, Sensitivity and Impact Analysis and their Application to Changing Requirements," in Deliverable 2.2, DTI/SERC Project IED4/1/9304 "Proteus - Understanding Changing Requirements", Department of Computing Science, University of Newcastle upon Tyne, 1994.
M.R. Strens and J.E. Dobson. Responsibility Modelling as a Technique for Organisational Requirements Definition. Intelligent Systems Engineering. 1994.
M.R. Strens and R.C. Sugden. "Current Methods of Representation and Design," in Deliverable 2.1, DTI/SERC Project IED4/1/9304 "Proteus - Understanding Changing Requirements", Department of Computing Science, University of Newcastle upon Tyne, 1994.
R.C. Sugden. "First Annual Report," in Deliverable 1.1, DTI/SERC Project IED4/1/9304 "Proteus - Understanding Changing Requirements", Department of Computing Science, University of Newcastle upon Tyne, 1994.
R.C. Sugden and M.R. Strens. "Proteus - Report of the Third Workshop," in Deliverable 6.3, JFIT (DTI/SERC) PROTEUS Project, Department of Computing Science, University of Newcastle upon Tyne, 1994.
A. Waterworth. Understanding the Cost of Replication in Real-Time Systems, Technical Report 94/1, DCSC, Department of Computing Science, University of Newcastle upon Tyne, 1994.
T. Anderson, R. de Lemos and A. Saeed. "Analysis of Safety Requirements for Process Control Systems," in Predictably Dependable Computing Systems, pp. 27-40, Brussels, Springer Verlag, 1995. 3-540-59334-9
P.A. Barrett, D. Powell, G. Bonn, M. Chereque, D. Seaton and P. Verissimo. "The Delta-4 Distributed Fault Tolerant Architecture," in Readings in Distributed Computing Systems, IEEE Computer Society Press, 1995. 0-8186-3032-9
L.M. Barroca, J.S. Fitzgerald and L. Spencer. "The Architectural Specification of an Avionic Subsystem," in Proc. Workshop on Industrial-Strength Formal Specification Techniques (WIFT'95), IEEE Computer Society Press, 1995. 0-8186-7005-3
R.C. Burnett and T. Anderson. Trade-Off Between Cost and Reliability During the Design Phase, Technical Report 534, Department of Computing Science, University of Newcastle upon Tyne, 1995.
R.C. Burnett. A Trade-off Model Between Cost and Reliability During the Design Phase of Software Development. PhD Thesis, University of Newcastle upon Tyne, 1995.
A.C. Coombes, L.M. Barroca, J.S. Fitzgerald, J.A. McDermid, A. Saeed and L. Spencer. "Formal Specification of an Aerospace System: the Attitude Monitor," in Applications of Formal Methods, Prentice-Hall International, 1995. 0-13-366949-1
R. de Lemos, B. Fields and A. Saeed. "Analysis of Safety Requirements in the Context of System Faults and Human Errors," in Proc. of the IEEE International Symposium and Workshop on Systems Engineering of Computer Based Systems, pp. 374-381, Tucson, Arizona. March 1995, 1995. 0-7803-2531-1
R. de Lemos, A. Saeed and T. Anderson. Analyzing Safety Requirements for Process-Control Systems. IEEE Software. 12: 42-53, 1995.
R. de Lemos, A. Saeed and T. Anderson. "Formal Techniques for Requirements Analysis for Safety-Critical Systems," in Mathematics of Dependable Systems, IMA Conference Series 55, pp. 63-95, Oxford, Clarendon Press, 1995. 0-19-853491-4
R. de Lemos, A. Saeed, T. Anderson. Analysis of Safety Requirements for a Chemical Batch Processing System". Proc. of the 2nd IFAC Workshop on Safety and Reliability in Emerging Control Technologies. Eds. T. Hilburn, G. Suski, J. Zalewski. Pergamon/ Elsevier Science. Oxford, UK. Daytona Beach, FA. November 1995.
J.S. Fitzgerald, P.G. Larsen, T.M. Brookes and M. Green. "Developing a Security-critical System using Conventional and Formal Methods," in Applications of Formal Methods, pp. 333-356, Prentice-Hall International, 1995. 0-13-366949-1
B. Littlewood, S. Brocklehurst, N. Fenton, P. Mellor, S. Page, D. Wright, J. Dobson, J. McDermid and D. Gollmann. "Towards Operational Measures of Computer Security: Concepts," in Predictably Dependable Computing Systems, pp. 537-553, Brussels, Springer Verlag, 1995. ISBN 3-540-59334-9
F. Redmill and T. Anderson, (Ed.). Achievement and Assurance of Safety, Springer, 1995. 3-540-19922-5
A. Saeed, R. de Lemos and T. Anderson. On the Safety Analysis of Requirements Specifications. Instrument Society of America (ISA) Transactions. 34: 283-295, 1995.
A. Saeed, R. de Lemos and T. Anderson. "Safety Analysis for Requirements Specifications: Methods and Techniques," in Proc. SAFECOMP' 95, pp. 27-41, 1995.
M.R. Strens. "Alternative Methods of Representation and Analysis of Change," in Deliverable 2.3, DTI/SERC Project IED4/1/9304 "Proteus - Understanding Changing Requirements", Department of Computing Science, University of Newcastle upon Tyne, 1995.
M.R. Strens. "Assessment criteria for methods, tools and processes," in Report of the Fifth Workshop (Deliverable 6.5), DTI/SERC Project IED4/1/9304 "Proteus - Understanding Changing Requirements", Department of Computing Science, University of Newcastle upon Tyne, 1995.
M.R. Strens. "Second Annual Report," in Deliverable 1.2, DTI/SERC Project IED4/1/9304 "Proteus - Understanding Changing Requirements", Department of Computing Science, University of Newcastle upon Tyne, 1995.
M.R. Strens and R.C. Sugden. "Criteria for the Assessment of Representation Methods as Vehicles for Handling Change," in Proc. IEEE Int. Symp. on Systems Engineering of Computer Based Systems ECBS'95, pp. 233-239, Tuscon, Arizona, USA, 1995. 0-7803-2531-1
M.R. Strens and R.C. Sugden. Criteria for the Assessment of Representation Methods as Vehicles for Handling Change, Technical Report 520, Department of Computing Science, University of Newcastle upon Tyne, 1995.
R.C. Sugden and M.R. Strens. Change Handling Criteria for the Assessment of Requirements and Design Methods, Technical Report 521, Department of Computing Science, University of Newcastle upon Tyne, 1995.
P.A. Barrett and A. Saeed. "An Approach to the Specification and Verification of Reactor Control and Protection Systems," Computer Science Report CSR-01/96, Embry-Riddle Aeronautical University, 1996. to appear in Proc. 2nd IFAC Workshop on Safety and Reliability.
T.M. Brookes, J.S. Fitzgerald and P.G. Larsen. "Formal and Informal Specifications of a Secure System Component: Final Results in a Comparative Study," in Proc. Int. Symp. Formal Methods Europe FME'96: Industrial Benefit and Advances in Formal Methods, pp. 214-227, Springer-Verlag Lecture Notes in Computer Science, Vol. 1051, 1996. ISBN 3-54060973-3
H.D. Chu and J.E. Dobson. "A Statistics-Based Framework for Automated Software Testing," in Proc. 9th International Software Quality Week, QW Ô96, San Francisco, 1996.
H.D. Chu and J.E. Dobson. "FAST: A Framework for Automating Statistics-based Testing," Technical Report 564, Department of Computing Science, University of Newcastle upon Tyne, 1996.
R. de Lemos and J.G. Hall. "Extended RTL in the Specification and Verification of an Industrial Press". Hybrid Systems III. Lecture Notes in Computer Science 1066. Eds. R. Alur, T. A. Henzinger, E. Sontag. pp. 114-125.Springer-Verlag. Berlin, Germany. 1996.
J.E. Dobson and M. Martin. "Messages, Communications, Information Security: Protecting the User from the Data," in Database Security IX: Status and Prospects, pp. 10-26, London, Chapman and Hall, 1996. 0-412-72920-2
J.S. Fitzgerald. Book Review: "On the Refinement Calculus by Morgan and Vickers," Formal Aspects of Computing, Vol. 8 No. 3, 1996.
J. S. Fitzgerald. "Two Industrial Trials of Formal Specification". Invited paper, in Proc. 5th Intl. Conf. on Algebraic Methodology and Software Technology, pp. 1-8, Springer-Verlag Lecture notes in Computer Science, Vol. 1101, 1996. ISBN 3-540-61463-X
J. G. Hall and R. de Lemos. "ERTL: an Extension to RTL for the Specification, Analysis and Verification of Hybrid Systems". Proc. of the 8th EUROMICRO Workshop on Real-Time Systems, L'Aquila, Italy. pp. 3-8. IEEE Computer Press. June 1996.
P. G. Larsen, J. S. Fitzgerald and T.M. Brookes. "Applying Formal Specification in Industry," IEEE Software, Vol. 13, No. 3, pp 48-56, May 1996.
F. Redmill and T. Anderson, (Ed.). Safety-critical Systems: The Convergence of High Tech and Human Factors, Springer, 1996. 3-540-76009-1
M.R. Strens and R.C. Sugden. "Change Analysis: a step towards meeting the challenge of changing requirements," in Proc. IEEE Int. Symp. on Systems Engineering of Computer Based Systems ECBS'96, Friedrichshafen, Germany, 1996. 0-7803-2531-1
R.C. Sugden and M.R. Strens. "Strategies; tactics and methods for handling change," in Proc. IEEE Int. Symp. on Systems Engineering of Computer Based Systems ECBS'96, Friedrichshafen, Germany, 1996. 0-7803-2531-1
R.C. Sugden, M.R. Strens and J.E. Dobson. "Strategies to Meet the Challenge of Changing Requirements," in Proc. 4th Safety-critical Systems Symp. Ô96, pp. 1-12, Leeds, UK, Springer-Verlag, 1996. 3-540-76009-1
R.C. Sugden and I.N. Purves. "Decision Support Paradigms for Prescribing in General Practice - Lessons from the PRODIGY Trials," (to appear in) Proc. BCS SGES Expert Systems Ô96, Cambridge, UK, 1996.