Knowledge-based support for system verification during requirements analysis

Author(s):  
Mohan R Tanniru ◽  
S Sakthivel
2012 ◽  
Vol 49 (1) ◽  
pp. 24-35 ◽  
Author(s):  
Padmal Vitharana ◽  
Hemant Jain ◽  
Fatemeh “Mariam” Zahedi

1996 ◽  
Vol 05 (01n02) ◽  
pp. 167-183 ◽  
Author(s):  
ALAN LIU ◽  
JEFFREY J.P. TSAI

Requirements analysis is a knowledge intensive task and it requires an expert to understand what the clients need. In this paper, we introduce a method which contains different artificial intelligence techniques to perform this task, and a prototype knowledge-based requirements analysis system, RAKES, is presented to explain our approach. In this approach, not only the ordinary functional requirements are collected, but also some non-traditional information, such as non-functional requirements like the quality of operations or the background information for constructing the requirements, is gathered through a knowledge-based support. Different kinds of information collected are stored and organized in a knowledge base and can be used as the source of the user input in the latter phases of software development. Algorithms and procedures have been developed for constructing the interface language, organizing the knowledge base, and applying the knowledge base to different tasks. RAKES is integrated to an on-going research, called the FRORL methodology, to offer a systematic way toward requirements analysis, specification production, prototype generation, specification debugging, and code transformation.


2017 ◽  
Vol 38 (3) ◽  
pp. 133-143 ◽  
Author(s):  
Danny Osborne ◽  
Yannick Dufresne ◽  
Gregory Eady ◽  
Jennifer Lees-Marshment ◽  
Cliff van der Linden

Abstract. Research demonstrates that the negative relationship between Openness to Experience and conservatism is heightened among the informed. We extend this literature using national survey data (Study 1; N = 13,203) and data from students (Study 2; N = 311). As predicted, education – a correlate of political sophistication – strengthened the negative relationship between Openness and conservatism (Study 1). Study 2 employed a knowledge-based measure of political sophistication to show that the Openness × Political Sophistication interaction was restricted to the Openness aspect of Openness. These studies demonstrate that knowledge helps people align their ideology with their personality, but that the Openness × Political Sophistication interaction is specific to one aspect of Openness – nuances that are overlooked in the literature.


1950 ◽  
Author(s):  
Jay L. Otis ◽  
Milton H. Iredell ◽  
Theodore Kunin ◽  
William A. Gorham

1994 ◽  
Author(s):  
Gregory Barker ◽  
Keith Millis ◽  
Jonathan M. Golding
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document