• 공학,engineering
        formal_specification ... curr [[명세,specification]]
• 메소드,method
        specification([[명세,specification]]) esp formal_specification - https://en.wikipedia.org/wiki/Formal_specification
• 명세,specification
        Up: [[명세,specification]] [[언어,language]] > [[형식언어,formal_language]]
• 문법,grammar
        "The [[명세,specification|specification]] for a syntax is a '''grammar'''."
• 선언,declaration
       [[명세,specification]] (PL에서는 매우 밀접.)
• 신택스,syntax
        참고: [[문법,grammar]]페이지 맨 위 ...에 따르면 '''syntax'''의 [[명세,specification]]가 grammar.
• 언어,language
       [[명세언어,specification_language]] - curr at [[명세,specification]]
• 웹,web
       [[명세,specification]]
• 판단,judgment
        * 그래서 명제의 [[증명,proof]]의 claim [[claim]] =,claim . claim { NdEn:claim WtEn:claim [[주장,claim]]? } (또는 심지어 specification [[specification]] [[명세,specification]]? ) (Church)
• 형식언어,formal_language
       [[명세,specification]]

You can also click here to search title.