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
UFGS for Cold Recycled Asphalt: A Specification Framework Informed by Practice Mark E. Jacobson, James Olaonipekun Toyin and Anoop Sattineni In:Proceedings of Associated Schools of Construction 62nd Annual International Conference
Cocktail II Michael Franssen In:WING 2010. Workshop on Invariant Generation 2010