che-chandler.de

Component-based Software Development: Case Studies

Logic Program Synthesis and Transformation

Logic program synthesis and transformation are topics of central importance to the software indus...

Logic Program Synthesis and Transformation

Logic programming synthesis and transformation are methods of deriving logic programs from their ...

Service-Oriented and Cloud Computing

This book constitutes the refereed proceedings of the Third European Conference on Service-Orient...

INTRODUCTION TO COMPONENT-BASED SOFTWARE DEVELOPMENT, AN

The book provides a comprehensive coverage of the widely accepted desiderata of component-based s...

Program Development in Computational Logic

1 The tenth anniversary of the LOPSTR symposium provided the incentive for this volume. LOPSTR st...

Service-Oriented and Cloud Computing

This book constitutes the refereed proceedings of the Second European Conference on Service-Orien...

Logic Based Program Synthesis and Transformation

Formal Methods and Software Engineering

Computational Logic - CL 2000

These are the proceedings of the First International Conference on Compu- tional Logic (CL 2000) ...

Component-based Software Development: Case Studies

Component-based software development (CBD) is an emerging discipline that promises to take softwa...

Logic Program Synthesis and Transformation

Logic programming synthesis and transformation are methods of deriving logic programs from their ...