Structured Object-Oriented Formal Language and Method

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

Häftad, Engelska, 2014

729 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

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

Utgivningsdatum2014-03-11
Mått155 x 235 x 12 mm
Vikt318 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor193
Upplaga2014
FörlagSpringer International Publishing AG
ISBN9783319049144

Tillhör följande kategorier

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.