Mehdi T. Harandi

According to our database, Mehdi T. Harandi authored at least 31 papers between 1979 and 1998.

Collaborative distances:

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

1998

Constraint Logic Programming over Unions of Constraint Theories.

Cesare Tinelli, Mehdi T. Harandi

J. Funct. Log. Program., 1998

Classification and organizational issues in distributed problem solving.

Mehdi T. Harandi, G. Rendon

Proceedings of the 1998 ACM symposium on Applied Computing, 1998

1996

A New Correctness Proof of the {Nelson-Oppen} Combination Procedure.

Cesare Tinelli, Mehdi T. Harandi

Proceedings of the Frontiers of Combining Systems, 1996

1995

A Logical Framework for Software Proof Reuse.

Joshua E. Caplan, Mehdi T. Harandi

Proceedings of the ACM SIGSOFT Symposium on Software Reusability, 1995

1993

Synthesis of UNIX Programs Using Derivational Analogy.

Sanjay Bhansali, Mehdi T. Harandi

Mach. Learn., 1993

Acquiring Design Schemas for Software Reuse.

Mehdi T. Harandi, Hing-Yan Lee

Proceedings of the SEKE'93, 1993

The Role of Analogy in Software Reuse.

Mehdi T. Harandi

Proceedings of the 1993 ACM/SIGAPP Symposium on Applied Computing: States of the Art and Practice, 1993

An analogy-based retrieval mechanism for software design reuse.

Hing-Yan Lee, Mehdi T. Harandi

Proceedings of the Eighth Knowledge-Based Software Engineering Conference, 1993

1992

A Support Envimnment for Knowledge-Based Software Design.

Mehdi T. Harandi, Hing-Yan Lee

Proceedings of the SEKE'92, 1992

1991

Automatic Derivation of Formal Software Specifications From Informal Descriptions.

Kanth Miriyala, Mehdi T. Harandi

IEEE Trans. Software Eng., 1991

The Role of Analogy in Specification Derivation.

Kanth Miriyala, Mehdi T. Harandi

Proceedings of the Proceedings 6th Annual Knowledge-Based Software Engineering Conference, 1991

Acquiring Software Design Schemas: A Machine Learning Perspective.

Mehdi T. Harandi, Hing-Yan Lee

Proceedings of the Proceedings 6th Annual Knowledge-Based Software Engineering Conference, 1991

Overcoming shortcomings in schema-based software design systems.

Hing-Yan Lee, Mehdi T. Harandi

Proceedings of the 6th International Workshop on Software Specification and Design, 1991

Synthesizing UNIX Shell Scripts Using Derivational Analogy: An Empirical Assessment.

Sanjay Bhansali, Mehdi T. Harandi

Proceedings of the 9th National Conference on Artificial Intelligence, 1991

1990

Knowledge-Based Program Analysis.

Mehdi T. Harandi, Jim Q. Ning

IEEE Softw., 1990

APU: an automatic programmer for UNIX.

Mehdi T. Harandi, Sanjay Bhansali

Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence, 1990

1989

Handling Multiple Inheritance with Exceptions: An Alternative Approach.

Sanjay Bhansali, Mehdi T. Harandi

Proceedings of the Knowledge Based Computer Systems, 1989

Analogical approach to specification derivation.

Kanth Miriyala, Mehdi T. Harandi

Proceedings of the 5th International Workshop on Software Specification and Design, 1989

Program Derivation Using Analogy.

Mehdi T. Harandi, Sanjay Bhansali

Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989

Automating the function-level understanding of programs.

Jim Q. Ning, Mehdi T. Harandi

Proceedings of the Second International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems, IEA/AIE 1989, June 6-9, 1989, Tullahoma, TN, USA, 1989

1988

Workshop on software specification and design.

Mehdi T. Harandi

ACM SIGSOFT Softw. Eng. Notes, 1988

Building a knowledge-based software development environment.

Mehdi T. Harandi

IEEE J. Sel. Areas Commun., 1988

PAT: a knowledge-based program analysis tool.

Mehdi T. Harandi, Jim Q. Ning

Proceedings of the Conference on Software Maintenance, 1988

Expert systems and software engineering.

Jeffrey J. P. Tsai, David Y. Yun, Mehdi T. Harandi, Murat M. Tanik, Wei-Tek Tsai, Walt Scacchi

Proceedings of the Twelfth International Computer Software and Applications Conference, 1988

Knowledge-based software development: issues and strategies.

Mehdi T. Harandi

Proceedings of the Twelfth International Computer Software and Applications Conference, 1988

1987

Knowledge-Based Software Design Using Design Schemas.

Mitchell D. Lubars, Mehdi T. Harandi

Proceedings of the Proceedings, 9th International Conference on Software Engineering, Monterey, California, USA, March 30, 1987

1986

Intelligent Support for Software Specification and Design.

Mitchell D. Lubars, Mehdi T. Harandi

IEEE Expert, 1986

Rule Base Management Using Meta Knowledge.

Mehdi T. Harandi, Thierry Schang, Seth Cohen

Proceedings of the 1986 ACM SIGMOD International Conference on Management of Data, 1986

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

Proceedings of the Advanced Programming Environments, 1986

1983

An Experimental COBOL Restructuring System.

Mehdi T. Harandi

Softw. Pract. Exp., 1983

1979

Towards More Portable COBOL.

T. J. Howkins, Mehdi T. Harandi

Comput. J., 1979