Raymond T. Yeh

67 papers A* 9A 6B 5C 3Journal 34Unranked 7
YearRankTypeTitle / Venue / Authors
2016 J jnl
Chittoor V. Ramamoorthy, Ph.D (1926-2016).
J. Integr. Des. Process. Sci.
Raymond T. Yeh
2005 C conf
Building 21st Century Enterprises.
SERA
Raymond T. Yeh
2003 C conf
Why Great Organizations Are Great? The Art of Business.
SERA
Raymond T. Yeh
2002 J jnl
Educating future software engineers.
IEEE Trans. Educ.
Raymond T. Yeh
1999 J jnl
Professor Ramamoorthy: A Personal Introduction.
IEEE Trans. Knowl. Data Eng.
Raymond T. Yeh
1997 — conf
Electronic enterprise engineering: an outline of an architecture.
ECBS
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
1994 — ch.
System Development as a Wicked Problem.
The Impact of Case Technology on Software Processes
Raymond T. Yeh
1993 C conf
Software Engineering in the Year 2000.
SEKE
Bruce I. Blum, Victor R. Basili, S. K. Chang, Michael Evangelist, C. V. Ramamoorthy, Raymond T. Yeh
1992 J jnl
Notes on Concurrent Engineering.
IEEE Trans. Knowl. Data Eng.
Raymond T. Yeh
1991 J jnl
A Commonsense Management Model.
IEEE Softw.
Raymond T. Yeh, David A. Naumann, Roland T. Mittermeir, Reinhard A. Schlemmer, William S. Gilmore, George E. Sumrall, John T. Lebaron
1991 J jnl
A systemic approach to process modeling.
J. Syst. Integr.
Raymond T. Yeh, Reinhard A. Schlemmer, Roland T. Mittermeir
1991 J jnl
Editorial.
J. Syst. Integr.
Raymond T. Yeh
1991 J jnl
System Development as a Wicked Problem.
Int. J. Softw. Eng. Knowl. Eng.
Raymond T. Yeh
1990 — ed.
Proceedings of the First International Conference on Systems Integration, Morristown, NJ, USA, April 1990
ICSI
Peter A. Ng, C. V. Ramamoorthy, Laurence C. Seifert, Raymond T. Yeh
1989 J jnl
Guest Editors' Introduction: Rapid Prototyping in Software Development.
Computer
Murat M. Tanik, Raymond T. Yeh
1988 J jnl
A Prototyping Language for Real-Time Software.
IEEE Trans. Software Eng.
Luqi, Valdis Berzins, Raymond T. Yeh
1988 J jnl
Guest Editors' Introduction: Expert Systems.
IEEE Softw.
Murat M. Tanik, Raymond T. Yeh
1988 — conf
Report on a business definition language system.
ICCL
Raymond T. Yeh
1988 J jnl
Specification and Verification of Liveness Properties of Cyclic, Concurrent Processes.
ACM Trans. Program. Lang. Syst.
Joylyn Reed, Raymond T. Yeh
1986 A conf
Principle of Deadlock Detection in Ada Programs.
ICDCS
Bosheng Zhou, Raymond T. Yeh, Peter A. Ng
1985 J jnl
SEES - A Software Testing Environment Support System.
IEEE Trans. Software Eng.
Nick Roussopoulos, Raymond T. Yeh
1984 A* conf
A Programming Environment Framework Based on Reusability.
ICDE
Raymond T. Yeh, Roland T. Mittermeir, Nick Roussopoulos, Joylyn Reed
1984 — conf
A tool-based approach for software testing and validation.
AFIPS National Computer Conference
J. C. Huang, Peter Valdes, Raymond T. Yeh
1984 J jnl
An Adaptable Methodology for Database Design.
Computer
Nick Roussopoulos, Raymond T. Yeh
1984 — conf
An Algebraic System for Deadlock Detection and its Applications.
Symposium on Reliability in Distributed Software and Database Systems
Bosheng Zhou, Raymond T. Yeh, Peter A. Ng
1984 J jnl
Introduction to the special issue on the use of entity-relationship concepts in databases and related software.
J. Syst. Softw.
Sushil Jajodia, Peter Ann-Beng Ng, Raymond T. Yeh
1984 J jnl
Software Engineering Practices in the US and Japan.
Computer
Marvin V. Zelkowitz, Raymond T. Yeh, Richard G. Hamlet, John D. Gannon, Victor R. Basili
1983 J jnl
Formal Specification and Verification of Distributed Systems.
IEEE Trans. Software Eng.
Bo-Shoe Chen, Raymond T. Yeh
1983 A ed.
Proceedings of the 3rd Int. Conf. on Entity-Relationship Approach (ER'83), Anaheim, California, USA.
Carl G. Davis, Sushil Jajodia, Peter A. Ng, Raymond T. Yeh
1982 A conf
Detection of Inherent Deadlocks in Distributed Programs.
ICDCS
Kegang Hao, Raymond T. Yeh
1982 A conf
Formal Specification and Verification of Distributed Systems.
ICDCS
Bo-Shoe Chen, Raymond T. Yeh
1982 A* ed.
Proceedings, 6th International Conference on Software Engineering, Tokyo, Japan, September 13-16, 1982.
ICSE
Yutaka Ohno, Victor R. Basili, Hajime Enomoto, Koji Kobayashi, Raymond T. Yeh
1981 — conf
A software requirements analysis and definition methodology for business data processing.
AFIPS National Computer Conference
Isao Miyamoto, Raymond T. Yeh
1981 A* conf
Executable Requirements for Embedded Systems.
ICSE
Pamela Zave, Raymond T. Yeh
1980 J jnl
Communication Port: A Language Concept for Concurrent Programming.
IEEE Trans. Software Eng.
T. William Mao, Raymond T. Yeh
1979 B conf
An illustration of systematic design of parallel programs for real-time applications.
COMPSAC
William T. Mao, Raymond T. Yeh
1979 J jnl
In Memory of Maurice H. Halstead.
IEEE Trans. Software Eng.
Raymond T. Yeh
1979 B conf
Structural locking for concurrency control in data base systems.
COMPSAC
Sukho Lee, Raymond T. Yeh
1979 A conf
Systematic Derivation of Software Requirements.
ER
Raymond T. Yeh, Nick Roussopoulos, Philip Chang
1978 B conf
A multi-level approach to data base design.
COMPSAC
Raymond T. Yeh, Philip Chang, C. Mohan
1978 A* conf
Data Base and Software Engineering - A Design Viewpoint.
VLDB
Raymond T. Yeh
1978 — conf
Software and Data Base Engineering - Towards a Common Design Methodology.
VLDB Surveys
Raymond T. Yeh, Agustin A. Araya, Philip Chang
1977 A* conf
Toward a Design Methodology for DBMS: A Software Engineering Approach.
VLDB
Raymond T. Yeh, Jerry W. Baker
1976 A* conf
An approach to program verification.
DAC
Raymond T. Yeh
1976 J jnl
Guest Editorial - Special Issue on Reliable Software: Part I: Software Validation.
ACM Comput. Surv.
Raymond T. Yeh
1976 J jnl
Guest Editorial - Special Issue on Reliable Software: Part II: Fault-Tolerant Software.
ACM Comput. Surv.
Raymond T. Yeh
1976 A* conf
Induction as the Basis for Program Verification (Abstract).
ICSE
Charles Reynolds, Raymond T. Yeh
1976 J jnl
Induction as the Basis for Program Verification.
IEEE Trans. Software Eng.
Charles Reynolds, Raymond T. Yeh
1976 A* ed.
Proceedings of the 2nd International Conference on Software Engineering, San Francisco, California, USA, October 13-15, 1976.
ICSE
Raymond T. Yeh, C. V. Ramamoorthy
1975 B conf
Graph Walking Automata.
MFCS
Peter A. Ng, Pei Hsia, Raymond T. Yeh
1975 J jnl
Marker automata.
Inf. Sci.
Pei Hsia, Raymond T. Yeh
1975 — ed.
Proceedings of the International Conference on Reliable Software 1975, Los Angeles, California, USA, April 21-23, 1975
Reliable Software
Martin L. Shooman, Raymond T. Yeh
1975 J jnl
Software Engineering.
Computer
Raymond T. Yeh
1975 J jnl
Strong Verification of Programs.
IEEE Trans. Software Eng.
Sanat K. Basu, Raymond T. Yeh
1974 J jnl
Erratum: "Periodic Representation of Equal Matrix Grammars"
Inf. Control.
Ratan K. Guha, Raymond T. Yeh
1974 J jnl
On Periodicity of Sequential Machines.
J. Comput. Syst. Sci.
Ratan K. Guha, Raymond T. Yeh
1973 A conf
New directions in teaching the fundamentals of computer science - discrete structures and computational analysis.
SIGCSE
Raymond T. Yeh, Donald I. Good, David R. Musser
1973 J jnl
Periodic Representation of Equal Matrix Grammars
Inf. Control.
Ratan K. Guha, Raymond T. Yeh
1973 B conf
Tree Transformations via Finite Recursive Transition Machines.
MFCS
Peter A. Ng, Raymond T. Yeh
1972 J jnl
Continuously Valued Logic.
J. Comput. Syst. Sci.
Franco P. Preparata, Raymond T. Yeh
1972 A* conf
Finite Automata with Markers.
ICALP
Pei Hsia, Raymond T. Yeh
1971 J jnl
Some Structural Properties of Generalized Automata and Algebras.
Math. Syst. Theory
Raymond T. Yeh
1970 J jnl
R70-43 Lattice Functions, Pair Algebras, and Finite-State Machines.
IEEE Trans. Computers
Raymond T. Yeh
1970 J jnl
Structural Equivalence of Automata.
Math. Syst. Theory
Raymond T. Yeh
1968 J jnl
Generalized Pair Algebra With Applications to Automata Theory.
J. ACM
Raymond T. Yeh
1968 J jnl
On Relational Homomorphisms of Automata
Inf. Control.
Raymond T. Yeh
1968 — conf
Structural Equivalence of Automata
SWAT
Raymond T. Yeh