Formal methods for future interoperability
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 m...
| Hlavní autoři: | , |
|---|---|
| Médium: | Journal article |
| Jazyk: | English |
| Vydáno: |
2009
|