MPG.eBooks - Search Results - Programming and Software Engineering

Cover Image

1

Software Product Lines : Second International Conference, SPLC 2, San Diego, CA, USA, August 19-22, 2002. Proceedings

Published 2002

Springer Berlin Heidelberg

Table of Contents: “... for Software Product Line Engineering -- Using First-Order Logic for Product Line Model Validation -- Product...”

Cover Image

2

Recent Advances in Constraints : Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002. Selected Paper...

Published 2003

Springer Berlin Heidelberg

Table of Contents: “...Abstract Verification and Debugging of Constraint Logic Programs -- CGRASS: A System...”