Cover Image

Language Constructs for Describing Features : Proceedings of the FIREworks workshop /

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...

Full description

Bibliographic Details
Main Author:	Gilmore, Stephen
Corporate Author:	SpringerLink (Online service)
Other Authors:	Ryan, Mark
Format:	eBook
Language:	English
Published:	London : Springer London, 2001.
Subjects:	Computer science. Software engineering. Logic design. Telecommunication. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Z User Workshop, London 1992 : Proceedings of the Seventh Annual Z User Meeting, London 14-15 December 1992 /
by: Bowen, J. P.
Published: (1993)

Z User Workshop, York 1991 : Proceedings of the Sixth Annual Z User Meeting, York 16-17 December 1991 /
by: Nicholls, J. E.
Published: (1992)

Formal Specification : Techniques and Applications /
by: Nissanke, Nimal
Published: (1999)

Programming Languages and Systems - ESOP '96 : 6th European Symposium on Programming, Linköping, Sweden, April, 22-24, 1996. Proceedings /
by: Nielson, Hanne R.
Published: (1996)

Industrial-Strength Formal Methods in Practice /
by: Hinchey, Michael G.
Published: (1999)

Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 : Volume 2: Colloquium on Software Engineering (CSE) /
by: Ehrig, Hartmut
Published: (1985)

TAPSOFT '87 : Proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23-27, 1987 /
Published: (1987)

Programming and Mathematical Method : International Summer School /
by: Broy, Manfred
Published: (1992)

Algebraic Methodology and Software Technology (AMAST'93) : Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, the Netherlands 21-25 June 1993 /
by: Nivat, M.
Published: (1994)

Duration Calculus : A Formal Approach to Real-Time Systems /
by: Chaochen, Zhou
Published: (2004)

Fairness /
by: Francez, Nissim
Published: (1986)

TAPSOFT '87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987 : Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium /
by: Ehrig, Hartmut
Published: (1987)

Programming Languages and Systems - ESOP '94 : 5th European Symposium on Programming, Edinburgh, U.K., April 11-13, 1994. Proceedings /
by: Sannella, Donald
Published: (1994)

Computing in Horn Clause Theories /
by: Padawitz, Peter
Published: (1988)

Specification of Software Systems /
by: Alagar, Vangalur S., 1940-
Published: (1998)

Algebraic Specifications in Software Engineering : an Introduction /
by: Horebeek, Ivo
Published: (1989)

Mathematics of Program Construction : 375th Anniversary of the Groningen University. International Conference, Groningen, the Netherlands, June 26-30, 1989 Proceedings /
by: Snepscheut, Jan L. A. van de
Published: (1989)

MetaSoft Primer : Towards a Metalanguage for Applied Denotational Semantics /
by: Blikle, Andrzej
Published: (1987)

Interactive Systems: Design, Specification, and Verification : 1st Eurographics Workshop, Bocca di Magra, Italy, June 1994 /
by: Paternó, Fabio
Published: (1995)

Fundamentals of Algebraic Specification 1 : Equations and Initial Semantics /
by: Ehrig, Hartmut
Published: (1985)

Fundamentals of Algebraic Specification 2 : Module Specifications and Constraints /
by: Ehrig, Hartmut
Published: (1990)

Dictionary of Acronyms and Technical Abbreviations : For Information and Communication Technologies and Related Areas /
by: Vlietstra, J.
Published: (2001)

Constructive Methods in Computing Science : International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare /
by: Broy, Manfred
Published: (1989)

Algebraic Foundations of Systems Specification /
by: Astesiano, Egidio
Published: (1999)

Logic, Algebra, and Computation : International Summer School /
by: Bauer, Friedrich L.
Published: (1991)

Programming Language Implementation and Logic Programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993. Proceedings /
by: Bruynooghe, M. (Maurice)
Published: (1993)

Mathematical Methods in Program Development /
by: Broy, Manfred
Published: (1997)

Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 : Volume 1: Colloquium on Trees in Algebra and /
by: Ehrig, Hartmut
Published: (1985)

Compiler Generators : What They Can Do, What They Might Do, and What They Will Probably Never Do /
by: Tofte, Mads
Published: (1990)

Categorical Methods in Computer Science : With Aspects from Topology /
by: Ehrig, Hartmut
Published: (1989)

Extreme Programming and Agile Methods - XP/Agile Universe 2003 : Third XP and Second Agile Universe Conference, New Orleans, LA, USA, August 10-13, 2003, Proceedings /
by: Maurer, F. (Frank)
Published: (2003)

Applied Formal Methods - FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings /
by: Hutter, Dieter
Published: (1999)

Z User Workshop : Proceedings of the Fourth Annual Z User Meeting Oxford, 15 December 1989 /
by: Nicholls, John E.
Published: (1990)

The Illiac IV : The First Supercomputer /
by: Hord, R. Michael
Published: (1982)

Mathematical Foundations of Programming Semantics : 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989. Proceedings /
by: Main, Michael G.
Published: (1990)

CAAP'86 : 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986. Proceedings /
by: Franchi-Zannettacci, P. (Paul)
Published: (1986)

STACS 86 : 3rd Annual Symposium on Theoretical Aspects of Computer Science - Orsay, France, January 16-18, 1986 /
by: Monien, B.
Published: (1986)

Computability /
by: Weihrauch, Klaus
Published: (1987)

Verification of Sequential and Concurrent Programs /
by: Apt, Krzysztof R.
Published: (1991)

Managing Interactions in Smart Environments : 1st International Workshop on Managing Interactions in Smart Environments (MANSE'99), Dublin, December 1999 /
by: Nixon, Paddy
Published: (2000)