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

£71.00

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

Name: Program Dependences, Slicing, and Verification: Accurate and Scalable Approaches for Concurrent Object Oriented Programs
Brand: VDM Verlag
Price: 71.0 GBP
Availability: InStock

Introduction to Programming

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

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

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 71 days · 71 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 71 days • 1 price levels

Days at Price

Price Analysis

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

Price range: £71 - £71

Price levels: 1 different prices over 71 days

Description

This dissertation presents accurate and scalable approaches to discover program dependences (relations) between various parts of the program and leveraging the dependences to improve development and maintenance tasks via program slicing (comprehension) and verification. The contents include new notions of control dependences that are suitable for modern program structures (e.g. non-terminating loops in reactive systems, exceptional control flow), a general algorithm to calculate data-based program dependences in concurrent programs, a parametric framework to describe program slicing algorithms, and the first stateful model checking algorithm that employs dynamic partial order reduction. The exposition employs illustrative examples, rigorous theoretical reasoning, and thorough experimental evaluation. The tools that embody the described techniques (and were used in the experimental evaluation) are freely available at http://indus.projects.cis.ksu.edu.

Product Specifications

Brand: VDM Verlag
Format: paperback
ASIN: 3639228030
Category: Books > Subjects > Computing & Internet > Programming > Introduction to Programming
Domain: Amazon UK
Release Date: 21 March 2010
Listed Since: 26 March 2010

Barcode

No barcode data available

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

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

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Synchronous Collaboration in the Age of Ubiquitous Computing: Requirements, Application Models, Software Architecture

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

Collaborative Programming on the Internet: Environments

Release Planning of Software Systems: A Decision Support Approach

SOFTWARE REUSE AND INDUSTRIALIZATION: MODEL-DRIVEN INTEGRATION OF SOFTWARE AND SERVICE COMPONENTS

Structural Models for Large Software Systems: Dependency Matters

Breakdowns in Controls in Automated Systems

Staging for Creative Collaboration in Design Teams

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

COLLABORATION IN MASS CUSTOMISATION: Exploring the impacts of suppliers and lead users

Testing and Verifying Web Services

Architecting Automated Design Systems

Designing and Scaling Proactive, Self-Organizing Video Servers: A Formal and a Simulation Model

Virtuelle Zusammenarbeit in Unternehmen: Analyse kooperativer Szenarien

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

How do practitioners understand?: Practitioner perceptions of object-oriented programming

Quality-Oriented Execution of Cooperative Processes: Model and Algorithms

The Role of Features and Aspects in Software Development: Similarities, Differences, and Synergetic Potential

Business Process Automation - Performance and Capacity Planning with BPEL

Introspektive modellgetriebene Softwareentwicklung

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

Improvisation, Computers and Interaction

Workflow Scheduling for Service Oriented Cloud Computing: cloud, grid, scheduling, services, simulation, workflows

C-Test Construct Validation: A Rasch Modeling Approach