Raymond T. Yeh

Publication Activity (10 Years)

Years Active: 1968-2016
Publications (10 Years): 1

Publications

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