The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Raymond J. A. Buhr" ( http://dblp.L3S.de/Authors/Raymond_J._A._Buhr )

  Author page on DBLP  Author page in RDF  Community of Raymond J. A. Buhr in ASPL-2

Publication years (Num. hits)
1977-1991 (17) 1992-1999 (16)
Publication types (Num. hits)
article(8) inproceedings(25)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 47 occurrences of 40 keywords

Results
Found 34 publication records. Showing 33 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Daniel Amyot, Luigi Logrippo, Raymond J. A. Buhr, Tom Gray Use Case Maps for the Capture and Validation of Distributed Systems Requirements. Search on Bibsonomy RE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Raymond J. A. Buhr Making Behaviour a Concrete Architectural Concept. Search on Bibsonomy HICSS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Raymond J. A. Buhr Use Case Maps as Architectural Entities for Complex Systems. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF design, software architecture, requirements, scenarios, Use cases, system behavior, use case maps
1Raymond J. A. Buhr, Mohamed Elammari, Tom Gray, Serge Mankovski Applying Use Case Maps to Multi-Agent Systems: A Feature Interaction Example. Search on Bibsonomy HICSS (6) The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Raymond J. A. Buhr, Mohamed Elammari, Tom Gray, Serge Mankovski A High Level Visual Notation for Understanding and Designing Collaborative, Adaptive Behavior in Multiagent Systems. Search on Bibsonomy HICSS (6) The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Raymond J. A. Buhr, Daniel Amyot, Mohamed Elammari, Darcy Quesnel, Tom Gray, Serge Mankovski Feature-Interaction Visualisation and Resolution in an Agent Environment. Search on Bibsonomy FIW The full citation details ... 1998 DBLP  BibTeX  RDF
1Raymond J. A. Buhr, Daniel Amyot, Mohamed Elammari, Darcy Quesnel, Tom Gray, Serge Mankovski High Level, Multi-Agent Prototypes from a Scenario-Path Notation: A Feature-Interaction Example. Search on Bibsonomy PAAM The full citation details ... 1998 DBLP  BibTeX  RDF
1Francis Bordeleau, Raymond J. A. Buhr UCM-ROOM modelling: from use case maps to communicating state machines. Search on Bibsonomy ECBS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF UCM-ROOM modelling, communicating state machines, internal state machines, intercomponent messages, UCM models, message sequence charts, communicating sequential processes, modelling methodology, computer-based systems, use case maps
1Raymond J. A. Buhr, Alex Hubbard Use Case Maps for Engineering Real Time and Distributed Computer. Search on Bibsonomy HICSS (5) The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Raymond J. A. Buhr, Mohamed Elammari, Tom Gray, Debbie Pinard, Serge Mankovski Understanding and Defining the Behaviour of Systems of Agents with Use-Case Maps. Search on Bibsonomy PAAM The full citation details ... 1997 DBLP  BibTeX  RDF
1Raymond J. A. Buhr Understanding Large-Scale Behavior Patterns in Complex systems. Search on Bibsonomy ICECCS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Daniel Amyot, Francis Bordeleau, Raymond J. A. Buhr, Luigi Logrippo Formal Support for Design Techniques: A Timethreads-LOTOS Approach. Search on Bibsonomy FORTE The full citation details ... 1995 DBLP  BibTeX  RDF
1Raymond J. A. Buhr, Ronald S. Casselman Timethread-Role Maps for Object-Oriented Design of Real-Time-and-Distributed Systems. Search on Bibsonomy OOPSLA The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Raymond J. A. Buhr, Gerald M. Karam, C. Murray Woodside, Ronald S. Casselman, Greg Franks, H. Scott, D. Bailey TimeBench: a CAD tool for real-time system design. Search on Bibsonomy SETA The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Raymond J. A. Buhr Pictures that Play: Design Notations for Real-time and Distributed Systems. Search on Bibsonomy Softw. Pract. Exp. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Raymond J. A. Buhr, Ronald S. Casselman Architectures with Pictures. Search on Bibsonomy OOPSLA The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Gerald M. Karam, Raymond J. A. Buhr Temporal Logic-Based Deadlock Analysis For Ada. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF temporal logic-based specification language, deadlock analyzer, Timebench, concurrent system-design environment, COL, linear-time temporal logic, formal basis, axiomatic reasoning, deadlock analysis tool, reasoning power, Ada designs, systemwide deadlock-free, deadlock algorithm, finite systems, worst-case computational complexity, gas station, layered communications system, computational complexity, Ada, logic programming, temporal logic, Prolog, specification language, specification languages, inference mechanisms, system recovery, theorem prover, readers, dining philosophers, writers
1Jonah Z. Lavi, Ashok K. Agrawala, Raymond J. A. Buhr, Ken Jackson, Michael Jackson 0001, Bernard Lang Computer Based Systems Engineering Workshop. Search on Bibsonomy CSEE The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Mark Vigder, Raymond J. A. Buhr Using LOTOS in a Design Environment. Search on Bibsonomy FORTE The full citation details ... 1991 DBLP  BibTeX  RDF
1Gerald M. Karam, Raymond J. A. Buhr Starvation and Critical Race Analyzers for Ada. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF race analyzers, critical race analysis tools, Ada designs, temporal analysis toolset, operational specification language, language interpreter, deadlock analyzer, starvation analyzer, set-theoretic model, deadlock analyzer, computation space, preprocessing phase, starvation tool, semiautomatic proof, nondeterministic rendezvous, human operator, design examples, Ada, software tools, programming, specification languages, system recovery, liveness, program interpreters
1C. Murray Woodside, Elias M. Hagos, E. Neron, Raymond J. A. Buhr The CAEDE performance analysis tool. Search on Bibsonomy SETA The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Raymond J. A. Buhr, Gerald M. Karam, Ronald S. Casselman Support for specifying temporal behavior in Ada designs. Search on Bibsonomy SETA The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Raymond J. A. Buhr, Gerald M. Karam, Carol J. Hayes, C. Murray Woodside Software CAD: A Revolutionary Approach. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF software CAD environment, Carleton embedded system design environment, CAEDE, visual paradigm, semantic depth, syntactic shallowness, skeleton Ada code, software engineering, embedded systems, performance analysis, Ada, Ada, CAD, software tools, Prolog, programming environments, automatic programming, automatic programming, abstract machines, temporal analysis, research project, tool development
1Gerald M. Karam, Raymond J. A. Buhr Experience with the automatic temporal analysis of multitasking Ada designs. Search on Bibsonomy SIGAda The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Emil F. Girczyc, Raymond J. A. Buhr, John P. Knight Applicability of a Subset of Ada as an Algorithmic Hardware Description Language for Graph-Based Hardware Compilation. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Raymond J. A. Buhr Lessons from practical experience teaching hands-on, real-time, embedded system programming with Ada. Search on Bibsonomy SIGAda The full citation details ... 1985 DBLP  BibTeX  RDF
1Raymond J. A. Buhr, Gerald M. Karam, C. Murray Woodside An overview and example of application of CAEDE: a new, experimental design environment for Ada. Search on Bibsonomy SIGAda The full citation details ... 1985 DBLP  BibTeX  RDF
1Raymond J. A. Buhr, C. Murray Woodside, Gerald M. Karam, K. Van Der Loo, D. G. Lewis Experiments with Prolog Design Descriptions and Tools in CAEDE: An Iconic Design Environment for Multitasking, Embdedded Systems. Search on Bibsonomy ICSE The full citation details ... 1985 DBLP  BibTeX  RDF
1C. Murray Woodside, J. R. Montealegre, Raymond J. A. Buhr A performance model for hardware/software issues in computer-aided design of protocol systems. Search on Bibsonomy Comput. Commun. Rev. The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1Raymond J. A. Buhr, D. A. MacKinnon Evolving Toward Open System Interconnection. Search on Bibsonomy INFOCOM The full citation details ... 1983 DBLP  BibTeX  RDF
1Raymond J. A. Buhr, D. A. MacKinnon MAILROOM: A computer-based message system model for person-to-person and process-to-process communication. Search on Bibsonomy ICDCS The full citation details ... 1982 DBLP  BibTeX  RDF
1Raymond J. A. Buhr, S. Michell Object-Oriented Structured Design of Layered Protocol Systems. Search on Bibsonomy ICDCS The full citation details ... 1982 DBLP  BibTeX  RDF
1D. A. Thomas, Bernard Pagurek, Raymond J. A. Buhr Validation Algorithms for Pointer Values in DBTG DataBases. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 1977 DBLP  DOI  BibTeX  RDF database utilities, validation, database integrity, type checking
Displaying result #1 - #33 of 33 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license