CoLogNet Area Workshop Series on

Component-based Software Development

and

Implementation Technology for Computational Logic Systems

2002 Electronic Proceedings

Session 1 (CBD): Invited Talks

Systematic Component Adaptation (.ps.gz) (.pdf)
Antonio Brogi
A Priori Reasoning for CBD (.ps.gz) (.pdf)
Kung-Kiu Lau

Session 2 (CBD): Contributed Papers

Knowldege Repository Concerning Architectural Styles for Building Component-based Systems (.ps.gz) (.pdf)
A. Ramdane-Cherif, L. Hazem, N. Levy

Development of Formal Components Using the B Method (.ps.gz) (.pdf)
Dorian Petit, Vincent Poirrier, Georges Mariano

Supporting End-User Tailoring of Component-Based Software - Checking Integrity of Compositions (.ps.gz) (.pdf)
Markus Won and Armin B. Cremers

The Amos Project: an Approach to Reusing Open Source Code (.ps.gz) (.pdf)
Manuel Carro

Session 3 (CBD): Contributed Papers

A Language-centric Approach to Software Engineering: Domain Specific Languages Meet Software Components (.ps.gz) (.pdf)
Gopal Gupta

Toward a Framework Constraint Language (.ps.gz) (.pdf)
Shui Ming Ho

Built-in Contract Testing in Component-based Application Engineering (.ps.gz) (.pdf)
Hans-Gerhard Groß

Session 4 (ITCLS): Invited Talks

Implementing Temporal Logics: Tools for Execution and Proof (.ps.gz) (.pdf)
Michael Fisher

Parallelism and New Generation Logic Programming Systems (.ps.gz) (.pdf)
Enrico Pontelli

Session 5 (ITCLS): Contributed Papers

A New Encoding of Not Necessarily Closed Convex Polyhedra (.ps.gz) (.pdf)
Roberto Bagnara, Patricia M. Hill, Enea Zaffanella

The Design of j-Drew: a Deductive Reasoning Engine for the Web (.ps.gz) (.pdf)
Bruce Spencer

Improving the Compilation of Prolog to C Using Type Information: A Preliminary Report (.ps.gz) (.pdf)
José F. Morales, Manuel Carro

Session 6 (ITCLS): Invited Industrial Talk

Computational Logic for Industrial Software Engineering (.ps.gz) (.pdf)
Kung-Kiu Lau, Michel Vanden Bossche