Raymond J. A. Buhr

According to our database, Raymond J. A. Buhr authored at least 33 papers between 1977 and 1999.

Collaborative distances:

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

1999

Use Case Maps for the Capture and Validation of Distributed Systems Requirements.

Daniel Amyot, Luigi Logrippo, Raymond J. A. Buhr, Tom Gray

Proceedings of the 4th IEEE International Symposium on Requirements Engineering (RE '99), 1999

Making Behaviour a Concrete Architectural Concept.

Raymond J. A. Buhr

Proceedings of the 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), 1999

1998

Use Case Maps as Architectural Entities for Complex Systems.

Raymond J. A. Buhr

IEEE Trans. Software Eng., 1998

High Level, Multi-Agent Prototypes from a Scenario-Path Notation: A Feature-Interaction Example.

Raymond J. A. Buhr, Daniel Amyot, Mohamed Elammari, Darcy Quesnel, Tom Gray, Serge Mankovski

Proceedings of the Third International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology, 1998

A High Level Visual Notation for Understanding and Designing Collaborative, Adaptive Behavior in Multiagent Systems.

Raymond J. A. Buhr, Mohamed Elammari, Tom Gray, Serge Mankovski

Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences, 1998

Applying Use Case Maps to Multi-Agent Systems: A Feature Interaction Example.

Raymond J. A. Buhr, Mohamed Elammari, Tom Gray, Serge Mankovski

Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences, 1998

Feature-Interaction Visualisation and Resolution in an Agent Environment.

Raymond J. A. Buhr, Daniel Amyot, Mohamed Elammari, Darcy Quesnel, Tom Gray, Serge Mankovski

Proceedings of the Feature Interactions in Telecommunications and Software Systems V, September 29, 1998

1997

Understanding and Defining the Behaviour of Systems of Agents with Use-Case Maps.

Raymond J. A. Buhr, Mohamed Elammari, Tom Gray, Debbie Pinard, Serge Mankovski

Proceedings of the Second International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology, 1997

Use Case Maps for Engineering Real Time and Distributed Computer.

Raymond J. A. Buhr, Alex Hubbard

Proceedings of the 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 1997

UCM-ROOM modelling: from use case maps to communicating state machines.

Francis Bordeleau, Raymond J. A. Buhr

Proceedings of the 1997 Workshop on Engineering of Computer-Based Systems (ECBS '97), 1997

1996

Understanding Large-Scale Behavior Patterns in Complex systems.

Raymond J. A. Buhr

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

1995

Formal Support for Design Techniques: A Timethreads-LOTOS Approach.

Daniel Amyot, Francis Bordeleau, Raymond J. A. Buhr, Luigi Logrippo

Proceedings of the Formal Description Techniques VIII, 1995

1994

TimeBench: a CAD tool for real-time system design.

Raymond J. A. Buhr, Gerald M. Karam, C. Murray Woodside, Ronald S. Casselman, Greg Franks, H. Scott, D. Bailey

Proceedings of the Second International Symposium on Environments and Tools for Ada, 1994

Timethread-Role Maps for Object-Oriented Design of Real-Time-and-Distributed Systems.

Raymond J. A. Buhr, Ronald S. Casselman

Proceedings of the Ninth Annual Conference on Object-Oriented Programming Systems, 1994

1993

Pictures that Play: Design Notations for Real-time and Distributed Systems.

Raymond J. A. Buhr

Softw. Pract. Exp., 1993

1992

Architectures with Pictures.

Raymond J. A. Buhr, Ronald S. Casselman

Proceedings of the Seventh Annual Conference on Object-Oriented Programming Systems, 1992

1991

Temporal Logic-Based Deadlock Analysis For Ada.

Gerald M. Karam, Raymond J. A. Buhr

IEEE Trans. Software Eng., 1991

Using LOTOS in a Design Environment.

Mark Vigder, Raymond J. A. Buhr

Proceedings of the Formal Description Techniques, 1991

Computer Based Systems Engineering Workshop.

Jonah Z. Lavi, Ashok K. Agrawala, Raymond J. A. Buhr, Ken Jackson, Michael Jackson, Bernard Lang

Proceedings of the Software Engineering Education, 1991

1990

Starvation and Critical Race Analyzers for Ada.

Gerald M. Karam, Raymond J. A. Buhr

IEEE Trans. Software Eng., 1990

The CAEDE performance analysis tool.

C. Murray Woodside, Elias M. Hagos, E. Neron, Raymond J. A. Buhr

Proceedings of the First International Symposium on Environments and Tools for Ada, 1990

Support for specifying temporal behavior in Ada designs.

Raymond J. A. Buhr, Gerald M. Karam, Ronald S. Casselman

Proceedings of the First International Symposium on Environments and Tools for Ada, 1990

1989

Software CAD: A Revolutionary Approach.

Raymond J. A. Buhr, Gerald M. Karam, Carol J. Hayes, C. Murray Woodside

IEEE Trans. Software Eng., 1989

1987

Experience with the automatic temporal analysis of multitasking Ada designs.

Gerald M. Karam, Raymond J. A. Buhr

Proceedings of the 1987 Annual ACM SIGAda International Conference on Ada, 1987

1985

Applicability of a Subset of Ada as an Algorithmic Hardware Description Language for Graph-Based Hardware Compilation.

Emil F. Girczyc, Raymond J. A. Buhr, John P. Knight

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1985

An overview and example of application of CAEDE: a new, experimental design environment for Ada.

Raymond J. A. Buhr, Gerald M. Karam, C. Murray Woodside

Proceedings of the 1985 Annual ACM SIGAda International Conference on Ada, 1985

Lessons from practical experience teaching hands-on, real-time, embedded system programming with Ada.

Raymond J. A. Buhr

Proceedings of the 1985 Annual ACM SIGAda International Conference on Ada, 1985

Experiments with Prolog Design Descriptions and Tools in CAEDE: An Iconic Design Environment for Multitasking, Embdedded Systems.

Raymond J. A. Buhr, C. Murray Woodside, Gerald M. Karam, K. Van Der Loo, D. G. Lewis

Proceedings of the Proceedings, 1985

1984

A performance model for hardware/software issues in computer-aided design of protocol systems.

C. Murray Woodside, J. R. Montealegre, Raymond J. A. Buhr

Comput. Commun. Rev., 1984

1983

Evolving Toward Open System Interconnection.

Raymond J. A. Buhr, D. A. MacKinnon

Proceedings of the Proceedings IEEE INFOCOM 83, San Diego, CA, USA, April 18-21, 1983, 1983

1982

MAILROOM: A computer-based message system model for person-to-person and process-to-process communication.

Raymond J. A. Buhr, D. A. MacKinnon

Proceedings of the Proceedings of the 3rd International Conference on Distributed Computing Systems, 1982

Object-Oriented Structured Design of Layered Protocol Systems.

Raymond J. A. Buhr, S. Michell

Proceedings of the Proceedings of the 3rd International Conference on Distributed Computing Systems, 1982

1977

Validation Algorithms for Pointer Values in DBTG DataBases.

D. A. Thomas, Bernard Pagurek, Raymond J. A. Buhr

ACM Trans. Database Syst., 1977