Titlebook: Structured Object-Oriented Formal Language and Method; Third International Shaoying Liu,Zhenhua Duan Conference proceedings 2014 Springer

蘑菇

战役

A Supporting Tool for Syntactic Analysis of SOFL Formal Specifications and Automatic Generation of Fed on SOFL formal specifications, many techniques have been proposed to provide us with effective solutions for software verification and validation. To support these techniques, a tool support for analysis of specifications is necessary. However, such a tool is still not available. In this paper, w

Paleontology

瘙痒

An Approach to Declaring Data Types for Formal Specificationsles to be used in writing formal expressions such as pre- and post-conditions. As the complexity of software products rises, such a task will become more and more difficult to be handled by practitioners. This paper proposes an approach to facilitate the declaration of data types based on a set of .

Coma704

Detection Method of the Second-Order SQL Injection in Web Applicationsnt SQL injections, there is a lack of effective method for detecting second-order SQL injection which stores user inputs into the back-end database. This paper proposes a detecting solution that combines both static and dynamic methods for second-order SQL injection. This solution first analyzes sou

冬眠

Applying SOFL to Constructing a Smart Traffic Light Specificationy-critical system, we need to construct an accurate specification to build a firm foundation for implementation of the system. In this paper, we describe how the SOFL formal engineering method is applied to construct a Smart Traffic Light specification through the three-step modeling approach of SOF

发微光

Checking Internal Consistency of SOFL Specification: A Hybrid Approach review and testing, have been proposed to detect and remove the errors from the specification as early as possible. Meanwhile these techniques face strong challenges when applied to practice in that they strongly rely on human intelligence to either cautiously design a review task tree for directin

起波澜

怒目而视

琐碎