Search results for "Raymond J. A. Buhr"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Raymond J. A. Buhr	Making Behaviour a Concrete Architectural Concept. (PDF / PS)	HICSS	1999	DBLP DOI BibTeX RDF
1	Daniel Amyot, Luigi Logrippo, Raymond J. A. Buhr, Tom Gray	Use Case Maps for the Capture and Validation of Distributed Systems Requirements. (PDF / PS)	RE	1999	DBLP DOI BibTeX RDF
1	Raymond J. A. Buhr	Use Case Maps as Architectural Entities for Complex Systems.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	design, software architecture, requirements, scenarios, Use cases, system behavior, use case maps
1	Raymond J. A. Buhr, Daniel Amyot, Mohamed Elammari, Darcy Quesnel, Tom Gray, Serge Mankovski	Feature-Interaction Visualisation and Resolution in an Agent Environment.	FIW	1998	DBLP BibTeX RDF
1	Raymond J. A. Buhr, Mohamed Elammari, Tom Gray, Serge Mankovski	Applying Use Case Maps to Multi-Agent Systems: A Feature Interaction Example. (PDF / PS)	HICSS	1998	DBLP DOI BibTeX RDF
1	Raymond J. A. Buhr, Mohamed Elammari, Tom Gray, Serge Mankovski	A High Level Visual Notation for Understanding and Designing Collaborative, Adaptive Behavior in Multiagent Systems. (PDF / PS)	HICSS	1998	DBLP DOI BibTeX RDF
1	Francis Bordeleau, Raymond J. A. Buhr	UCM-ROOM modelling: from use case maps to communicating state machines.	ECBS	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
1	Raymond J. A. Buhr, Alex Hubbard	Use Case Maps for Engineering Real Time and Distributed Computer.	HICSS	1997	DBLP DOI BibTeX RDF
1	Raymond J. A. Buhr	Understanding Large-Scale Behavior Patterns in Complex systems.	ICECCS	1996	DBLP DOI BibTeX RDF
1	Daniel Amyot, Francis Bordeleau, Raymond J. A. Buhr, Luigi Logrippo	Formal Support for Design Techniques: A Timethreads-LOTOS Approach.	FORTE	1995	DBLP BibTeX RDF
1	Raymond J. A. Buhr, Ronald S. Casselman	Timethread-Role Maps for Object-Oriented Design of Real-Time-and-Distributed Systems.	OOPSLA	1994	DBLP DOI BibTeX RDF
1	Raymond J. A. Buhr	Pictures that Play: Design Notations for Real-time and Distributed Systems.	Softw., Pract. Exper.	1993	DBLP DOI BibTeX RDF
1	Raymond J. A. Buhr, Ronald S. Casselman	Architectures with Pictures.	OOPSLA	1992	DBLP DOI BibTeX RDF
1	Gerald M. Karam, Raymond J. A. Buhr	Temporal Logic-Based Deadlock Analysis For Ada.	IEEE Trans. Software Eng.	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
1	Mark Vigder, Raymond J. A. Buhr	Using LOTOS in a Design Environment.	FORTE	1991	DBLP BibTeX RDF
1	Jonah Z. Lavi, Ashok K. Agrawala, Raymond J. A. Buhr, Ken Jackson, Michael Jackson, Bernard Lang	Computer Based Systems Engineering Workshop.	CSEE	1991	DBLP DOI BibTeX RDF
1	Gerald M. Karam, Raymond J. A. Buhr	Starvation and Critical Race Analyzers for Ada.	IEEE Trans. Software Eng.	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
1	Raymond J. A. Buhr, Gerald M. Karam, Carol J. Hayes, C. Murray Woodside	Software CAD: A Revolutionary Approach.	IEEE Trans. Software Eng.	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
1	Emil 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.	IEEE Trans. on CAD of Integrated Circuits and Systems	1985	DBLP DOI BibTeX RDF
1	Raymond 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.	ICSE	1985	DBLP BibTeX RDF
1	C. Murray Woodside, J. R. Montealegre, Raymond J. A. Buhr	A performance model for hardware/software issues in computer-aided design of protocol systems.	Computer Communication Review	1984	DBLP DOI BibTeX RDF
1	Raymond J. A. Buhr, D. A. MacKinnon	Evolving Toward Open System Interconnection.	INFOCOM	1983	DBLP BibTeX RDF
1	Raymond J. A. Buhr, S. Michell	Object-Oriented Structured Design of Layered Protocol Systems.	ICDCS	1982	DBLP BibTeX RDF
1	D. A. Thomas, B. Pagurek, Raymond J. A. Buhr	Validation Algorithms for Pointer Values in DBTG DataBases.	ACM Trans. Database Syst.	1977	DBLP DOI BibTeX RDF	database utilities, validation, database integrity, type checking

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