Verification and analysis of domain-specific models of physical characteristics in embedded control software

An Automatic Software Requirement Analysis Model based on Planning and Machine Learning Techniques

“…The other algorithms are to learn action models with incomplete state information [2,[17][18][19][20][21][22][23][24][25][26][27][28][29], which means preconditions and effects can be learned when the state information before and after each action is not fully observed. Yang et al, [17] build an action model learning system-ARMS by using SAT, which can handle the case with incomplete state information, and acquire STRIPS action models.…”

Managing software complexity of adaptive systems

“…To detect and cope with defects at runtime, the behavior of the software and the system needs to be observed. Monitoring the behavior of the software and the system at runtime to detect defects is called runtime 1 Part of the content in this chapter is based on a paper published at the 5th International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2011 [36].…”