Fundamental Approaches to Software Engineering : 10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings - Matthew B. Dwyer

Instant online reading.
Don't wait for delivery!

Fundamental Approaches to Software Engineering

10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings

By: Matthew B. Dwyer (Editor), Antonia Lopes (Editor)

Write A Review

Paperback | 9 March 2007

At a Glance

Paperback
462 Pages

Dimensions(cm)
23.39 x 15.6 x 2.36

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 7 to 10 business days

This book constitutes the refereed proceedings of the 10th International Conference on Fundamental Approaches to Software Engineering, FASE 2007, held in Braga, Portugal in March/April 2007 as part of ETAPS 2007, the Joint European Conferences on Theory and Practice of Software. It covers evolution and agents, model driven development, tool demonstrations, distributed systems, specification, services, testing, analysis, and design.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Software Engineering Programming & Scripting Languages Computer Science Computer Architecture & Logic Design Computer Networking & Communications Client-Server Networking

Invited Contributions
Software Product Families: Towards Compositionality	p. 1
Contract-Driven Development	p. 11
Evolution and Agents
EQ-Mine: Predicting Short-Term Defects for Software Evolution	p. 12
An Approach to Software Evolution Based on Semantic Change	p. 27
A Simulation-Oriented Formalization for a Psychological Theory	p. 42
Model Driven Development
Integrating Performance and Reliability Analysis in a Non-Functional MDA Framework	p. 57
Information Preserving Bidirectional Model Transformations	p. 72
Activity-Driven Synthesis of State Machines	p. 87
Flexible and Extensible Notations for Modeling Languages	p. 102
Tool Demonstrations
Declared Type Generalization Checker: An Eclipse Plug-In for Systematic Programming with More General Types	p. 117
S2A: A Compiler for Multi-modal UML Sequence Diagrams	p. 121
Distributed Systems
Scenario-Driven Dynamic Analysis of Distributed Architectures	p. 125
Enforcing Architecture and Deployment Constraints of Distributed Component-Based Software	p. 140
A Family of Distributed Deadlock Avoidance Protocols and Their Reachable State Spaces	p. 155
Specification
Precise Specification of Use Case Scenarios	p. 170
Joint Structural and Temporal Property Specification Using Timed Story Scenario Diagrams	p. 185
SDL Profiles - Formal Semantics and Tool Support	p. 200
Preliminary Design of BML: A Behavioral Interface Specification Language for Java Bytecode	p. 215
Services
A Service Composition Construct to Support Iterative Development	p. 230
Correlation Patterns in Service-Oriented Architectures	p. 245
Dynamic Characterization of Web Application Interfaces	p. 260
Testing
A Prioritization Approach for Software Test Cases Based on Bayesian Networks	p. 276
Redundancy Based Test-Suite Reduction	p. 291
Testing Scenario-Based Models	p. 306
Integration Testing in Software Product Line Engineering: A Model-Based Technique	p. 321
Analysis
Practical Reasoning About Invocations and Implementations of Pure Methods	p. 336
Finding Environment Guarantees	p. 352
Ensuring Consistency Within Distributed Graph Transformation Systems	p. 368
Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks	p. 383
Design
Towards Normal Design for Safety-Critical Systems	p. 398
A Clustering-Based Approach for Tracing Object-Oriented Design to Requirement	p. 412
Measuring and Characterizing Crosscutting in Aspect-Based Programs: Basic Metrics and Case Studies	p. 423
Author Index	p. 439
Table of Contents provided by Ingram. All Rights Reserved.

Fundamental Approaches to Software Engineering

10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Software Engineering

Designing Data-Intensive Applications

Big Ideas Behind Reliable, Scalable, and Maintainable Systems

Multimedia and Multimodal Intelligence for Sustainable Development

Multimedia and Multimodal Intelligence

Integration of Internet of Things and Machine Learning

Design Models, Architectures and Application

Data-Driven Environmental Intelligence

Intelligent Data-Driven Technology for Sustainability

Intelligent Systems

Emerging Trends and Challenges in Deep Neuro-Fuzzy Models and Explainable Artificial Intelligence

Transforming Agriculture with Emerging Technologies for a Sustainable Future

Smart Engineering Systems: Design and Applications

Recent Trends in Data Analytics and Computing

Conference Proceedings Series on Futuristic Intelligent and Smart Technologies

Risk-First Software Development, Second Edition

Deliver Better Systems in a Post-Agile, AI World

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Semantics With Applications

Advanced Topics in Computer Science

The Essence of Software Engineering

Head First Design Patterns

Building Extensible and Maintainable Object-Oriented Software 2nd Edition

Making Embedded Systems

2nd Edition - Design Patterns for Great Software

Fundamentals of Software Architecture

A Modern Engineering Approach

Design Patterns

Elements of Reusable Object-Oriented Software

Building Microservices

Designing Fine-Grained Systems 2nd Edition

The Staff Engineer's Path

A Guide For Individual Contributors Navigating Growth and Change

The Devops Handbook: 2nd Edition

How to Create World-Class Agility, Reliability, & Security in Technology

The Art of Spyro

Reignited Trilogy

Swim Training Patterns

1st Edition - Plan your Training Sessions with the Power of Mathematics

Hacking For Dummies

For Dummies (Computer/Tech)

Git : Pocket Guide

A Working Introduction

Arduino For Dummies

Blackwell Philosophy Anthologies

This product is categorised by