Towards More Portable COBOL. - T. J. Howkins; Mehdi T. Harandi (Comput. J., 1979)

An Experimental COBOL Restructuring System. - Mehdi T. Harandi (Softw. Pract. Exp., 1983)

An Architecture for Tool Integration. - Simon M. Kaplan; Ralph E. Johnson; Roy H. Campbell; Samuel N. Kamin; James M. Purtilo; Mehdi T. Harandi; Jane W.-S. Liu (Advanced Programming Environments, 1986)

Rule Base Management Using Meta Knowledge. - Mehdi T. Harandi; Thierry Schang; Seth Cohen (SIGMOD Conference, 1986)

Intelligent Support for Software Specification and Design. - Mitchell D. Lubars; Mehdi T. Harandi (IEEE Expert, 1986)

Knowledge-Based Software Design Using Design Schemas. - Mitchell D. Lubars; Mehdi T. Harandi (ICSE, 1987)

Knowledge-based software development: issues and strategies. - Mehdi T. Harandi (COMPSAC, 1988)

Expert systems and software engineering. - Jeffrey J. P. Tsai; David Y. Yun; Mehdi T. Harandi; Murat M. Tanik; Wei-Tek Tsai; Walt Scacchi (COMPSAC, 1988)

PAT: a knowledge-based program analysis tool. - Mehdi T. Harandi; Jim Q. Ning (ICSM, 1988)

Building a knowledge-based software development environment. - Mehdi T. Harandi (IEEE J. Sel. Areas Commun., 1988)

Workshop on software specification and design. - Mehdi T. Harandi (ACM SIGSOFT Softw. Eng. Notes, 1988)

Automating the function-level understanding of programs. - Jim Q. Ning; Mehdi T. Harandi (IEA/AIE (2), 1989)

Program Derivation Using Analogy. - Mehdi T. Harandi; Sanjay Bhansali (IJCAI, 1989)

Analogical approach to specification derivation. - Kanth Miriyala; Mehdi T. Harandi (IWSSD, 1989)

Handling Multiple Inheritance with Exceptions: An Alternative Approach. - Sanjay Bhansali; Mehdi T. Harandi (KBCS, 1989)

APU: an automatic programmer for UNIX. - Mehdi T. Harandi; Sanjay Bhansali (TAI, 1990)

Knowledge-Based Program Analysis. - Mehdi T. Harandi; Jim Q. Ning (IEEE Softw., 1990)

Synthesizing UNIX Shell Scripts Using Derivational Analogy: An Empirical Assessment. - Sanjay Bhansali; Mehdi T. Harandi (AAAI, 1991)

Overcoming shortcomings in schema-based software design systems. - Hing-Yan Lee; Mehdi T. Harandi (IWSSD, 1991)

Acquiring Software Design Schemas: A Machine Learning Perspective. - Mehdi T. Harandi; Hing-Yan Lee (KBSE, 1991)

The Role of Analogy in Specification Derivation. - Kanth Miriyala; Mehdi T. Harandi (KBSE, 1991)

Automatic Derivation of Formal Software Specifications From Informal Descriptions. - Kanth Miriyala; Mehdi T. Harandi (IEEE Trans. Software Eng., 1991)

A Support Envimnment for Knowledge-Based Software Design. - Mehdi T. Harandi; Hing-Yan Lee (SEKE, 1992)

An analogy-based retrieval mechanism for software design reuse. - Hing-Yan Lee; Mehdi T. Harandi (KBSE, 1993)

The Role of Analogy in Software Reuse. - Mehdi T. Harandi (SAC, 1993)

Acquiring Design Schemas for Software Reuse. - Mehdi T. Harandi; Hing-Yan Lee (SEKE, 1993)

Synthesis of UNIX Programs Using Derivational Analogy. - Sanjay Bhansali; Mehdi T. Harandi (Mach. Learn., 1993)

A Logical Framework for Software Proof Reuse. - Joshua E. Caplan; Mehdi T. Harandi (SSR, 1995)

A New Correctness Proof of the {Nelson-Oppen} Combination Procedure. - Cesare Tinelli; Mehdi T. Harandi (FroCoS, 1996)

Classification and organizational issues in distributed problem solving. - Mehdi T. Harandi; G. Rendon (SAC, 1998)

Constraint Logic Programming over Unions of Constraint Theories. - Cesare Tinelli; Mehdi T. Harandi (J. Funct. Log. Program., 1998)