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

Marc Forster. Evaluating Embedded-Software Specifications - Quantitative and Structured Assessment of Declarative Interface Descriptions. In 25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Naples, Italy, November 3-6, 2014. pages 142-143, IEEE, 2014. [doi]

Abstract

Abstract is missing.