Formal methods for future interoperability

Abstract

Interoperability is a key challenge in software engineering, whether expressed in terms of the compatibility of different systems and protocols, in terms of compliance to industry standards, or--increasingly--in terms of the ability to share and re-use data gathered in different contexts. Formal methods are mathematical techniques for the precise… (More)
DOI: 10.1145/1595453.1595463

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics