Language Constructs for Describing Features : Proceedings of the Fireworks Workshop - S. D. Gilmore

Instant online reading.
Don't wait for delivery!

Language Constructs for Describing Features

Proceedings of the Fireworks Workshop

By: S. D. Gilmore, M. D. Ryan, Fireworks

Write A Review

Paperback | 27 November 2000

At a Glance

Paperback
246 Pages

Dimensions(cm)
24.13 x 16.51 x 1.91

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

A feature is a small modification or extension of a system which can be seen as having a self-contained functional role, such as Call Forwarding, Automatic Call back and Voice Mail in telephone services, to which users can subscribe. Feature interaction happens when one feature modifies or subverts the operation of another, and this problem has received a great deal of attention from industry and academics, especially in the field of telecommunications, where new services are constantly being developed and deployed. This volume contains refereed papers resulting from the ESPRIT FIREworks working group. The papers focus on the language constructs which have been developed describing features, and advocate a feature-oriented approach to software design including requirements specification languages and verifications logics.

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 Engineering & Technology Electronics & Communications Engineering Communications Engineering & Telecommunications Computing & I.T.Computer Programming & Software Development Programming & Scripting Languages Computer Science Artificial Intelligence Natural Language & Machine Translation Systems Analysis & Design Computer Architecture & Logic Design

Expert Systems & Knowledge-Based Systems Energy Technology & Engineering Electrical Engineering Software Engineering

Preface
Structuring telecommunications features	p. 1
Feature-oriented description, formal methods, and DFC	p. 11
Use case maps as a feature description notation	p. 27
An incremental methods for the design of feature-oriented systems	p. 45
Abstraction and refinement of features	p. 65
Proving feature non-interaction with Alternating-Time Temporal Logic	p. 85
Algebraic treatment of feature-oriented systems	p. 105
The PEPA feature construct	p. 125
A heuristic algorithm to detect feature interactions in requirements	p. 143
Defining features for CSP: Reflections on the features interactions contest	p. 163
Stack service model	p. 177
The declarative language STR (State Transition Rule)	p. 197
Modular feature integration and validation in a synchronous context	p. 213
Table of Contents provided by Blackwell. All Rights Reserved.

Language Constructs for Describing Features

Proceedings of the Fireworks Workshop

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Software Engineering

Building Microservices

Designing Fine-Grained Systems 2nd Edition

Code

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

Fundamentals of Software Architecture

A Modern Engineering Approach

The Essence of Software Engineering

Semantics With Applications

Advanced Topics in Computer Science

Site Reliability Engineering

How Google Runs Production Systems

The Manager`s Path

A Guide for Tech Leaders Navigating Growth and Change

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Head First Design Patterns

Building Extensible and Maintainable Object-Oriented Software 2nd Edition

The Staff Engineer's Path

A Guide For Individual Contributors Navigating Growth and Change

Design Patterns

Elements of Reusable Object-Oriented Software

Designing Data-Intensive Applications

Big Ideas Behind Reliable, Scalable, and Maintainable Systems

Software Architecture: The Hard Parts

Modern Trade-Off Analyses for Distributed Architectures

User Story Mapping

Discover the Whote Story, Build the Right Product

Object-Oriented and Classical Software Engineering - Global Edition

8th Edition

Test-Driven Development with Python

Obey the Testing Goat: Using Django, Selenium, and JavaScript

Developing Graphics Frameworks with Java and OpenGL

Git : Pocket Guide

A Working Introduction

Clean Architecture

A Craftsman's Guide to Software Structure and Design

Architecture Patterns with Python

Enabling Test-Driven Development, Domain-Driven Design, and Event-Driven Microservices

Hacking For Dummies

For Dummies (Computer/Tech)

Swim Training Patterns

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

The Engineering Leader

Strategies for Scaling Teams and Yourself

JavaScript : The Good Parts

Unearthing the excellence in JavaScript

This product is categorised by