Raymond T. Yeh

According to our database, Raymond T. Yeh authored at least 60 papers between 1968 and 2016.

Collaborative distances:

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

2016

Chittoor V. Ramamoorthy, Ph.D (1926-2016).

Raymond T. Yeh

J. Integr. Des. Process. Sci., 2016

2005

Building 21st Century Enterprises.

Raymond T. Yeh

Proceedings of the Third ACIS International Conference on Software Engineering, 2005

2003

Why Great Organizations Are Great? The Art of Business.

Raymond T. Yeh

Proceedings of the Software Engineering Research and Applications, 2003

2002

Educating future software engineers.

Raymond T. Yeh

IEEE Trans. Educ., 2002

1999

Professor Ramamoorthy: A Personal Introduction.

Raymond T. Yeh

IEEE Trans. Knowl. Data Eng., 1999

1997

Electronic enterprise engineering: an outline of an architecture.

Michael Bieber, Michael R. Bartolacci, Jerry Fjermestad, Franz J. Kurfess, Qianhong Liu, Marvin K. Nakayama, Ajaz Rana, Wilhelm R. Rossak, Richard B. Scherl, Murat M. Tanik, Jason Tsong-Li Wang, Raymond T. Yeh, Peter A. Ng, Richard Sweeney, Fabio Vitali

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

1994

System Development as a Wicked Problem.

Raymond T. Yeh

Proceedings of the Impact of Case Technology on Software Processes, 1994

1993

Software Engineering in the Year 2000.

Bruce I. Blum, Victor R. Basili, S. K. Chang, Michael Evangelist, C. V. Ramamoorthy, Raymond T. Yeh

Proceedings of the SEKE'93, 1993

1992

Notes on Concurrent Engineering.

Raymond T. Yeh

IEEE Trans. Knowl. Data Eng., 1992

1991

A Commonsense Management Model.

Raymond T. Yeh, David A. Naumann, Roland T. Mittermeir, Reinhard A. Schlemmer, William S. Gilmore, George E. Sumrall, John T. Lebaron

IEEE Softw., 1991

A systemic approach to process modeling.

Raymond T. Yeh, Reinhard A. Schlemmer, Roland T. Mittermeir

J. Syst. Integr., 1991

Editorial.

Raymond T. Yeh

J. Syst. Integr., 1991

System Development as a Wicked Problem.

Raymond T. Yeh

Int. J. Softw. Eng. Knowl. Eng., 1991

1989

Guest Editors' Introduction: Rapid Prototyping in Software Development.

Murat M. Tanik, Raymond T. Yeh

Computer, 1989

1988

A Prototyping Language for Real-Time Software.

Luqi, Valdis Berzins, Raymond T. Yeh

IEEE Trans. Software Eng., 1988

Specification and Verification of Liveness Properties of Cyclic, Concurrent Processes.

Joylyn Reed, Raymond T. Yeh

ACM Trans. Program. Lang. Syst., 1988

Guest Editors' Introduction: Expert Systems.

Murat M. Tanik, Raymond T. Yeh

IEEE Softw., 1988

Report on a business definition language system.

Raymond T. Yeh

Proceedings of the 1988 Internation Conference on Computer Languages, 1988

1986

Principle of Deadlock Detection in Ada Programs.

Bosheng Zhou, Raymond T. Yeh, Peter A. Ng

Proceedings of the 6th International Conference on Distributed Computing Systems, 1986

1985

SEES - A Software Testing Environment Support System.

Nick Roussopoulos, Raymond T. Yeh

IEEE Trans. Software Eng., 1985

1984

Introduction to the special issue on the use of entity-relationship concepts in databases and related software.

Sushil Jajodia, Peter Ann-Beng Ng, Raymond T. Yeh

J. Syst. Softw., 1984

Software Engineering Practices in the US and Japan.

Marvin V. Zelkowitz, Raymond T. Yeh, Richard G. Hamlet, John D. Gannon, Victor R. Basili

Computer, 1984

An Adaptable Methodology for Database Design.

Nick Roussopoulos, Raymond T. Yeh

Computer, 1984

An Algebraic System for Deadlock Detection and its Applications.

Bosheng Zhou, Raymond T. Yeh, Peter A. Ng

Proceedings of the Fourth Symposium on Reliability in Distributed Software and Database Systems, 1984

A Programming Environment Framework Based on Reusability.

Raymond T. Yeh, Roland T. Mittermeir, Nick Roussopoulos, Joylyn Reed

Proceedings of the First International Conference on Data Engineering, 1984

A tool-based approach for software testing and validation.

J. C. Huang, Peter Valdes, Raymond T. Yeh

Proceedings of the American Federation of Information Processing Societies: 1984 National Computer Conference, 1984

1983

Formal Specification and Verification of Distributed Systems.

Bo-Shoe Chen, Raymond T. Yeh

IEEE Trans. Software Eng., 1983

1982

Detection of Inherent Deadlocks in Distributed Programs.

Kegang Hao, Raymond T. Yeh

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

