Titlebook: Structured Object-Oriented Formal Language and Method; Second International Shaoying Liu Conference proceedings 2013 Springer-Verlag Berlin

衣服

使增至最大

苍白

A Formal Specification-Based Integration Testing Approachs basic principle in integration testing is still facing the major challenge that most formal specification can precisely define the expected functions on system operations but fall short of offering a rigorous and intuitive representation of the system architecture that specifies the relations betw

沙漠

GUISE

乐章

Exaggerate

Model Checking C Programs with MSVLtion language) programs, and specify the desired property by a propositional projection temporal logic (PPTL) formula; then we employ the unified model checking approach to check whether the MSVL program satisfies the PPTL formula. If so, the program is correct; otherwise, a counterexample can be fo

正常

档案

Applying SOFL to a Generic Insulin Pump Software Designsons is that the safety issue should be thoroughly investigated. In the United States, Food and Drug Administration (FDA) is entitled to scrutinize medical devices to ensure they are safe to the public before they enter the market. However, the review of medical device software has been quite challe

剥皮

Extension on Transactional Remote Services in SOFL traditional testing method using in practice such as path coverage, selection coverage, etc, people try to use some more formal and reliably method to ensure the quality. SOFL, stands for Structured Object-oriented Formal Language, is a kind of formal language which can be used to describe, validat