Verification and Validation of Embedded Knowledge-Based Software Systems

1999 ◽  
Author(s):  
Eugene Santos ◽  
Jr
Keyword(s):  
Verification And Validation ◽  
Software Systems ◽  
Knowledge Based ◽  
Embedded Knowledge

A KNOWLEDGE-BASED APPROACH FOR THE SPECIFICATION AND ANALYSIS OF REAL-TIME SOFTWARE SYSTEMS

1992 ◽  
Vol 01 (01) ◽  
pp. 1-35 ◽  
Author(s):  
JEFFREY J. J.-P. TSAI ◽  
HUNG-CHIN JANG
Keyword(s):  
Real Time ◽  
Basic Structure ◽  
Software Systems ◽  
Real Time Systems ◽  
Production Rules ◽  
First Order ◽  
Knowledge Based ◽  
Representation Techniques ◽  
Time Systems ◽  
Specification Analysis

FRORL (Frame-and-Rule Oriented Requirements specification Language) was proposed to exploit knowledge representation techniques as an aid in the specification, analysis, and development of a software system. With the real-time software systems as our target systems, the merely mechanisms provided by FRORL cannot meet the specific demands on real-time software systems. As a result, in this paper, we propose RT-FRORL (Real-Time FRORL) as an extension of FRORL. RT-FRORL not only inherits FRORL's basic structure but also includes those language constructs needed to support the specification of real-time systems. The syntax of RT-FRORL is based on frames and production rules. The semantics of RT-FRORL is defined through the integration of first order logic and temporal logic extension. Using RT-FRORL, concurrent and absolute time properties of real-time systems can be easily specified.

scholarly journals Verification and validation of knowledge-based systems

1999 ◽  
Vol 11 (1) ◽  
pp. 202-212 ◽  
Author(s):  
Wei-Tek Tsai ◽  
R. Vishnuvajjala ◽  
Du Zhang
Keyword(s):  
Verification And Validation ◽  
Knowledge Based Systems ◽  
Knowledge Based

Future Research Directions of Software Engineering and Knowledge Engineering

2015 ◽  
Vol 25 (02) ◽  
pp. 415-421 ◽  
Author(s):  
Haiping Xu
Keyword(s):  
Software Engineering ◽  
Development Process ◽  
Knowledge Engineering ◽  
Future Research ◽  
Software Systems ◽  
Research Directions ◽  
Knowledge Based ◽  
Intelligent Software ◽  
Current Trends ◽  
Future Research Directions

Software Engineering (SE) and Knowledge Engineering (KE) are closely related disciplines with goals of turning the development process of software systems and knowledge-based systems, respectively, into engineering disciplines. In particular, they together can provide systematic approaches for engineering intelligent software systems more efficiently and cost-effectively. As there is a large overlap between the two disciplines, the interplay is vital for both to be successful. In this paper, we divide the intersection of SE and KE into three subareas, namely Knowledge-Supported Software Engineering (KSSE), Engineering Knowledge as a Software (EKaaS), and Intelligent Software System Engineering (ISSE). For each subarea, we describe the challenges along with the current trends, and predict the future research directions that may have the most potential for success.

scholarly journals Knowledge-Based Interoperability for Mathematical Software Systems

2017 ◽  
pp. 195-210 ◽  
Author(s):  
Michael Kohlhase ◽  
Luca De Feo ◽  
Dennis Müller ◽  
Markus Pfeiffer ◽  
Florian Rabe ◽  
...  
Keyword(s):  
Software Systems ◽  
Mathematical Software ◽  
Knowledge Based
Sign in / Sign up

Export Citation Format

Share Document