Mehdi T. Harandi

Publication Activity (10 Years)

Years Active: 1979-1998
Publications (10 Years): 0

Publications

Mehdi T. Harandi, G. Rendon
Classification and organizational issues in distributed problem solving. SAC (1998)
Cesare Tinelli, Mehdi T. Harandi
Constraint Logic Programming over Unions of Constraint Theories. J. Funct. Log. Program. 1998 (6) (1998)
Cesare Tinelli, Mehdi T. Harandi
A New Correctness Proof of the {Nelson-Oppen} Combination Procedure. FroCoS (1996)
Cesare Tinelli, Mehdi T. Harandi
Constraint Logic Programming over Unions of Constraint Theories. CP (1996)
Joshua E. Caplan, Mehdi T. Harandi
A Logical Framework for Software Proof Reuse. SSR (1995)
Sanjay Bhansali, Mehdi T. Harandi
Synthesis of UNIX Programs Using Derivational Analogy. Mach. Learn. 10 (1993)
Hing-Yan Lee, Mehdi T. Harandi
An analogy-based retrieval mechanism for software design reuse. KBSE (1993)
Mehdi T. Harandi, Hing-Yan Lee
Acquiring Design Schemas for Software Reuse. SEKE (1993)
Mehdi T. Harandi
The Role of Analogy in Software Reuse. SAC (1993)
Mehdi T. Harandi, Hing-Yan Lee
A Support Envimnment for Knowledge-Based Software Design. SEKE (1992)
Kanth Miriyala, Mehdi T. Harandi
The Role of Analogy in Specification Derivation. KBSE (1991)
Kanth Miriyala, Mehdi T. Harandi
Automatic Derivation of Formal Software Specifications From Informal Descriptions. IEEE Trans. Software Eng. 17 (10) (1991)
Sanjay Bhansali, Mehdi T. Harandi
Synthesizing UNIX Shell Scripts Using Derivational Analogy: An Empirical Assessment. AAAI (1991)
Hing-Yan Lee, Mehdi T. Harandi
Overcoming shortcomings in schema-based software design systems. IWSSD (1991)
Mehdi T. Harandi, Hing-Yan Lee
Acquiring Software Design Schemas: A Machine Learning Perspective. KBSE (1991)
Mehdi T. Harandi, Sanjay Bhansali
APU: an automatic programmer for UNIX. TAI (1990)
Mehdi T. Harandi, Jim Q. Ning
Knowledge-Based Program Analysis. IEEE Softw. 7 (1) (1990)
Mehdi T. Harandi, Sanjay Bhansali
Program Derivation Using Analogy. IJCAI (1989)
Jim Q. Ning, Mehdi T. Harandi
Automating the function-level understanding of programs. IEA/AIE (2) (1989)
Sanjay Bhansali, Mehdi T. Harandi
Handling Multiple Inheritance with Exceptions: An Alternative Approach. KBCS (1989)
Kanth Miriyala, Mehdi T. Harandi
Analogical approach to specification derivation. IWSSD (1989)
Mehdi T. Harandi
Building a knowledge-based software development environment. IEEE J. Sel. Areas Commun. 6 (5) (1988)
Mehdi T. Harandi
Knowledge-based software development: issues and strategies. COMPSAC (1988)
Mehdi T. Harandi, Jim Q. Ning
PAT: a knowledge-based program analysis tool. ICSM (1988)
Jeffrey J. P. Tsai, David Y. Yun, Mehdi T. Harandi, Murat M. Tanik, Wei-Tek Tsai, Walt Scacchi
Expert systems and software engineering. COMPSAC (1988)
Mehdi T. Harandi
Workshop on software specification and design. ACM SIGSOFT Softw. Eng. Notes 13 (1) (1988)
Mitchell D. Lubars, Mehdi T. Harandi
Knowledge-Based Software Design Using Design Schemas. ICSE (1987)
Simon M. Kaplan, Ralph E. Johnson, Roy H. Campbell, Samuel N. Kamin, James M. Purtilo, Mehdi T. Harandi, Jane W.-S. Liu
An Architecture for Tool Integration. Advanced Programming Environments (1986)
Mitchell D. Lubars, Mehdi T. Harandi
Intelligent Support for Software Specification and Design. IEEE Expert 1 (4) (1986)
Mehdi T. Harandi, Thierry Schang, Seth Cohen
Rule Base Management Using Meta Knowledge. SIGMOD Conference (1986)
Mehdi T. Harandi
An Experimental COBOL Restructuring System. Softw. Pract. Exp. 13 (9) (1983)
T. J. Howkins, Mehdi T. Harandi
Towards More Portable COBOL. Comput. J. 22 (4) (1979)