Cargando…
Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers /
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Cham :
Springer International Publishing : Imprint: Springer,
2014.
|
| Edición: | 1st ed. 2014. |
| Colección: | Theoretical Computer Science and General Issues,
8332 |
| Temas: | |
| Acceso en línea: | Texto Completo |
Tabla de Contenidos:
- 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.