Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers

Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers / edited by Shaoying Liu, Zhenhua Duan.

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. The 13 papers presented in this volume were carefully reviewed and selected from 22 submissi...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Liu, Shaoying (Editor), Duan, Zhenhua (Editor)
Format: eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2014.
Edition:1st ed. 2014.
Series:Theoretical Computer Science and General Issues ; 8332
Springer eBook Collection.
Subjects:
Computer logic.
Software engineering.
Programming languages (Electronic computers).
Mathematical logic.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Table of Contents:
  • 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.

Similar Items