2
Published 1996
Springer Berlin Heidelberg
Table of Contents: ... Computer Aided Requirements Engineering environment -- A logic-based framework for reasoning support...

3
Published 2008
Springer Berlin Heidelberg
Table of Contents: ... Infrastructure on Description Logic Inference Engines -- Controlling Property Growth in Product Classification...

4
Published 2001
Springer Berlin Heidelberg
... to the complex, autonomous nature of the medical discipline and the specialized (clinician or software engineer...