1999 |
17 | EE | Ira R. Forman:
Declarable Modifiers: A Proposal to Increase the Efficacy of Metaclasses.
Reflection and Software Engineering 1999: 39-57 |
1998 |
16 | EE | Ira R. Forman:
Putting Metaclasses to Work.
TOOLS (26) 1998: 447 |
1995 |
15 | | Ira R. Forman,
Michael H. Conner,
Scott Danforth,
Larry K. Raper:
Release-to-Release Binary Compatibility in SOM.
OOPSLA 1995: 426-438 |
1994 |
14 | | Ira R. Forman,
Scott Danforth,
Hari Madduri:
Composition of Before/After Metaclasses in SOM.
OOPSLA 1994: 427-439 |
13 | | Scott Danforth,
Ira R. Forman:
Reflections on Metaclass Rorgramming in SOM.
OOPSLA 1994: 440-452 |
12 | | Scott Danforth,
Ira R. Forman:
Derived Metaclasses in SOM.
TOOLS (13) 1994: 63-73 |
1991 |
11 | | Nissim Francez,
Ira R. Forman:
Synchrony Loosening Transformations for Interacting Processes.
CONCUR 1991: 203-219 |
1990 |
10 | | Nissim Francez,
Ira R. Forman:
Superimposition for Interacting Processes.
CONCUR 1990: 230-245 |
9 | | Nissim Francez,
Ira R. Forman:
Conflict Propogation.
ICCL 1990: 155-168 |
8 | | Paul C. Attie,
Ira R. Forman,
Eliezer Levy:
On Fairness as an Abstraction for the Design of Distributed Systems.
ICDCS 1990: 150-157 |
1988 |
7 | | Michael Evangelist,
V. Y. Shen,
Ira R. Forman,
M. Graf:
Using Raddle To Design Distributed Systems.
ICSE 1988: 102-115 |
1986 |
6 | | Ira R. Forman:
Petri - A UNIX Tool for the Analysis of Petri-Nets.
FJCC 1986: 1092-1098 |
1984 |
5 | | Ira R. Forman:
An Algebra for Data Flow Anomaly Detection.
ICSE 1984: 278-287 |
4 | | Ted J. Biggerstaff,
D. M. Endres,
Ira R. Forman:
TABLE: Object Oriented Editing of Complex Structures.
ICSE 1984: 334-345 |
3 | EE | B. Curtis,
Ira R. Forman,
R. Brooks,
Elliot Soloway,
Kate Ehrlich:
Psychological perspectives for software science.
Inf. Process. Manage. 20(1-2): 81-96 (1984) |
1982 |
2 | | Ira R. Forman:
Global Data Flow Analysis by Decomposition into Primes.
ICSE 1982: 386-392 |
1981 |
1 | | Ira R. Forman:
On the Time Overhead of Counters and Traversal Markers.
ICSE 1981: 164-169 |