Formal Specification of Open Standards and the Case of RSS v2.0.
Konstantinos BarlasEleni BerkiIulia AdomnitaThrushna NalamGolnaz S. NejadJari VeijalainenPublished in: Panhellenic Conference on Informatics (2014)
Keyphrases
- formal specification
- open standards
- specification language
- model checking
- object oriented design
- specification languages
- reverse engineering
- formal methods
- concurrent systems
- open source
- information systems
- digital libraries
- process algebra
- web services
- communication networks
- software engineering
- information technology