Staff Profile | School of Computing

Emeritus Professor John Dobson

Emeritus Professor

Email: john.dobson@ncl.ac.uk

Publications

Dobson J, Periorellis P. Models of Organisational Failure (PCE4). Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2003. School of Computing Science Technical Report Series 801.
Dobson J, Jones C, Procter R, Rouncefield M, Williams R. Editorial message: Special track on inter-disciplinary approaches to the design of dependable computer systems. In: ACM Symposium on Applied Computing. 2002, Madrid, Spain: ACM Press.
Wessels B, Dobson J. What happens before requirements engineering?. In: Proceedings of the 5th IEEE International Conference on Requirements Engineering. 2001, Toronto, Canada.
Cachin C, Camenisch J, Dacier M, Deswarte Y, Dobson JE, Horne D, Kursawe K, Laprie J-C, Lebraud J-C, Long D, McCutcheon T, Muller J, Petzold F, Pfitzmann B, Powell D, Randell B, Schunter M, Shoup V, Veríssimo P, Trouessin G, Stroud R, Waidner M, Welch I. Mailicious- and Accidental- Fault Tolerance for Internet Applications (MAFTIA) : Reference Model and Use Cases. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 707.
Russell CM, Holladay MR, Barnsley PB, Martin M, Dobson J. Enterprise modelling the telecommunications industry. BT Technology Journal 1999, 17(2), 147-162.
Dobson JE, Periorellis P. Modelling Enterprises in Context. In: Proceedings of the International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 99). 1999, Vienna, Austria: IOS Press.
Martin MJ, Dobson JE, Strens MR. An Architectural Approach to Brokerage in Network Based Commerce. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1998. Department of Computing Science Technical Report Series 642.
Chu HD, Dobson JE. An Integrated Test Environment for Distributed Applications. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1998. Department of Computing Science Technical Report Series 621.
Strens MR, Martin MJ, Dobson JE, Plagemann S. Business and Market Models of Brokerage in Network -Based Commerce. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1998. Department of Computing Science Technical Report Series 633.
Strens MR, Martin MJ, Dobson JE, Plagemann S. Business and Market Models of Brokerage in Network-Based Commerce. In: 5th International Conference on Intelligence in Services and Networks: Technology for Ubiquitous Telecom Services (IS&N). 1998, Antwerp, Belgium: Springer-Verlag.
Strens MR, Martin MJ, Dobson JE. Modelling Business Scenarios for Electric Brokerage. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1998. Department of Computing Science Technical Report Series 638.
Chu HD, Dobson JE, Chen J, Greenwood S. The Application of Mobile Agents to Software Testing. In: 15th International Conference and Exposition on Testing Computer Software: Testing under Pressure (TCS). 1998, Washington DC, USA.
Chu H-D, Dobson JE, Liu I-C. FAST: A framework for automating statistics-based testing. Software Quality Journal 1997, 6(1), 13-36.
Chu HD, Dobson JE. FAST: A Framework for Automating Statistics-Based Testing. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 564.
Chu HD, Dobson JE. SITE: A Statistics-based Integrated Test Environment. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 584.
Martin MJ, Dobson JE. The Ontology of Enterprises and Information Systems. In: Americas Conference in Information Systems. 1997, Indianapolis, USA: Indianapolis, Association for Information Systems.
Sugden RC, Strens MR, Dobson JE. Strategies to Meet the Challenge of Changing Requirements. In: Safety Critical Systems Symposium. 1996, Leeds, UK: Springer-Verlag.
Dobson JE, Strens MR. Organisational Requirements Definition for Information Technology Systems. In: 1st IEEE International Conference on Requirements Engineering (ICRE). 1994, Colorado Springs, Colorado, USA: IEEE Computer Society Press.
Dobson JE, Strens MR. Responsibility Modelling as a Technique for Requirements Definition. IEE Intelligent Systems Engineering 1994, 3(1), 20-26.
Blyth AJC, Chudge J, Dobson JE, Strens MR. A Framework for Modelling Evolving Requirements. In: 17th Annual IEEE International Computer Software and Applications Conference (COMPSAC). 1993, Phoenix, Arizona, USA: IEEE Computer Society Press.
Blyth AJC, Chudge J, Dobson JE, Strens MR. A Framework for Modelling Evolving Requirements. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1993. Department of Computing Science Technical Report Series 455.
Iggulden D, Dobson JE, Veryard R. Enterprise Computing as an Instrument of Hegemony. In: International Conference on Open Distributed Processing. 1993, Berlin, Germany.
Blyth AJC, Chudge J, Dobson JE, Strens MR. ORDIT: A New Methodology to Assist in the Process of Eliciting and Modelling Organisational Requirements. In: ACM Conference on Organizational Computing Systems (COCS). 1993, Milpitas, California, USA: ACM Press, New York.
Blyth AJC, Chudge J, Dobson JE, Strens MR. ORDIT: A New Methodology to Assist in the Process of Eliciting and Modelling Organisational Requirements. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1993. Department of Computing Science Technical Report Series 456.
Dobson JE. Organisational Requirements Definition for Information Technology Systems. In: Conference on the Theory of Use and Integrative Aspects of IS Methodologies. 1993, Edinburgh, UK: British Computer Society.
Dobson JE. Elicitation and Representation of a Security Policy for a Telecommunications Application. In: 8th International Conference on Software Engineering for Telecommunications Systems and Services. 1992, Florence, Italy: IEE Press.
Dobson JE. New Security Paradigms: What Other Concepts Do We Need as Well?. In: 1992-1993 ACM SIGSAC Workshop on New Security Paradigms (NSPW). 1992, Little Compton, Rhode Island, USA: IEEE Computer Society Press.
Burns A, McDermid JA, Dobson JE. On the Meaning of Safety and Security. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1992. Computing Laboratory Technical Report Series 382.
Blyth AJC, Chudge J, Dobson JE, Strens MR. The ORDIT Approach to Requirements Identification. In: 16th Annual IEEE International Computer Software and Applications Conference (COMPSAC). 1992, Chicago, IL, USA: IEEE Computer Society Press.
Dobson JE, Blyth AJC, Chudge J, Strens MR. The ORDIT Approach to Requirements Identification. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1992. Department of Computing Science Technical Report Series 394.
Dobson JE, McDermid JA. An Investigation into Modelling and categorisation of Non-Functional Requirements (for the Specification of Surface Naval Command Systems). Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1991. Computing Laboratory Technical Report Series 320.
Dobson JE, Martin MJ. Enterprise Modelling and Security Policies. In: 4th IFIP WG 11.3 Conference on Database Security: Database Security, IV: Status and Prospects (DBSec). 1991, Halifax, UK: North-Holland Publishing.
Dobson JE. A Methodology for Analysing Human and Computer-Related Issues in Secure Systems. In: 6th IFIP TC11 International Conference on Computer Security and Information Integrity in our Changing World (IFIP/Sec '90). 1990, Helsinki, Finland: Elsevier Science (North-Holland).
Dobson JE. A Methodology for Analysing Human and Computer-related Issues in Secure Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1990. Computing Laboratory Technical Report Series 307.
Dobson JE, McDermid J, Randell B. On the Trustworthiness of Computing Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1990. Computing Laboratory Technical Report Series 306.
Dobson JE, Laprie J-C, Randell B. Predictably Dependable Computing Systems: An ESPRIT Basic Research Project. Bulletin of EATCS 1990, 40, 100-116.
Dobson JE. Conversation Structures as a Means of Specifying Security Policy. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1989. Computing Laboratory Technical Report Series 295.
Dobson JE, McDermid JA. Security Models and Enterprise Models. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1989. Computing Laboratory Technical Report Series 279.
Dobson JE. Modelling Real-world Issues for Dependable Software. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1988. Computing Laboratory Technical Report Series 268.
Dobson JE. Representing the Real World. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1988. Computing Laboratory Technical Report Series 267.
Dobson JE. Security and Databases: A Methodological Approach. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1988. Computing Laboratory Technical Report Series 264.
Dobson JE, Randell B. Building Reliable Secure Computing Systems out of Unreliable Insecure Components. In: Conference on Security and Privacy. 1986, Oakland, USA: IEEE.
Dobson JE, Randell B. Building Reliable Secure Computing Systems out of Unreliable Insecure Components. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1986. Computing Laboratory Technical Report Series 214.
Dobson JE, Martin MJ. Modelling Real-world Issues in Dependable Communications Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1986. Computing Laboratory Technical Report Series 219.
Randell B, Dobson JE. Reliability and Security Issues in Distributed Computing Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1985. Computing Laboratory Technical Report Series 210.