Keyword:specification

Publications
The Role of Natural Language Processing in Requirements Gathering and Specification in Software Development Lanying Fang and Jane Smith EasyChair Preprint 12605
Verification on Valve Losses of LCC HVDC Converter Station in Korea Chur Hee Lee, Joo Sik Kwak and Seung Wan Kim EasyChair Preprint 4114
Cocktail II Michael Franssen In:WING 2010. Workshop on Invariant Generation 2010