Search For:

Displaying 1-31 out of 31 total
Requirements for Evolving Systems: A Telecommunications Perspective
Found in: Requirements Engineering, IEEE International Conference on
By Pamela Zave
Issue Date:August 2001
pp. 0002
Abstract: In many software application domains, constant evolution is the dominant problem, shaping both software design and the software process. Telecommunication software is the prototypical example of such an application domain. This paper examines how...
 
Requirements for Telecommunications Services: An Attack on Complexity
Found in: Requirements Engineering, IEEE International Conference on
By Pamela Zave, Michael Jackson
Issue Date:January 1997
pp. 106
In engineering the requirements for a telecommunications system, the greatest obstacle to be overcome is the sheer complexity of the required behavior. We present several ways of managing and minimizing this complexity, all of proven effectiveness. Most of...
 
Matching and Merging of Statecharts Specifications
Found in: Software Engineering, International Conference on
By Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Steve Easterbrook, Pamela Zave
Issue Date:May 2007
pp. 54-64
Model Management addresses the problem of managing an evolving collection of models, by capturing the relationships between models and providing well-defined operators to manipulate them. In this paper, we describe two such operators for manipulating hiera...
 
A Reference Model for Requirements and Specifications
Found in: Requirements Engineering, IEEE International Conference on
By Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Pamela Zave
Issue Date:June 2000
pp. 189
We define a reference model for applying formal methods to the development of user requirements and their reduction to behavioral specification of a system. The approach is characterized by its focus on the shared phenomena that define the interface betwee...
 
A Reference Model for Requirements and Specifications
Found in: IEEE Software
By Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Pamela Zave
Issue Date:May 2000
pp. 37-43
The authors define a reference model for applying formal methods to the development of user requirements and their reduction to a system's behavioral specification. Their approach focuses on the shared phenomena that define the interface between the system...
 
A Component-Based Approach to Telecommunication Software
Found in: IEEE Software
By Pamela Zave, Michael Jackson
Issue Date:September 1998
pp. 70-78
This article discusses a domain-specific component-based architecture called Distributed Feature Composition. Based on the well-known pipe-and-filter architecture, DFC has been refined for use in the telecommunication domain. The authors also point to ways...
 
Feature Interactions and Formal Specifications in Telecommunications
Found in: Computer
By Pamela Zave
Issue Date:August 1993
pp. 20-29
<p>The feature-interaction problem found in complex software systems that support telecommunications is reviewed. The relationship between feature interactions and formal specifications is examined. Several important ways telecommunications has evolv...
 
Matching and Merging of Variant Feature Specifications
Found in: IEEE Transactions on Software Engineering
By Shiva Nejati,Mehrdad Sabetzadeh,Marsha Chechik,Steve Easterbrook,Pamela Zave
Issue Date:November 2012
pp. 1355-1375
Model Management addresses the problem of managing an evolving collection of models by capturing the relationships between models and providing well-defined operators to manipulate them. In this paper, we describe two such operators for manipulating featur...
 
Compositional Control of IP Media
Found in: IEEE Transactions on Software Engineering
By Pamela Zave, Eric Cheung
Issue Date:January 2009
pp. 46-66
In many IP media services, the media channels are point-to-point, dynamic, and set up with the participation of one or more application servers, even thou the media packets themselves travel directly between media endpoints. The application servers must be...
 
Distributed Feature Composition: A Virtual Architecture for Telecommunications Services
Found in: IEEE Transactions on Software Engineering
By Michael Jackson, Pamela Zave
Issue Date:October 1998
pp. 831-847
<p><b>Abstract</b>—Distributed Feature Composition (DFC) is a new technology for feature specification and composition, based on a virtual architecture offering benefits analogous to those of a pipe-and-filter architecture. In the DFC arc...
 
