A Formal Framework for Run-Time Verification of Web Applications: An Approach Supported by Scope Extended Linear Temporal Logic - Image 1

£59.00

It has never been this cheap. We have no record of a lower price.

£59 today · cheaper than every other day in the last 3 months

VDM Verlag A Formal Framework for Run-Time Verification of Web Applications: An Approach Supported by Scope Extended Linear Temporal Logic

Name: A Formal Framework for Run-Time Verification of Web Applications: An Approach Supported by Scope Extended Linear Temporal Logic
Brand: VDM Verlag
Price: 59.0 GBP
Availability: InStock

Computing & Internet

Price Distribution

Price distribution over 59 days • 1 price levels

Days at Price

Price Analysis

Most common price: £59 (59 days, 100.0%)

Price range: £59 - £59

Price levels: 1 different prices over 59 days

Description

With the pervasive and accelerating growth of web applications, correctness is a primary concern. Meanwhile, software communities are increasingly adopting formal methods, mainly to achieve reliability and better automation, to analyze various types of applications. In this work, a communicating automata modeling technique is proposed using the dynamic analysis approach to infer models from user-based execution traces of Web applications. These models are used to verify properties of Web applications by means of model checking technique. Also, the problem of property specification in LTL over a subset of states of a system under test is addressed. Operators that facilitate specifying properties over propositional scopes are introduced, where each scope constitutes a subset of states that satisfy a propositional logic formula. Finally, to facilitate the use of formal methods in conventional web engineering techniques, a library of web specification pattern is proposed. It includes 119 patterns specified in LTL. These are based on the analysis of Web quality rules, written in English prose.

Product Specifications

Brand: VDM Verlag
Format: paperback
ASIN: 3639189434
Category: Books > Subjects > Computing & Internet
Domain: Amazon UK
Release Date: 08 September 2009
Listed Since: 08 September 2009

Barcode

No barcode data available

It has never been this cheap. We have no record of a lower price.

VDM Verlag A Formal Framework for Run-Time Verification of Web Applications: An Approach Supported by Scope Extended Linear Temporal Logic

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Software Verification and Validation for Practitioners and Managers, Second Edition

Testware Support: Addressing Test Elements and Supporting a Benchmarking Framework in Aspect- Oriented Software Assessment

A Framework and Methodology for Managing Quality of Web Services

Program Dependences, Slicing, and Verification: Accurate and Scalable Approaches for Concurrent Object Oriented Programs

Specification and Seamless Verification ofEmbedded Real-Time Systems: FOCUS on Isabelle

Attribute-Level Versioning: A Relational Mechanism for Version Storage and Retrieval

Mechanical Verification of Parameterized Real-Time Systems: A Formal Framework and its Application to a Real-Time Operating System Scheduler

Time-Constrained Web Services for Industrial Automation

Validation of Data Flow Results for Program Modules

Testing and Verifying Web Services

Specification and Collaboration Driven Software Component Selection- Building a Framework for Component Selection

Using Similarity Patterns in Developing Web Applications: An Approach to Enhance Reuse and Maintainability

Model-checking infinite state systems for information flow security

Separation Logic for Multithreaded Object-Oriented Languages: Full-Fledged Verification and Automatic Parallelization of Programs

Observations on Reusability, Frameworks and Testing: Process and Metric Models

Ökonomische Erfolgspotenziale von Web 2.0: Evaluation der Tragfähigkeit von Web 2.0-Unternehmen in Deutschland

Semiotic Analysis of Electronic Mathematical Texts: Semiotics of Web Based Mathematics

Enabling Formal Model-Driven Development with QVT: Concepts, Methods and Tools

Policy Representation and Reasoning: for Security and Trust Management in Distributed Environments

Spécification Formelle des Services Web à Interface Flexible

Specifications and Verifications of Transactions in Mobile Environment: Temporal Logics Specifications and Verifications

Virtual Machine Support for Aspect-Oriented Programming Languages

Cost-Effective Verification of Concurrent Safety-Critical Systems: The Compliance Notation Approach

Supporting Networked Software Development: Socially Organising People of Software

It has never been this cheap. We have no record of a lower price.

VDM Verlag A Formal Framework for Run-Time Verification of Web Applications: An Approach Supported by Scope Extended Linear Temporal Logic

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Software Verification and Validation for Practitioners and Managers, Second Edition

Testware Support: Addressing Test Elements and Supporting a Benchmarking Framework in Aspect- Oriented Software Assessment

A Framework and Methodology for Managing Quality of Web Services

Program Dependences, Slicing, and Verification: Accurate and Scalable Approaches for Concurrent Object Oriented Programs

Specification and Seamless Verification ofEmbedded Real-Time Systems: FOCUS on Isabelle

Attribute-Level Versioning: A Relational Mechanism for Version Storage and Retrieval

Mechanical Verification of Parameterized Real-Time Systems: A Formal Framework and its Application to a Real-Time Operating System Scheduler

Time-Constrained Web Services for Industrial Automation

Validation of Data Flow Results for Program Modules

Testing and Verifying Web Services

Specification and Collaboration Driven Software Component Selection- Building a Framework for Component Selection

Using Similarity Patterns in Developing Web Applications: An Approach to Enhance Reuse and Maintainability

Model-checking infinite state systems for information flow security

Separation Logic for Multithreaded Object-Oriented Languages: Full-Fledged Verification and Automatic Parallelization of Programs

Observations on Reusability, Frameworks and Testing: Process and Metric Models

Ökonomische Erfolgspotenziale von Web 2.0: Evaluation der Tragfähigkeit von Web 2.0-Unternehmen in Deutschland

Semiotic Analysis of Electronic Mathematical Texts: Semiotics of Web Based Mathematics

Enabling Formal Model-Driven Development with QVT: Concepts, Methods and Tools

Policy Representation and Reasoning: for Security and Trust Management in Distributed Environments

Spécification Formelle des Services Web à Interface Flexible

Specifications and Verifications of Transactions in Mobile Environment: Temporal Logics Specifications and Verifications

Virtual Machine Support for Aspect-Oriented Programming Languages

Cost-Effective Verification of Concurrent Safety-Critical Systems: The Compliance Notation Approach

Supporting Networked Software Development: Socially Organising People of Software