Structured Object-Oriented Formal Language and Method

Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers

AvShaoying Liu,Zhenhua Duan

Häftad, Engelska, 2014

Del 8332 i serien Lecture Notes in Computer Science

551 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

This book constitutes revised selected papers from the Third International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2013, held in Queenstown, New Zealand, in October 2013.

Produktinformation

Utgivningsdatum:2014-03-11
Mått:155 x 235 x 12 mm
Vikt:318 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:193
Upplaga:2014
Förlag:Springer International Publishing AG
ISBN:9783319049144

Utforska kategorier

Innehållsförteckning

Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification in Practice.- Theory of Test Modeling Based on Regular Expressions.- Integrating Separation Logic with PPTL.- Improved Net Reductions for LTL-X Model-Checking.- Formalizing and Implementing Types in MSVL.- Present-Future Form Graph of Linear Time μ-Calculus.- Prototype Tool for Supporting A Formal Engineering Approach to Service-based Software Modeling.- A Supporting Tool for Syntactic Analysis of SOFL Formal Specifications and Automatic Generation of Functional Scenarios.- SOFL Specification Animation with Tool Support.- An Approach to Declaring Data Types for Formal Specifications.- Detection Method of the Second-Order SQL Injection in Web Applications.- Applying SOFL to Constructing a Smart Traffic Light Specification.- Checking Internal Consistency of SOFL Specification: A Hybrid Approach.