Evaluating Embedded-Software Specifications - Quantitative and Structured Assessment of Declarative Interface Descriptions.

Marc Forster

Browse the full ISSRE paper archive.