Daniel Yankelevich

Learn More
A critical challenge faced by the developer of a software system is to understand whether the system's components correctly integrate. While type theory has provided substantial help in detecting and preventing errors in mismatched static properties, much work remains in the area of dynamics. In particular, components make assumptions about their behavioral(More)
This paper investigates the use of abstract-interpretation-inspired techniques for improving the performance of procedures for determining when systems satisfy formulas in branching-time temporal logic. A framework for abstracting system descriptions is developed, and a particular method for generating abstract systems from given abstractions on system(More)
Detecting software architecture inconsistencies is a critical issue in software design. Software systems are described in terms of components, component behavior and interaction and mismatch detection is explored through techniques based on behavior analysis. Integration problems, however , are not only caused by behavioral mismatch: components make(More)
Connectors are the glue for combining components and are a critical aspect of software architecture design. Providing a framework similar in spirit to that of the periodic table of chemical elements, this work strives to obtain a s e t of high level canonical properties that can describe all possible connectors and allow operations to be deened over them.(More)