Mehdi T. Harandi

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