นิรัติศัย ทิฆัมพรพิทยา
(จุฬาลงกรณ์มหาวิทยาลัย, 2555)
การกำหนดความต้องการด้านความมั่นคงเป็นส่วนสำคัญสำหรับการพัฒนาซอฟต์แวร์ในปัจจุบัน ความต้องการมักอยู่ในรูปแบบของภาษาธรรมชาติซึ่งมักจะมีความกำกวม และขัดแย้งกัน ดังนั้นหากมีกลไกในการสกัดความต้องการความมั่นคงให้อยู่ในรูปของภาษ ...