1981

Executable Requirements for Embedded Systems.

Pamela Zave, Raymond T. Yeh

Proceedings of the 5th International Conference on Software Engineering, 1981

A software requirements analysis and definition methodology for business data processing.

Isao Miyamoto, Raymond T. Yeh

Proceedings of the American Federation of Information Processing Societies: 1981 National Computer Conference, 1981

1980

Communication Port: A Language Concept for Concurrent Programming.

T. William Mao, Raymond T. Yeh

IEEE Trans. Software Eng., 1980

1979

In Memory of Maurice H. Halstead.

Raymond T. Yeh

IEEE Trans. Software Eng., 1979

Systematic Derivation of Software Requirements.

Raymond T. Yeh, Nick Roussopoulos, Philip Chang

Proceedings of the Entity-Relationship Approach to Systems Analysis and Design. Proc. 1st International Conference on the Entity-Relationship Approach, 1979

An illustration of systematic design of parallel programs for real-time applications.

William T. Mao, Raymond T. Yeh

Proceedings of the IEEE Computer Society's Third International Computer Software and Applications Conference, 1979

Structural locking for concurrency control in data base systems.

Sukho Lee, Raymond T. Yeh

Proceedings of the IEEE Computer Society's Third International Computer Software and Applications Conference, 1979

1978

Software and Data Base Engineering - Towards a Common Design Methodology.

Raymond T. Yeh, Agustin A. Araya, Philip Chang

Proceedings of the Issues in Data Base Management, 1978

Data Base and Software Engineering - A Design Viewpoint.

Raymond T. Yeh

Proceedings of the Fourth International Conference on Very Large Data Bases, 1978

A multi-level approach to data base design.

Raymond T. Yeh, Philip Chang, C. Mohan

Proceedings of the IEEE Computer Society's Second International Computer Software and Applications Conference, 1978

1977

Toward a Design Methodology for DBMS: A Software Engineering Approach.

Raymond T. Yeh, Jerry W. Baker

Proceedings of the Third International Conference on Very Large Data Bases, 1977

1976

Induction as the Basis for Program Verification.

Charles Reynolds, Raymond T. Yeh

IEEE Trans. Software Eng., 1976

Guest Editorial - Special Issue on Reliable Software: Part II: Fault-Tolerant Software.

Raymond T. Yeh

ACM Comput. Surv., 1976

Guest Editorial - Special Issue on Reliable Software: Part I: Software Validation.

Raymond T. Yeh

ACM Comput. Surv., 1976

Induction as the Basis for Program Verification (Abstract).

Charles Reynolds, Raymond T. Yeh

Proceedings of the 2nd International Conference on Software Engineering, 1976

An approach to program verification.

Raymond T. Yeh

Proceedings of the 13th Design Automation Conference, 1976

1975

Strong Verification of Programs.

Sanat K. Basu, Raymond T. Yeh

IEEE Trans. Software Eng., 1975

Marker automata.

Pei Hsia, Raymond T. Yeh

Inf. Sci., 1975

Software Engineering.

Raymond T. Yeh

Computer, 1975

Graph Walking Automata.

Peter A. Ng, Pei Hsia, Raymond T. Yeh

Proceedings of the Mathematical Foundations of Computer Science 1975, 1975

1974

Erratum: "Periodic Representation of Equal Matrix Grammars"

Ratan K. Guha, Raymond T. Yeh

Inf. Control., April, 1974

On Periodicity of Sequential Machines.

Ratan K. Guha, Raymond T. Yeh

J. Comput. Syst. Sci., 1974

1973

Periodic Representation of Equal Matrix Grammars

Ratan K. Guha, Raymond T. Yeh

Inf. Control., June, 1973

New directions in teaching the fundamentals of computer science - discrete structures and computational analysis.

Raymond T. Yeh, Donald I. Good, David R. Musser

Proceedings of the 3rd SIGCSE Technical Symposium on Computer Science Education, 1973

Tree Transformations via Finite Recursive Transition Machines.

Peter A. Ng, Raymond T. Yeh

Proceedings of the Mathematical Foundations of Computer Science: Proceedings of Symposium and Summer School, 1973

1972

Continuously Valued Logic.

Franco P. Preparata, Raymond T. Yeh

J. Comput. Syst. Sci., 1972

Finite Automata with Markers.

Pei Hsia, Raymond T. Yeh

Proceedings of the Automata, 1972

1971

Some Structural Properties of Generalized Automata and Algebras.

Raymond T. Yeh

Math. Syst. Theory, 1971

1970

R70-43 Lattice Functions, Pair Algebras, and Finite-State Machines.

Raymond T. Yeh

IEEE Trans. Computers, 1970

Structural Equivalence of Automata.

Raymond T. Yeh

Math. Syst. Theory, 1970

1968

On Relational Homomorphisms of Automata

Raymond T. Yeh

Inf. Control., August, 1968

Generalized Pair Algebra With Applications to Automata Theory.

Raymond T. Yeh

J. ACM, 1968