From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

On the Systematic Analysis of Natural Language Requirements with CIRCE, и . Autom. Softw. Eng., 13 (1): 107--167 (января 2006)Integrating Active Rules in U-Datalog., и . APPIA-GULP-PRODE, стр. 117-128. (1997)On the Role of Ambiguity in RE., и . REFSQ, том 6182 из Lecture Notes in Computer Science, стр. 248-254. Springer, (2010)Robotic cops: the intruder problem., и . SMC, стр. 2284-2289. IEEE, (2003)Lightweight Validation of Natural Language Requirements: A Case Study., и . ICRE, стр. 140-149. IEEE Computer Society, (2000)Using Default Reasoning to Discover Inconsistencies in Natural Language Requirements., , и . APSEC, стр. 133-. IEEE Computer Society, (2001)A Lean Reflective Abstract State Machine Definition., и . ABZ, том 14759 из Lecture Notes in Computer Science, стр. 99-104. Springer, (2024)Representing structural requirements in software architecture., и . Systems Implementation 2000, том 117 из IFIP Conference Proceedings, стр. 114-127. Chapman & Hall, (1998)On the interplay between consistency, completeness, and correctness in requirements evolution., и . Inf. Softw. Technol., 45 (14): 993-1009 (2003)A Logical Approach to Cooperative Information Systems., , , и . J. Log. Program., 43 (1): 15-48 (2000)