SIGLEAvailable from British Library Document Supply Centre- DSC:DX177960 / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Yip, Stephen Wai-Leung

English

Durham e-Theses

(Program Chair),

(Technion-Isreal Institute of Technology). &quot;The Adaptable User Interface&quot;,

A comparison of static and dynamic conformance analyses&quot;,

A Formal Approach to Software Error Removal&quot;,

A Graphical Specification System for User Interface Design&quot;.

A Method for Test Data Selection&quot;,

A specification-based functional testing method for JSP designed programs&quot;,

A standard for software quality assurance plan&quot;,

A View on windows: Current approaches and neglected opportunities&quot;,

A Visual Language Compiler&quot;,

Administrative Notes for the Guidance of Supervisors and Postgraduates&quot;,

Algorithms to transform the formal specification of a user-computer interfaces&quot;, in [INTERACT'87],

An Approach to Operating System Testing&quot;,

An Architecture for User Interface R&D&quot;,

An evaluation of three user interface management systems&quot;,

Anatomy of a Compact User Interface Development Tool&quot;,

and the Beast? &quot;,

Automated Test Case Generation for Programs specified by Relational Algebra Queries&quot;,

Automatic Derivation of Formal Software Specifications from Informal Descriptions&quot;

Automatic generation of random self-checking test cases&quot;,

Automatic Generation of Test Scripts from Formal Test Specifications&quot;,

Axiomatizing software test data adequacy&quot;,

Building Reliable Interactive Information Systems&quot;,

Complexity of the EQUATE Testing Strategy&quot;,

Computer Interaction, Psychology, Task Analysis and Software Engineering&quot;,

Computer Program Testing&quot;,

Constructive Formal Specifications for Rapid Prototyping&quot;,

Current technology in distributed window systems&quot;,

DAISTS: A system for using specifications to test implementations&quot;,

Data Logic FOREST Case Study :A MAL Specification of the MVC paradigm as applied to SmallTalk-80&quot;, Internal report (Data Logic),

Developing Interactive Information Systems with the User Software Eng. Methodology&quot;,

Editing Templates: A User Interface Generation Tool&quot;,

Executable Specification as an aid to dialogue design&quot;,

Face to Face with Open Look&quot;,

Formal Methods and Interactive Systems: Principle and Practice&quot;,

Formal methods in the specification of the human-machine interface&quot;,

Formal specification of a small example based on GKS&quot;,

Formal Specification of Programming Languages&quot;,

Formalising models of interaction in the design of a display editor&quot;,

Functional Testing and Design Abstractions&quot;,

Goal Directed Task Analysis and Formal Interface Specifications&quot;,

Guarded Commands, non-determinacy & formal derivation of programs&quot;,

How to get a PhD&quot;,

Human Interface Guidelines: The Apple Desktop Interface&quot;,

Human-Computer Interface Recording&quot;,

Integration through standards&quot;, Computer Graphics'88, p135-144, published by

Interface specification with temporal logic&quot;,

Introduction to the X Window Systems&quot;,

Larger Issues in User Interface Management&quot;,

MIKE: The Menu Interaction Kontrol Environment&quot;,

Modelling User Interface-Application Interactions&quot;,

Modular Implementation of Presentations&quot;,

On the Automated Generation of Program Test Data&quot;,

Pascal on the Macintosh, A Graphical Approach&quot;,

Past and future trends for portable tools interfaces&quot;,

People and Computer IV&quot; for HCI'88, published by Cambridge

Portable User Interfaces&quot;, Computer Graphics' 88, p125-133, published by

Proceeding of Human-Computer Interaction -

Programming, Formal Specification and Rapid Prototyping&quot;,

Push Down Automata for User Interface Management&quot;,

Reliability', Technical Univ. of Berlin,

Report Generation Using a Visual Programming Interface&quot;,

Report on Dialogue Specification Tools&quot;,

Sharing testing responsibilities in

Software Engineering Concepts&quot;,

Software Engineering&quot;,

Software Verification and Validation, Realistic Project Approaches&quot;,

Software Verification and Validation: an overview&quot;

Specification Directed Module Testing&quot;,

Test plan generation using formal grammars&quot;.

Test-Case Generation with IOGen&quot;,

Testing -a challenge to method and tool developers&quot;,

Testing Formal Specifications to Detect Design Errors&quot;,

Testing in Software Development&quot;, British Computer Society Monographs in Informatics,

Testing in the program development cycle&quot;,

Testing in Top-down Program Development&quot;,

Testing Tools&quot;,

The algebraic specification of abstract data types&quot;,

The Application of Formal Methods to The Assessment of High Integrity Software&quot;,

The Automatic Generation of Test Data&quot;,

The C Programming Language&quot;, 2nd Ed.,

The category-partition method for specifying and generating functional tests&quot;,

The Computer Graphics Jig-Saw Puzzle&quot;, Computer Graphics'86, published by

The Evaluation of Program-Based Software Test Data Adequacy Criteria&quot;,

The Growth of Software Testing&quot;,

The Role of the Dialogue System in a User Interface Management System&quot;,

The Specification of Complex Systems&quot;,

The SYNICS2 Interface Manger&quot;,

The Use of Self Checks and Voting in Software Error Detection: An Empirical Study&quot;,

The Use of Software Tools for Dialogue Design&quot;,

The Weak Mutation Hypothesis&quot;,

Towards a comprehensive user interface management system&quot;,

User interface design from a real time perspective&quot;,

User Interface Development&quot;,

User Interface Evaluation in the Real World: A Comparison of Four Approaches&quot;,

Formal functional testing of graphical user interfaces.

Abstract

Similar works

Full text

Available Versions

Durham e-Theses

OpenGrey Repository