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 7 to 10 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

Designing Data-Intensive Applications

Big Ideas Behind Reliable, Scalable, and Maintainable Systems

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

Web Performance Engineering in the Age of AI

Mastering Speed and Quality for Ai-Generated Applications

Semantics With Applications

Advanced Topics in Computer Science

The Essence of Software Engineering

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Building Microservices

Designing Fine-Grained Systems 2nd Edition

Making Embedded Systems

2nd Edition - Design Patterns for Great Software

The Devops Handbook: 2nd Edition

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

Typescript Cookbook

Real World Type-Level Programming

Developing Graphics Frameworks with Java and OpenGL

Design Patterns

Elements of Reusable Object-Oriented Software

Git : Pocket Guide

A Working Introduction

Architecture Patterns with Python

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

Architectural Approach to Level Design

Second edition

Swim Training Patterns

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

Hacking For Dummies

For Dummies (Computer/Tech)

Arduino For Dummies

Blackwell Philosophy Anthologies

Coding All-in-One For Dummies

2nd Edition

User Story Mapping

Discover the Whote Story, Build the Right Product

The Software Architect Elevator

Redefining the Architect's Role in the Digital Enterprise

Programming TypeScript

Making Your JavaScript Applications Scale

Lean Enterprise

How High Performance Organizations Innovate at Scale

This product is categorised by