Author: Muffy Calder
Publisher: IOS Press
ISBN: 9781586030650
Category : Computers
Languages : en
Pages : 344
Book Description
Typically, telecommunications services are implemented in software. Feature interaction is the term used to describe interference between services or features; most attention is given to cases where the interference is undesirable, ie. there is an incompatibility. In telecommunications, control and data is distributed and on such a large scale that software development is by numerous disjoint teams; by its nature, therefore, this software experienced the feature interaction problem first. But, while the workshop focuses on communications services, the subject has relevance to any domain where separate software entities control a shared resource.
Feature Interactions in Telecommunications and Software Systems VI
Author: Muffy Calder
Publisher: IOS Press
ISBN: 9781586030650
Category : Computers
Languages : en
Pages : 344
Book Description
Typically, telecommunications services are implemented in software. Feature interaction is the term used to describe interference between services or features; most attention is given to cases where the interference is undesirable, ie. there is an incompatibility. In telecommunications, control and data is distributed and on such a large scale that software development is by numerous disjoint teams; by its nature, therefore, this software experienced the feature interaction problem first. But, while the workshop focuses on communications services, the subject has relevance to any domain where separate software entities control a shared resource.
Publisher: IOS Press
ISBN: 9781586030650
Category : Computers
Languages : en
Pages : 344
Book Description
Typically, telecommunications services are implemented in software. Feature interaction is the term used to describe interference between services or features; most attention is given to cases where the interference is undesirable, ie. there is an incompatibility. In telecommunications, control and data is distributed and on such a large scale that software development is by numerous disjoint teams; by its nature, therefore, this software experienced the feature interaction problem first. But, while the workshop focuses on communications services, the subject has relevance to any domain where separate software entities control a shared resource.
Feature Interactions in Telecommunications and Software Systems VIII
Author: Stephan Reiff-Marganiec
Publisher: IOS Press
ISBN: 9781586035242
Category : Computers
Languages : en
Pages : 354
Book Description
Features - additional services - occur whenever organisations compete by differentiating their products from those of rival organisations. Adding one feature may break another, or interfere with it in an undesired way. This phenomenon is called feature interaction. This book explores ways in which the feature interaction problem may be mitigated.
Publisher: IOS Press
ISBN: 9781586035242
Category : Computers
Languages : en
Pages : 354
Book Description
Features - additional services - occur whenever organisations compete by differentiating their products from those of rival organisations. Adding one feature may break another, or interfere with it in an undesired way. This phenomenon is called feature interaction. This book explores ways in which the feature interaction problem may be mitigated.
Feature Interactions in Software and Communication Systems X
Author: Masahide Nakamura
Publisher: IOS Press
ISBN: 1607500140
Category : Technology & Engineering
Languages : en
Pages : 264
Book Description
."..Tenth International Conference of Feature Interactions in Software and Communications Systems (ICFI 2009), held in Lisbon, Portugal, 11-12 June 2009"--Pref.
Publisher: IOS Press
ISBN: 1607500140
Category : Technology & Engineering
Languages : en
Pages : 264
Book Description
."..Tenth International Conference of Feature Interactions in Software and Communications Systems (ICFI 2009), held in Lisbon, Portugal, 11-12 June 2009"--Pref.
Feature Interactions in Telecommunications and Software Systems V
Author: Kristofer Kimbler
Publisher:
ISBN: 9784274902482
Category : Technology & Engineering
Languages : en
Pages : 378
Book Description
Publisher:
ISBN: 9784274902482
Category : Technology & Engineering
Languages : en
Pages : 378
Book Description
Active Networks
Author: James P. G. Sterbenz
Publisher: Springer Science & Business Media
ISBN: 3540002235
Category : Business & Economics
Languages : en
Pages : 281
Book Description
This book constitutes the refereed proceedings of the IFIP-TC6 4th International Working Conference on Active Networks, IWAN 2002, held in Zurich, Switzerland, in December 2002. The 20 revised full papers presented were carefully reviewed and selected from 53 submissions. Among the topics addressed are router architectures, reconfigurable systems, NodeOS, service deployment, active network services, active network queries, network management agents, active network performance, mobile communications, programmable networks, network execution environments, active network architecture, group communication, peer-to-peer networks, and interaction detection.
Publisher: Springer Science & Business Media
ISBN: 3540002235
Category : Business & Economics
Languages : en
Pages : 281
Book Description
This book constitutes the refereed proceedings of the IFIP-TC6 4th International Working Conference on Active Networks, IWAN 2002, held in Zurich, Switzerland, in December 2002. The 20 revised full papers presented were carefully reviewed and selected from 53 submissions. Among the topics addressed are router architectures, reconfigurable systems, NodeOS, service deployment, active network services, active network queries, network management agents, active network performance, mobile communications, programmable networks, network execution environments, active network architecture, group communication, peer-to-peer networks, and interaction detection.
Language Constructs for Describing Features
Author: Stephen Gilmore
Publisher: Springer Science & Business Media
ISBN: 1447102878
Category : Computers
Languages : en
Pages : 238
Book Description
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.
Publisher: Springer Science & Business Media
ISBN: 1447102878
Category : Computers
Languages : en
Pages : 238
Book Description
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.
Objects, Agents, and Features
Author: Mark D. Ryan
Publisher: Springer Science & Business Media
ISBN: 3540219897
Category : Computers
Languages : en
Pages : 233
Book Description
This book is the outcome of an international research seminar on objects, agents, and features held at Dagstuhl Castle, Germany in February 2003. In recent years, concepts in object-oriented modeling and programming have been extended in variuos directions, giving rise to new paradigms such as agent-orientation and feature orientation. This book explores the relationship between the original paradigm and the two new ones. The 12 revised full papers presented together with an introductery overview by the volume editors were carefully reviewed and improved for publication. Among the topics addressed are agent coordination in object-orientation, feature orientation, components and feature interaction, software evolution, agent modeling and analysis, agent interaction, component-based systems, formal specification of agents, and feature engineering.
Publisher: Springer Science & Business Media
ISBN: 3540219897
Category : Computers
Languages : en
Pages : 233
Book Description
This book is the outcome of an international research seminar on objects, agents, and features held at Dagstuhl Castle, Germany in February 2003. In recent years, concepts in object-oriented modeling and programming have been extended in variuos directions, giving rise to new paradigms such as agent-orientation and feature orientation. This book explores the relationship between the original paradigm and the two new ones. The 12 revised full papers presented together with an introductery overview by the volume editors were carefully reviewed and improved for publication. Among the topics addressed are agent coordination in object-orientation, feature orientation, components and feature interaction, software evolution, agent modeling and analysis, agent interaction, component-based systems, formal specification of agents, and feature engineering.
Formal Methods for Open Object-Based Distributed Systems V
Author: Bart Jacobs
Publisher: Springer Science & Business Media
ISBN: 9780792376835
Category : Computers
Languages : en
Pages : 294
Book Description
Formal Methods for Open Object-Based Distributed Systems V brings together research in three important and related fields: Formal methods; Distributed systems; Object-based technology. Such a convergence is representative of recent advances in the field of distributed systems, and provides links between several scientific and technological communities. The wide scope of topics covered in this volume range in subject from UML to object-based languages and calculi and security, and in approach from specification to case studies and verification. This volume comprises the proceedings of the Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), which was sponsored by the International Federation for Information Processing (IFIP) and held in Enschede, The Netherlands in March 2002.
Publisher: Springer Science & Business Media
ISBN: 9780792376835
Category : Computers
Languages : en
Pages : 294
Book Description
Formal Methods for Open Object-Based Distributed Systems V brings together research in three important and related fields: Formal methods; Distributed systems; Object-based technology. Such a convergence is representative of recent advances in the field of distributed systems, and provides links between several scientific and technological communities. The wide scope of topics covered in this volume range in subject from UML to object-based languages and calculi and security, and in approach from specification to case studies and verification. This volume comprises the proceedings of the Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), which was sponsored by the International Federation for Information Processing (IFIP) and held in Enschede, The Netherlands in March 2002.
Programming Methodology
Author: Annabelle Mclver
Publisher: Springer Science & Business Media
ISBN: 0387217983
Category : Computers
Languages : en
Pages : 467
Book Description
Written by the members of the IFIP Working Group 2.3 (Programming Methodology) this text constitutes an exciting reference on the front-line of research activity in programming methodology. The range of subjects reflects the current interests of the members, and will offer insightful and controversial opinions on modern programming methods and practice. The material is arranged in thematic sections, each one introduced by a problem which epitomizes the spirit of that topic. The exemplary problem will encourage vigorous discussion and will form the basis for an introduction/tutorial for its section.
Publisher: Springer Science & Business Media
ISBN: 0387217983
Category : Computers
Languages : en
Pages : 467
Book Description
Written by the members of the IFIP Working Group 2.3 (Programming Methodology) this text constitutes an exciting reference on the front-line of research activity in programming methodology. The range of subjects reflects the current interests of the members, and will offer insightful and controversial opinions on modern programming methods and practice. The material is arranged in thematic sections, each one introduced by a problem which epitomizes the spirit of that topic. The exemplary problem will encourage vigorous discussion and will form the basis for an introduction/tutorial for its section.
Critical Systems: Formal Methods and Automated Verification
Author: Laure Petrucci
Publisher: Springer
ISBN: 3319671138
Category : Computers
Languages : en
Pages : 243
Book Description
This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, held in Turin, Italy, in September 2017. The 14 full papers presented together with one invited talk were carefully reviewed and selected from 30 submissions. They are organized in the following sections: Automated verification techniques; Testing and scheduling; Formal Methods for mobile and autonomous robots; and Modeling and analysis techniques.
Publisher: Springer
ISBN: 3319671138
Category : Computers
Languages : en
Pages : 243
Book Description
This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, held in Turin, Italy, in September 2017. The 14 full papers presented together with one invited talk were carefully reviewed and selected from 30 submissions. They are organized in the following sections: Automated verification techniques; Testing and scheduling; Formal Methods for mobile and autonomous robots; and Modeling and analysis techniques.