Knapp, Alexander, Germany
-
Volume 7: Layout of (Software) Engineering Diagrams 2007 - Preface
Proceedings of the Workshop on the Layout of (Software) Engineering Diagrams (LED 2007) - Preface
Details PDF -
Volume 15: OCL Concepts and Tools 2008 - Articles
Executing Underspecified OCL Operation Contracts with a SAT Solver
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.