Language Constructs for Describing Features


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.




Designing Digital Computer Systems with Verilog


Book Description

This book serves both as an introduction to computer architecture and as a guide to using a hardware description language (HDL) to design, model and simulate real digital systems. The book starts with an introduction to Verilog - the HDL chosen for the book since it is widely used in industry and straightforward to learn. Next, the instruction set architecture (ISA) for the simple VeSPA (Very Small Processor Architecture) processor is defined - this is a real working device that has been built and tested at the University of Minnesota by the authors. The VeSPA ISA is used throughout the remainder of the book to demonstrate how behavioural and structural models can be developed and intermingled in Verilog. Although Verilog is used throughout, the lessons learned will be equally applicable to other HDLs. Written for senior and graduate students, this book is also an ideal introduction to Verilog for practising engineers.




New Trends in Software Methodologies, Tools and Techniques


Book Description

Software is an essential enabler for science and the new economy, but software often falls short of our expectations, remaining expensive and not yet sufficiently reliable for a constantly changing and evolving market. This publication, which forms part of the SoMeT series, consists of 41 papers, carefully reviewed and revised on the basis of technical soundness, relevance, originality, significance, and clarity. These explore new trends and theories which illuminate the direction of developments which may lead to a transformation of the role of software in tomorrow’s global information society. The book offers an opportunity for the software science community to think about where they are today and where they are going. The emphasis has been placed on human-centric software methodologies, end-user development techniques, and emotional reasoning, for an optimally harmonised performance between the design tool and the user. The handling of cognitive issues in software development and the tools and techniques related to this form part of the contribution to this book. Other comparable theories and practices in software science, including emerging technologies essential for a comprehensive overview of information systems and research projects, are also addressed. This work represents another milestone in mastering the new challenges of software and its promising technology, and provides the reader with new insights, inspiration and concrete material to further the study of this new technology.




New Trends in Software Methodologies, Tools and Techniques


Book Description

"New Trends in Software Methodologies, Tools and Techniques, as part of the SoMeT series, contributes to new trends and theories in the direction in which the editors believe software science and engineering may develop in order to transform the role of software and science integration in tomorrow s global information society. This book is an attempt to capture the essence of a new state-of-the-art in software science and its supporting technology. Aiming at identifying the challenges such a technology has to master. It contains extensively reviewed papers given at the Seventh International Conference on New Trends in Software Methodology Tools, and Techniques (SoMeT08) held in Sharjah, United Arab Emirates. One of the important issues addressed in this book is handling cognitive issues on software development to adapt to user mental state. Tools and techniques have been contributed here. Another aspect challenged in this conference was intelligent software design in software security. This book, and the series, will also contribute to the elaboration on such new trends and related academic research studies and development."--BOOK JACKET.




Tactile Internet


Book Description

Tactile Internet with Human-in-the-Loop describes the change from the current Internet, which focuses on the democratization of information independent of location or time, to the Tactile Internet, which democratizes skills to promote equity that is independent of age, gender, sociocultural background or physical limitations. The book promotes the concept of the Tactile Internet for remote closed-loop human-machine interaction and describes the main challenges and key technologies. Current standardization activities in the field for IEEE and IETF are also described, making this book an ideal resource for researchers, graduate students, and industry R&D engineers in communications engineering, electronic engineering, and computer engineering. - Provides a comprehensive reference that addresses all aspects of the Tactile Internet – technologies, engineering challenges, use cases and standards - Written by leading researchers in the field - Presents current standardizations surrounding the IETF and the IEEE - Contains use cases that illustrate practical applications




Requirements Engineering: Foundation for Software Quality


Book Description

This book constitutes the refereed proceedings of the 13th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2007, held in Trondheim, Norway. It covers goal-driven requirements engineering (RE), products and product-lines, value-based RE and the value of RE, requirements elicitation, requirements specification, industrial experience of RE, and requirements quality and quality requirements.




Service Provision


Book Description

This book provides the first overview of the service technologies available to telecoms operators working in a post-convergence world. Previous books have focused either on computer networks or on telecoms networks. This is the first to bring the two together and provide a single reference source for information that is currently only to be found in disparate journals, tool specifications and standards documents. In order to provide such broad coverage of the topic in a structured and logical fashion, the book is divided into 3 parts. The first part looks at the underlying network support for services and aims to explain the technology that makes the user-visible services possible. This section covers multimedia networking, both traditional (legacy) and future (softswitch) call processing, intelligent networks, the Internet, and Wireless networks. Part 2 deals with how these services may be analysed and managed. Chapters cover topics such as commercial issues, service management, quality of service, security, standards and APIs. Part 3 concludes the book by looking ahead at evolving technologies and more speculative possibilities, discussing the kinds of services that may be possible in the future and the technologies that will support them. * Focuses is on how the technology supports the services, rather than on technology for its own sake * Contributors drawn from both academia and industry (companies such as Marconi, BT, Telcordia, Cisco, Analysys) to give both theoretical and real-world perspectives * Unique singe-reference source for a wide range of material currently found only in disparate papers, specs and documentation * Covers brand new technologies such as JAIN, JTAPI, Parlay, IP, multimedia networking, active networks, WAP, wireless LANs, agent-based services, etc.




Web Services Foundations


Book Description

Web services and Service-Oriented Computing (SOC) have become thriving areas of academic research, joint university/industry research projects, and novel IT products on the market. SOC is the computing paradigm that uses Web services as building blocks for the engineering of composite, distributed applications out of the reusable application logic encapsulated by Web services. Web services could be considered the best-known and most standardized technology in use today for distributed computing over the Internet. Web Services Foundations is the first installment of a two-book collection covering the state-of-the-art of both theoretical and practical aspects of Web services and SOC research. This book specifically focuses on the foundations of Web services and SOC and covers - among others - Web service composition, non-functional aspects of Web services, Web service selection and recommendation, and assisted Web service composition. The editors collect advanced topics in the second book of the collection, Advanced Web Services, (Springer, 2013). Both books together comprise approximately 1400 pages and are the result of an enormous community effort that involved more than 100 authors, comprising the world’s leading experts in this field.




Scenarios: Models, Transformations and Tools


Book Description

Visual notations and languages continue to play a pivotal role ˆ in the design of complex software systems. In many cases visual notations are used to - scribe usage or interaction scenarios of software systems or their components. While representing scenarios using a visual notation is not the only possibility, a vast majority of scenario description languages is visual. Scenarios are used in telecommunications as Message Sequence Charts, in object-oriented system design as Sequence Diagrams, in reverse engineering as execution traces, and in requirements engineering as, for example, Use Case Maps or Life Sequence Charts. These techniques are used to capture requirements, to capture use cases in system documentation, to specify test cases, or to visualize runs of existing systems. They are often employed to represent concurrent systems that int- act via message passing or method invocation. In telecommunications, for more than 15 years the International Telecommunication Union has standardized the Message Sequence Charts (MSCs) notation in its recommendation Z. 120. More recently, with the emergence of UML as a predominant software design meth- ology, there has been special interest in the development of the sequence d- gram notation. As a result, the most recent version, 2. 0, of UML encompasses the Message Sequence Chart notation, including its hierarchical modeling f- tures. Other scenario-?avored diagrams in UML 2. 0 include activity diagrams and timing diagrams.