Where Do Operations Come From? A Multiparadigm Specification Technique
Found in: IEEE Transactions on Software Engineering
By Pamela Zave, Michael Jackson
Issue Date:July 1996
pp. 508-528
<p><b>Abstract</b>—We propose a technique to help people organize and write complex specifications, exploiting the best features of several different specification languages. Z is supplemented, primarily with automata and grammars, to pro...
 
A Compositional Approach to Multiparadigm Programming
Found in: IEEE Software
By Pamela Zave
Issue Date:September 1989
pp. 15-25
<p>The author points out that although different aspects of a system require different approaches, programmers are confined to their language's one paradigm. Multiparadigm programming makes it possible to match the paradigm to the problem. The potent...
 
Guest editors' prologue special issue on software design methods
Found in: IEEE Transactions on Software Engineering
By G. D. Bergland,Pamela Zave
Issue Date:February 1986
pp. 185-191
We describe why these papers were chosen, and categorize them in terms of major contribution, underlying model of the software life-cycle, and applicability to various types of system.
 
Salient features of an executable specification language and its environment
Found in: IEEE Transactions on Software Engineering
By Pamela Zave,William Schell
Issue Date:February 1986
pp. 312-325
This paper presents the executable specification language PAISLey and its environment as a case study in the design of computer languages. It is shown that PAISLey is unusual (and for some features unique) in having the following desirable features: 1) the...
 
Industrial Practice
Found in: Computer
By Anthony Hall, David L. Dill, John Rushby, C. Michael Holloway, Ricky W. Butler, Pamela Zave
Issue Date:April 1996
pp. 22-27
No summary available.
 
Deriving Specifications from Requirements: an Example
Found in: Software Engineering, International Conference on
By Michael Jackson, Pamela Zave
Issue Date:April 1995
pp. 15
A requirement is a desired relationship among phenomena of the environment of a system, to be brought about by the hardware/software machine that will be constructed and installed in the environment. A specification describes machine behaviour sufficient t...
 
