Formal specifications for software-defined networking.
Miyoung KangKi-Hyuk NamJunkil ParkMyung-Ki ShinJeehoon ShinJin-Young ChoiPublished in: CFI (2012)
Keyphrases
- formal specification
- object oriented design
- software components
- software testing
- specification languages
- software design
- software systems
- software architecture
- formal methods
- distributed computing
- reverse engineering
- specification language
- software maintenance
- integrity constraints
- model checking
- object oriented systems
- software development
- formal specification language
- process algebra
- protocol specification
- information systems
- software engineers
- user defined
- test cases
- knowledge based systems
- peer to peer
- knowledge representation
- user interface
- case study