TICC: A tool for interface compatibility and composition

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4144 LNCS, Issue , 2006, Pages 59-62

  Adler, B Thomas ^a   De Alfaro, Luca ^a   Dias Da Silva, Leandro ^b   Faella, Marco ^c   Legay, Axel ^a,d   Raman, Vishwanath ^a   Roy, Pritam ^a  

^a University of California Santa Cruz   (United States)

^b FEDERAL UNIVERSITY OF CAMPINA GRANDE   (Brazil)

^c UNIVERSITY OF NAPLES FEDERICO II   (Italy)

^d UNIVERSITY OF LIÈGE   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPOSITION; COMPUTER AIDED SOFTWARE ENGINEERING; GAME THEORY;

COMPONENT'S ASSUMPTIONS; EMERGENT BEHAVIOR; ENVIRONMENT'S BEHAVIOR; INTERFACE COMPATIBILITY;

INTERFACES (COMPUTER);

EID: 33749830896     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11817963_8     Document Type: Conference Paper

References (11)

1. S. Abramsky. Semantics of interaction. In Trees in Algebra and Programming CAAP'96, LNCS 1059, Springer-Verlag, 1996.
2. S. Abramsky, D. Ghica, A. Murawski, and L. Ong. Applying game semantics to compositional software modeling and verification. In Proceedings of TACAS 04, LNCS, Springer-Verlag, 2004.
3. R. Alur and T.A. Henzinger. Reactive modules. Formal Methods in System Design, 15:7-48, 1999.
4. L. de Alfaro. Game models for open systems. In Proceedings of the International Symposium on Verification (Theory in Practice), LNCS 2772, Springer-Verlag, 2003.
5. L. de Alfaro, L. Dias da Silva, M. Faella, A. Legay, P. Roy, and M. Sorea. Sociable interfaces. In Procedings of FROCOS 05, LNAI3717, Springer-Verlag, 2005.
6. L. de Alfaro and T.A. Henzinger. Interface automata. In Proceedings of the 8th European Software Engineering Conference and the 9th ACM SIGSOFT Symposium, on the Foundations of Software Engineering (ESEC/FSE). ACM Press, 2001.
7. L. de Alfaro and T.A. Henzinger. Interface theories for component-based design. In Proceedings of EMSOFT 01, LNCS 2211. Springer-Verlag, 2001.
8. E. A. Lee and Y. Xiong. A behavioral type system and its application in Ptolemy II. Formal Aspect of Computing Journal, 2003.
9. Xavier Leroy. Objective caml. http://www.ocaml.org.
10. N.A. Lynch. Distributed Algorithms. Morgan-Kaufmann, 1996.
11. Fabio Somenzi. Cudd: Cu decision diagram package, http://vlsi.colorado. edu/ ~fabio/CUDD/cuddlntro.html.