David Alex Lamb

According to our database, David Alex Lamb authored at least 27 papers between 1980 and 1999.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1999

Behavioural Views for Software Requirements Engineering.

Ayaz Isazadeh, David Alex Lamb, Terry Shepard

Requir. Eng., 1999

1996

An Algorithmic Semantics for Viewcharts.

Ayaz Isazadeh, David Alex Lamb

Proceedings of the 2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '96), 1996

Behavioral Views for Software Requirements Engineering.

Ayaz Isazadeh, David Alex Lamb, Glenn H. MacEwen

Proceedings of the IEEE Symposium and Workshop on Engineering of Computer Based Systems (ECBS'96), 1996

1995

Metrics Applicable to Software Design.

Xiaobao Yu, David Alex Lamb

Ann. Softw. Eng., 1995

1994

Design and Specification of Iterators Using the Swapping Paradigm.

Bruce W. Weide, Stephen H. Edwards, Douglas E. Harms, David Alex Lamb

IEEE Trans. Software Eng., 1994

Communicating Abstract Data Type Values in Heterogeneous Distributed Programs.

Lin Huang, David Alex Lamb

Proceedings of the 14th International Conference on Distributed Computing Systems, 1994

A theory model core for module interconnection languages.

Thomas R. Dean, David Alex Lamb

Proceedings of the 1994 Conference of the Centre for Advanced Studies on Collaborative Research, October 31, 1994

1993

Separation of Concerns for Indexing.

David Alex Lamb, Margaret Anne Lamb

Electron. Publ., 1993

Studies of Software Design.

David Alex Lamb

Proceedings of the Studies of Software Design, 1993

1992

The Property Vector Specification of a Multiset Iterator.

Trevor W. Pearce, David Alex Lamb

Proceedings of the 14th International Conference on Software Engineering, 1992

Formalization of information hiding design methods.

David Alex Lamb, Kevin A. Schneider

Proceedings of the 1992 Conference of the Centre for Advanced Studies on Collaborative Research, 1992

1990

Specification of Iterators.

David Alex Lamb

IEEE Trans. Software Eng., 1990

1989

An annotated bibliography on user interface design.

P. Fraser, David Alex Lamb

ACM SIGCHI Bull., 1989

Questions in Planning Undergraduate Software Engineering.

David Alex Lamb

Proceedings of the Software Engineering Education, 1989

1988

Testing for Class Membership in Multi-Parent Hierarchies.

David Alex Lamb, Robin W. Dawes

Inf. Process. Lett., 1988

Benign Side Effects.

David Alex Lamb

Inf. Process. Lett., 1988

Reducing Student Workload in a Software Engineering Poject Course.

David Alex Lamb

Proceedings of the Software Engineering Education, 1988

Software engineering - planning for change.

David Alex Lamb

Prentice Hall, ISBN: 978-0-13-823279-5, 1988

1987

IDL: Sharing Intermediate Representations.

David Alex Lamb

ACM Trans. Program. Lang. Syst., 1987

Implementation Strategies for DIANA Attributes.

David Alex Lamb

ACM SIGPLAN Notices, 1987

DRAT: A program for maintaining listings.

David Alex Lamb, Ivor Durham, Joseph M. Newcomer

J. Syst. Softw., 1987

1983

Simulation of Procedure Variables Using Ada Tasks.

David Alex Lamb, Paul N. Hilfinger

IEEE Trans. Software Eng., 1983

Spelling Correction in User Interfaces.

Ivor Durham, David Alex Lamb, James B. Saxe

Commun. ACM, 1983

1981

Construction of a Peephole Optimizer.

David Alex Lamb

Softw. Pract. Exp., 1981

1980

An Ada code generator for VAX 11/780 with Unix.

Mark Sherman, Andy Hisgen, David Alex Lamb, Jonathan Rosenberg

Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, 1980

The Charrette Ada compiler.

Jonathan Rosenberg, David Alex Lamb, Andy Hisgen, Mark Sherman

Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, 1980

A runtime representation for Ada variables and types.

Andy Hisgen, David Alex Lamb, Jonathan Rosenberg, Mark Sherman

Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, 1980