Tierless Programming and Reasoning for Software-Defined Networks.
Tim NelsonAndrew D. FergusonMichael J. G. ScheerShriram KrishnamurthiPublished in: NSDI (2014)
Keyphrases
- software tools
- software development
- programming environments
- knowledge base
- object oriented design
- program understanding
- user interface
- programming language
- fully functional
- programming environment
- programming tool
- social networks
- programming concepts
- network analysis
- complex networks
- computer systems
- software maintenance
- probabilistic reasoning
- software design
- network design
- automated reasoning
- computer programming
- causal networks
- network structure
- software architecture
- software systems
- test cases