The geomorphic view of networking: a network model and its uses
Found in: Proceedings of the 7th Workshop on Middleware for Next Generation Internet Computing (MW4NG '12)
By Jennifer Rexford, Pamela Zave
Issue Date:December 2012
pp. 1-6
The Internet is evolving away from its original architecture and toward the use of multiple, customized protocol stacks. A pluralistic architecture is best explained by the "geomorphic view" of networks, in which each layer is a microcosm of networking, an...
     
Towards compositional synthesis of evolving systems
Found in: Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering (SIGSOFT '08/FSE-16)
By Marsha Chechik, Mehrdad Sabetzadeh, Pamela Zave, Sebastian Uchitel, Shiva Nejati
Issue Date:November 2008
pp. 1-2
Synthesis of system configurations from a given set of features is an important and very challenging problem. This paper makes a step towards this goal by describing an efficient technique for synthesizing pipeline configurations of feature-based systems. ...
     
Compositional control of IP media
Found in: Proceedings of the 2006 ACM CoNEXT conference (CoNEXT '06)
By Eric Cheung, Pamela Zave
Issue Date:December 2006
pp. 89-97
When there is more than one application server in the signaling path between IP media endpoints, and the servers manipulate media flow, media flow must be controlled com-positionally. This paper presents a protocol, signaling architecture, API, and API imp...
     
Where do you go when you're through the turnstile?
Found in: Proceedings of the 27th international conference on Software engineering (ICSE '05)
By Michael Jackson, Pamela Zave
Issue Date:May 2005
pp. 44-44
Ten years ago, our paper described how a very small system might be developed to control a coin-operated turnstile in a zoo [1]. It arose out of our efforts to understand how requirements, domain knowledge and specifications fit together, and how specifica...
     
Address translation in telecommunication features
Found in: ACM Transactions on Software Engineering and Methodology (TOSEM)
By Pamela Zave
Issue Date:January 2004
pp. 1-36
Address translation causes a wide variety of interactions among telecommunication features. This article begins with a formal model of address translation and its effects, and with principles for understanding how features should interact in the presence o...
     
Deriving specifications from requirements: an example
Found in: Proceedings of the 17th international conference on Software engineering (ICSE '95)
By Michael Jackson, Pamela Zave
Issue Date:April 1995
pp. 15-24
One popular use for Haskell in recent years has been as a host language for domain-specific embedded languages. But how can one embed a postfix language in Haskell, given that Haskell only supports prefix and infix syntax? This paper describes several such...
     
Conjunction as composition
Found in: ACM Transactions on Software Engineering and Methodology (TOSEM)
By Michael Jackson, Pamela Zave
Issue Date:January 1992
pp. 379-411
Partial specifications written in many different specification languages can be composed if they are all given semantics in the same domain, or alternatively, all translated into a common style of predicate logic. The common semantic domain must be very ge...
     
Four dark corners of requirements engineering
Found in: ACM Transactions on Software Engineering and Methodology (TOSEM)
By Michael Jackson, Pamela Zave
Issue Date:January 1992
pp. 1-30
Research in requirements engineering has produced an extensive body of knowledge, but there are four areas in which the foundation of the discipline seems weak or obscure. This article shines some light in the “four dark corners,” exposing prob...
     
Classification of research efforts in requirements engineering
Found in: ACM Computing Surveys (CSUR)
By Pamela Zave
Issue Date:March 1988
pp. 315-321
Machine interpretation of the shape of a component for CAD databases is an important problem in CAD/CAM, computer vision, and intelligent manufacturing. It can be used in CAD/CAM for evaluation of designs, in computer vision for machine recognition and mac...
     
A distributed alternative to finite-state-machine specifications
Found in: ACM Transactions on Programming Languages and Systems (TOPLAS)
By Pamela Zave
Issue Date:January 1985
pp. 10-36
A specification technique, formally equivalent to finite-state machines, is offered as an alternative because it is inherently distributed and more comprehensible. When applied to modules whose complexity is dominated by control, the technique guides the a...
     
The operational versus the conventional approach to software development
Found in: Communications of the ACM
By Pamela Zave
Issue Date:February 1984
pp. 104-118
The conventional approach to software development is being challenged by new ideas, many of which can be organized into an alternative decision structure called the “operational” approach. The operational approach is explained and compared to t...
     
A Quantitative Evaluation of the Feasibility of, and Suitable Hardware Architectures for, an Adaptive, Parallel Finite-Element System
Found in: ACM Transactions on Mathematical Software (TOMS)
By George E. Cole, Pamela Zave
Issue Date:September 1983
pp. 271-292
Surfaces of R3 are ubiquitous in science and engineering, and estimating the local differential properties of a surface discretized as a point cloud or a triangle mesh is a central building block in computer graphics, computer aided design, computational g...
     
Knowledge-based debugging: session summary
Found in: Proceedings of the symposium on High-level debugging (SIGSOFT '83)
By Cordell Green, Elliott Solloway, Mark A. Linton, Pamela Zave, R. J. Cunningham, Robert Balzer, Robert Sedlmeyer, William Swartout
Issue Date:March 1983
pp. 253-265
Debugging techniques originated with low-level programming languages, where the memory dump and interactive word-by-word examination of memory were the primary tools. "High-level" debugging is often no more than low-level techniques adapted to high-level l...
     
Operational specification languages
Found in: Proceedings of the 1983 annual conference on Computers : Extending the human resource (ACM 83)
By Pamela Zave
Issue Date:January 1983
pp. 214-222
The “operational approach” to software development is based on separation of problem-oriented and implementation-oriented concerns, and features executable specifications and transformational implementation. “Operational specification lan...
     
Testing incomplete specifications of distributed systems
Found in: Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing (PODC '82)
By Pamela Zave
Issue Date:August 1982
pp. 42-48
Complex systems (such as distributed ones) should be specified before they are implemented. Even more advantages accrue if the specifications are executable, so that behaviors of the specified systems can be tested. This paper addresses practical questions...
     
 1