Search Results - "Graham, T.C.N."

Experience applying the SPIN model checker to an industrial telecommunications system by Long, B., Dingel, J., Graham, T.C.N.

“…Model checking has for years been advertised as a way of ensuring the correctness of complex software systems. However, there exist surprisingly few critical…”
Get full text

Agility and Experimentation: Practical Techniques for Resolving Architectural Tradeoffs by Graham, T.C.N., Kazman, R., Walmsley, C.

“…This paper outlines our experiences with making architectural tradeoffs between performance, availability, security, and usability, in light of stringent cost…”
Get full text

Dragonfly: linking conceptual and implementation architectures of multiuser interactive systems by Anderson, Gary E., Graham, T. C. Nicholas, Wright, Timothy N.

“…Software architecture styles for developing multiuser applications are usually defined at a conceptual level, abstracting such low-level issues of distributed…”
Get full text

Integrating support for temporal media into an architecture for graphical user interfaces by Graham, T. C. Nicholas, Urnes, Tore

“…As computers are increasingly used for communicating information, multimedia has become an important component of interactive applications. Effective…”
Get full text

Visual constraint diagrams: runtime conformance checking of UML object models versus implementations by Turner, Christopher J., Graham, T. C. Nicholas, Wolfe, Christopher, Ball, Julian, Holman, David, Stewart, Hugh D., Ryman, Arthur G.

“…This paper presents Visual Constraint Diagrams (VCD's), an extension to UML object diagrams for expressing constraints over object models. VCD's allow…”
Get full text

Linguistic support for the evolutionary design of software architectures by Graham, T.C.N., Urnes, T.

“…As a program's functionality evolves over time, its software architecture should evolve as well so that it continues to match the program's design. This paper…”
Get full text

A method for the formal testing of program visualization tools by Graham, T.C.N.

“…Many modern tools support program understanding through the visualization of program structure. Such tools are typically based on a formal theory describing…”
Get full text

Low-Cost Malleable Surfaces with Multi-Touch Pressure Sensitivity by Smith, J.D., Graham, T.C.N., Holman, D., Borchers, J.

“…While touch sensitivity has today become commonplace, it is oftentimes limited to a single point of contact with a hard, rigid surface. We present a novel…”
Get full text

Quality Analysis of Distribution Architectures for Synchronous Groupware by Graham, T.C.N., Phillips, W.G., Wolfe, C.

“…This paper identifies a set of distribution architectures for the development of synchronous groupware and provides an analysis of their quality attributes…”
Get full text

A study of collaboration in software design by Wu, J., Graham, T.C.N., Smith, P.W.

“…This paper presents a study of collaboration in software design at a large software company. Ethnographic studies of development teams in the field are…”
Get full text

A World-Wide-Web architecture for collaborative software design by Graham, T.C.N., Stewart, H.D., Kopaee, A.R., Ryman, A.G., Rasouli, R.

“…Rosetta is a tool that supports the creation of object-oriented design documents, and which automatically checks the conformance of Java implementations to…”
Get full text

Conceptual views of data structures as a model of output in programming languages by Graham, T.C.N., Cordy, J.R.

“…Current programming languages provide sophisticated facilities for the structuring and manipulation of data within a program. Its high-level constructs,…”
Get full text

GVL: a graphical, functional language for the specification of output in programming languages by Cordy, J.R., Graham, T.C.N.

“…The conceptual view model of output is based on the complete separation of the output specification of a program from the program itself, and the use of…”
Get full text