|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 26 occurrences of 25 keywords
|
|
|
|
|
Results
Found 33 publication records. Showing 33 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Aharon Abadi, Ran Ettinger, Yishai A. Feldman |
Fine Slicing - Theory and Applications for Computation Extraction.  |
FASE  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Aharon Abadi, Ran Ettinger, Yishai A. Feldman, Mati Shomrat |
Automatically fixing security vulnerabilities in Java code. |
OOPSLA Companion |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yishai A. Feldman, Donald H. Kraft, Tsvi Kuflik (eds.) |
Next Generation Information Technologies and Systems, 7th International Conference, NGITS 2009, Haifa, Israel, June 16-18, 2009. Revised Selected Papers |
NGITS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Moria Abadi, Yishai A. Feldman |
Refactoring of Statecharts. |
NGITS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Aharon Abadi, Ran Ettinger, Yishai A. Feldman |
Improving slice accuracy by compression of data and control flow paths. |
ESEC/SIGSOFT FSE |
2009 |
DBLP DOI BibTeX RDF |
program slicing |
| 1 | Constantin Serban, Shmuel S. Tyszberowicz, Yishai A. Feldman, Naftaly H. Minsky |
Developing Law-Governed Systems Using Aspects. |
Journal of Object Technology |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yishai A. Feldman, Maayan Goldstein, Shmuel S. Tyszberowicz |
Refactoring with Contracts. |
WRT |
2007 |
DBLP BibTeX RDF |
|
| 1 | Doron A. Friedman, Yishai A. Feldman |
Automated cinematic reasoning about camera behavior. |
Expert Syst. Appl. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | David Harel, Yishai A. Feldman |
Algorithmik - die Kunst des Rechnens. |
|
2006 |
DOI RDF |
|
| 1 | Yishai A. Feldman, Leon Gendler |
Discern: Towards the Automatic Discovery of Software Contracts. |
SEFM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yishai A. Feldman, Ohad Barzilay, Shmuel S. Tyszberowicz |
Jose: Aspects for Design by Contract80-89. |
SEFM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Maayan Goldstein, Yishai A. Feldman, Shmuel S. Tyszberowicz |
Refactoring with Contracts. |
AGILE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yishai A. Feldman |
Teaching quality object-oriented programming. |
ACM Journal of Educational Resources in Computing |
2005 |
DBLP DOI BibTeX RDF |
Software quality |
| 1 | David Harel, Yishai A. Feldman |
Algorithmics - the spirit of computing (3. ed.). |
|
2004 |
RDF |
|
| 1 | Doron A. Friedman, Yishai A. Feldman |
Knowledge-Based Cinematography and Its Applications. |
ECAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Doron A. Friedman, Yishai A. Feldman, Ariel Shamir, Tsvi Dagan |
Colorplate: Automated Creation of Movie Summaries in Interactive Virtual Environments. (PDF / PS) |
VR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Doron A. Friedman, Yishai A. Feldman, Ariel Shamir, Tsvi Dagan |
Automated Creation of Movie Summaries in Interactive Virtual Environments. |
VR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Yishai A. Feldman, Jacob Reouven |
A knowledge-based approach for index selection in relational databases. |
Expert Syst. Appl. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Yossi Cohen, Yishai A. Feldman |
Automatic high-quality reengineering of database programs by abstraction, transformation and reimplementation. |
ACM Trans. Softw. Eng. Methodol. |
2003 |
DBLP DOI BibTeX RDF |
Database program reengineering, the plan calculus, temporal abstraction, query graphs |
| 1 | Yishai A. Feldman |
Extreme Design by Contract. |
XP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Vered Gafni, Yishai A. Feldman, Amiram Yehudai |
Real-Time Systems Development with MASS. |
Electr. Notes Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Yishai A. Feldman, Doron A. Friedman |
Portability by Automatic Translation: A Large-Scale Case Study. |
Artif. Intell. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Yossi Cohen, Yishai A. Feldman |
Automatic High-Quality Reengineering of Database Programs by Temporal Abstraction. (PDF / PS) |
ASE |
1997 |
DBLP DOI BibTeX RDF |
automatic high-quality reengineering, legacy database programs, legacy software conversion, database access operations, target database query language, network data traffic, relational databases, indexes, query optimization, filtering, joins, readability, expressive power, aggregative operations, temporal abstraction, relational database model, MIDAS |
| 1 | Yishai A. Feldman, Doron A. Friedman |
Portability by Automatic Translation - A Large-Scale Case Study. |
KBSE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Vered Gafni, Amiram Yehudai, Yishai A. Feldman |
Activation-Oriented Specification of Real-Time Systems. |
FTRTFT |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Yishai A. Feldman, Haim Schneider |
Simulating Reactive Systems by Deduction. |
ACM Trans. Softw. Eng. Methodol. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Charles Rich, Yishai A. Feldman |
Seven Layers of Knowledge Representation and Reasoning in Support of Software Development. |
IEEE Trans. Software Eng. |
1992 |
DBLP DOI BibTeX RDF |
Programmer's Apprentice, Cake, truth maintenance, Boolean constraint propagation, Plan Calculus, Requirements Apprentice, Debugging Assistant, software engineering, knowledge representation, knowledge representation, software development, software tools, reasoning, types, inference mechanisms, frames, algebra, equality, software development tools |
| 1 | Yishai A. Feldman, Charles Rich |
Pattern-Directed Invocation with Changing Equations. |
J. Autom. Reasoning |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Yishai A. Feldman, Charles Rich |
Reasoning with Simplifying Assumptions: A Methodology and Example. |
AAAI |
1986 |
DBLP BibTeX RDF |
|
| 1 | Yishai A. Feldman |
A Decidable Propositional Dynamic Logic with Explicit Probabilities |
Information and Control |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Yishai A. Feldman, David Harel |
A Probabilistic Dynamic Logic. |
J. Comput. Syst. Sci. |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Yishai A. Feldman |
A Decidable Propositional Probabilistic Dynamic Logic |
STOC |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Yishai A. Feldman, David Harel |
A Probabilistic Dynamic Logic |
STOC |
1982 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #33 of 33 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")