Abstract | ||
---|---|---|
It is important to understand the correct specification of SDN in order to implement and analyze the SDN in mind. However, natural languages are usually ambiguous and misleading the specification due to the nature of natural language understanding. Hence, it has been required to have formal specifications after natural language documents. We have two formal specifications for a part of SDN, and compare the formalisms, called ACSR and Z. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1145/2377310.2377331 | CFI |
Keywords | Field | DocType |
correct specification,formal specification,natural language document,natural language understanding,natural language,software-defined network,mobile ad hoc networks | Mobile ad hoc network,Software engineering,Computer science,Formal specification,Theoretical computer science,Natural language understanding,Natural language,Software-defined networking,Rotation formalisms in three dimensions | Conference |
Citations | PageRank | References |
0 | 0.34 | 1 |
Authors | ||
6 |
Name | Order | Citations | PageRank |
---|---|---|---|
Mi-Young Kang | 1 | 40 | 11.87 |
Ki-Hyuk Nam | 2 | 49 | 5.57 |
Junkil Park | 3 | 14 | 6.03 |
Myung-ki Shin | 4 | 256 | 21.82 |
Jeehoon Shin | 5 | 0 | 0.34 |
Jin-young Choi | 6 | 606 | 50.44 |