Books
Selected papers
Automatic Code Translation: Raising the Level of Abstraction
Portability by Automatic
Translation: A Large-Scale Case Study
Yishai A. Feldman and Doron A. Friedman
Artificial Intelligence, vol. 107, no. 1, 1999, 1-28.
For reprints send e-mail to yishai@idc.ac.il.
[Abstract]
Also appeared in Proc. Tenth Knowledge-Based Software
Engineering Conference, Boston, Nov. 1995.
[PDF, 146K]
[Zipped, 41K]
Automatic High-Quality
Reengineering of Database Programs by Temporal Abstraction
Yossi Cohen and Yishai A. Feldman
ACM Trans. Software Engineering and
Methodology, vol. 12, no. 3, July 2003, 285-316.
[Abstract]
[PDF, 356K]
[Zipped, 191K]
Also appeared in Proc. Twelfth Automated
Software Engineering Conference, Lake Tahoe, Nov. 1997.
[PDF, 54K]
Agile Methods and Extreme Programming
Extreme
Design by Contract
Yishai A. Feldman
Fourth Int'l Conf. Extreme Programming and Agile Processes in Software
Engineering (XP 2003), LNCS 2675, Genova, Italy, 2003, 261-270.
[Abstract and supporting materials]
[PDF, 31KB]
Refactoring with Contracts
Maayan Goldstein,
Yishai A. Feldman, and Shmuel Tyszberowicz
Proc. Agile 2006, Minneapolis, Minnesota, July 2006.
[PDF, 112KB]
Aspect-Oriented Programming
Call and Execution
Semantics in AspectJ
Ohad Barzilay, Yishai A. Feldman, Shmuel Tyszberowicz, and Amiram Yehudai
Proc. Foundations of Aspect-Oriented Languages
(FOAL) 2004, March 2004.
[PDF, 74KB]
Knowledge-Based Systems
A Knowledge-Based Approach
for Index Selection in Relational Databases
Yishai A. Feldman and Jacob Reouven
Expert Systems with Applications,
vol. 25, no. 1, July 2003.
Also Technical Report
CS-TR-2001-01, The Interdisciplinary Center, Herzliya.
[PDF, 428K]
[Zipped, 349K]
Specification of Real-Time Systems
Activation-Oriented Specification
of Real-time Systems
Vered Gafni, Amiram Yehudai, and Yishai A. Feldman
Third International School and Symposium on Formal Techniques
in Real Time and Fault Tolerant Systems, Lubeck, Germany, 19-23,
September 1994.
[Abstract]
[PDF, 252KB]
[Zipped, 61KB]
Formal Development of Real-Time
Systems with PLOT/MASS
Vered Gafni, Yishai A. Feldman, and Amiram Yehudai
[PDF, 268K]
[Zipped, 159K]
Simulation by Deduction
Simulating Reactive Systems by
Deduction
Yishai A. Feldman and Haim Schneider
ACM Trans. Software Engineering and Methodology, vol. 2, no. 2, April 1993.
[Abstract]
[PDF, 406KB]
[Zipped, 131KB]
Automated Deduction
Seven Layers of Knowledge
Representation and Reasoning in Support of Software Development
Charles Rich and Yishai A. Feldman
IEEE Trans.
Software Engineering Special Issue on Knowledge Representation and
Reasoning in Software Development, vol. 18, no. 6, 1992, 451-469.
[Abstract]
[PDF, 423KB]
[Zipped PS, 161KB]
Pattern-Directed Invocation with
Changing Equations
Yishai A. Feldman and Charles Rich
J. Automated Reasoning, 7, 1991, 403-433.
[Abstract]
[PDF, 289KB]
[Zipped, 81KB]
Interval Constraint Propagation
On
the Complexity of Interval-Based Constraint Networks
Rony Shapiro, Yishai A. Feldman, and Rina Dechter
Proc. MISC '99
Workshop on Applications of Interval Analysis to Systems and Control,
Girona, Spain, Feb. 1999.
[PDF, 180KB]
[Zipped, 49KB]
Computer Science Education
Teaching Quality Object-Oriented Programming
Yishai A. Feldman
ACM J. Educational Resources in Computing, 5:1, March 2005, 1-16.
Also Technical Report CS-TR-2002-02, The Interdisciplinary
Center, Herzliya.
[PDF, 75KB]
Knowledge-Based Cinematography
Automated Cinematic Reasoning About Camera Behavior
Expert Systems with Applications, 30:4, pp. 694-704.
Knowledge-Based Cinematography and Its Applications
Doron Friedman and Yishai A. Feldman
Proc. 16th
European Conf. Artificial Intelligence (ECAI 2004), August 2004.
[PDF, 53KB]
[More details]
Automated Creation
of Movie Summaries in Interactive Virtual Environments
Doron Friedman, Yishai A. Feldman, Ariel Shamir, and Tsvi Dagan
IEEE Virtual
Reality 2004, 191-198, March 2004.
[PDF, 1GB]
[Zipped, 975KB]
[More details]
|
