# Proceedings of the Sixth International Workshop on Software Specification and Design

## Filter Results

Displaying Results 1 - 25 of 34
• ### Proceedings of the Sixth International Workshop on Software Specification and Design (Cat. No.91TH0388-9)

Publication Year: 1991
| |PDF (33 KB)
• ### Heterogeneous design idioms for software architecture

Publication Year: 1991, Page(s):158 - 165
Cited by:  Papers (13)
| |PDF (708 KB)

Software designers use a variety of structural patterns to specify system architectures. These patterns, or idioms, are currently used informally and imprecisely. Nevertheless, they provide a useful, broadly shared vocabulary. In practice, a given design often relies on several patterns. The paper reviews some common architectural idioms, shows several ways in which they are used heterogeneously, ... View full abstract»

• ### Specifying groupware requirements from direct experience

Publication Year: 1991, Page(s):224 - 232
Cited by:  Papers (1)  |  Patents (1)
| |PDF (752 KB)

Software that supports group work is currently being called groupware', and the technical field is being called computer-supported cooperative work' (CSCW). The paper suggests a way to enhance traditional systems analysis practices to address the specification issues surrounding groupware. The enhancements extend traditional practice by incorporating direct work experiences into the software spe... View full abstract»

• ### On the specification of software components

Publication Year: 1991, Page(s):166 - 174
Cited by:  Patents (4)
| |PDF (864 KB)

The authors discuss how the notion of software component can be turned into a specification language concept. Such component description languages (CDL) would directly support reuse, flexible construction of large systems and team-work. First they analyze important requirements to CDLs and discuss the component support of different languages. Finally they discuss extensions necessary to cover also... View full abstract»

• ### Preconditions for understanding [formal specification]

Publication Year: 1991, Page(s):242 - 245
Cited by:  Papers (1)
| |PDF (244 KB)

The author argues that advocates of a formal method have an obligation to explain the relationship between the role of proof in that method and the role of proof in others. Such comparisons are needed to (a) clarify the method' behind a specific notation, (b) dispel misconceptions invited by the use of similar vocabulary with different meanings, and (c) suggest improvements to existing methods. T... View full abstract»

• ### Authoring-in-the-large: software engineering techniques for hypertext application design

Publication Year: 1991, Page(s):193 - 201
Cited by:  Papers (2)
| |PDF (812 KB)

Discusses a structured approach to hypertext application design called authoring-in-the-large. This approach is based on the belief that in order to get a consistent, expressive, usable hypertext, the application should be first designed at a conceptual level in a system independent manner. The author should try to describe global properties of an application-its representation structures, navigat... View full abstract»

• ### Specification criticism via goal-directed envisionment

Publication Year: 1991, Page(s):22 - 30
Cited by:  Papers (2)
| |PDF (712 KB)

Validating a complex system specification is a difficult problem. Generating behaviors and using them to critique a specification is one effective approach. Up until now, symbolic evaluation has been the key technique of behavior generation. Unfortunately, it has drawbacks both in the amount of time it takes to complete a symbolic run, and in the large amount of uninteresting data it produces. The... View full abstract»

• ### Seven (plus or minus two) challenges for requirements research

Publication Year: 1991, Page(s):256 - 259
Cited by:  Papers (2)
| |PDF (384 KB)

Requirements research has not had much effect in industry. A more appropriate research agenda would focus on several communication problems that plague requirements. Seven challenges are identified. All but one call for the development of improved methodology and enabling technologies rather than power tools or exotic languages View full abstract»

• ### A model for composite system design

Publication Year: 1991, Page(s):216 - 219
Cited by:  Papers (6)
| |PDF (288 KB)

Composite systems are systems that encompass multiple agents involved in ongoing, interactive activities. The authors study requirements acquisition, specification and design of such systems. The research objective is a model that encompasses this entire design activity, and thereafter, techniques and tools called for by the model, which will serve to provide automated assistance to a skilled desi... View full abstract»

• ### Swarming over the software barrier [parallel programming]

Publication Year: 1991, Page(s):233 - 236
| |PDF (316 KB)

Swarm is a concurrent programming model which integrates a Linda-like communication medium, the shared dataspace, with a UNITY-like computational model, proof system, and program structure. It generalizes the Linda tuple-space operations by providing more powerful dataspace queries. It generalizes UNITY by permitting content-based access to data, a dynamic set of statements, and the capability to ... View full abstract»

• ### FUNSOFT nets: a Petri-net based software process modeling language

Publication Year: 1991, Page(s):175 - 184
Cited by:  Papers (17)
| |PDF (756 KB)

Introduces an approach to software process modeling and analysis. It is based on describing software processes by FUNSOFT nets. FUNSOFT nets are high level Petri nets which are adapted to the application domain of software process modeling. Their semantics is defined by predicate/transition nets. That enables them to benefit from standard analysis techniques approved for predicate/transition nets View full abstract»

• ### Overcoming shortcomings in schema-based software design systems

Publication Year: 1991, Page(s):246 - 249
Cited by:  Papers (1)
| |PDF (296 KB)

The paper describes a solution to the problem of acquiring reuseable design components for schema-based software design (SBD) systems. It also discusses some inherent shortcomings of the SBD approach that can be overcome by adopting a hybrid approach that incorporates the use of design cases. This discussion is made against the background of IDeA, an SBD system View full abstract»

• ### A system for multiparadigm development of software systems

Publication Year: 1991, Page(s):202 - 209
Cited by:  Papers (7)
| |PDF (552 KB)

It is the authors' goal to create a software development environment that will offer multiple editable views of software systems, will allow users to define new views, and will support communication between views as the systems are changed. The research to date has focused on the development of a single canonical representation for software systems, semantic program graphs (SPGs). The authors brie... View full abstract»

• ### Experiences using statecharts for a system requirements specification

Publication Year: 1991, Page(s):31 - 41
Cited by:  Papers (11)
| |PDF (708 KB)

Some lessons learned and issues raised while building a system requirements specification for a real aircraft collision avoidance system using statecharts are described. Some enhancements to statecharts were necessary to model the complete system and a few notational changes were made to improve reviewability View full abstract»

• ### An integration environment to put formal specifications into practical use in real-time systems

Publication Year: 1991, Page(s):102 - 109
Cited by:  Papers (2)
| |PDF (656 KB)

A discussion is given on several requirements to put formal specifications into practical use in real-time systems, and an integration environment called MENDELS ZONE to satisfy them. The integration environment includes algebraic specification, temporal logic, real-time structured analysis and object-oriented design. It also defines a specification process that assists a designer in translating a... View full abstract»

• ### Abstraction and composition in Δ-specifications of concurrent systems

Publication Year: 1991, Page(s):52 - 59
Cited by:  Papers (1)
| |PDF (616 KB)

An investigation is made of the application of the Δ-grammar graph rewriting model to the problem of specifying concurrent systems. The authors present abstraction and composition techniques for the Δ-model and illustrate their use through examples View full abstract»

• ### Equational reasoning about LOTOS specifications: a rewriting approach

Publication Year: 1991, Page(s):148 - 155
Cited by:  Papers (1)
| |PDF (476 KB)

An equational approach is given to the verification of concurrent systems specified in the ISO specification language LOTOS. The approach is based on term rewriting techniques. The kind of reasoning and verification strategies which can be performed are illustrated through two examples View full abstract»

• ### Reuse of analogous specifications during requirements analysis

Publication Year: 1991, Page(s):220 - 223
| |PDF (352 KB)

Analogy is proposed as an alternative paradigm for specification reuse during requirements analysis. However, extensive analyst involvement is necessary to maximise analogical reuse across domains. An intelligent reuse advisor which supports analysts during the retrieval, understanding and customisation of complex specifications is proposed. Its design is based on cognitive models of analogical re... View full abstract»

• ### Advantages and limits of formal approaches for ultra-high dependability

Publication Year: 1991, Page(s):237 - 241
Cited by:  Papers (4)
| |PDF (408 KB)

The paper discusses the advantages and limits of formal approaches to software development for achieving ultra-high dependability of critical computer systems. Among the issues addressed are: what is a formal specification? What can be done with it? What is correctness? What kind of certainty comes from a proof? And from testing? The paper does not claim to answer these questions: rather it is a f... View full abstract»

• ### On the meaning of but' [formal specification]

Publication Year: 1991, Page(s):185 - 192
| |PDF (560 KB)

A formalisation of exceptions to a general rule is proposed. It builds upon the modularisation of theories proposed by the algebraic specification approach, and preserves its engineering principles: modularity and compositionality. It relies on a model-theoretic definition of the but conjunctive, whose properties and implementations are explored View full abstract»

• ### Goal-directed concept acquisition in requirements elicitation

Publication Year: 1991, Page(s):14 - 21
Cited by:  Papers (56)
| |PDF (640 KB)

Requirements analysis includes an acquisition step where a global model for the specification of the system and its environment is elaborated. This model involves concepts that are usually not found in the final formal specification, such as goals to be achieved, agents and their responsibilities, etc. The authors present an approach for model acquisition which is driven by such goals. They descri... View full abstract»

• ### Designing software for customization and evolution

Publication Year: 1991, Page(s):250 - 255
Cited by:  Papers (2)
| |PDF (292 KB)

Writing software for several similar situations often involves writing a general purpose program for the domain, followed by customization appropriate for each situation. As domain understanding evolves, the general purpose program also evolves, leading to complications for the customized versions. The solution lies with the domain analysts and designers of the original system: they must character... View full abstract»

• ### Addressing requirements issues within a conceptual modeling environment

Publication Year: 1991, Page(s):212 - 215
Cited by:  Papers (4)
| |PDF (332 KB)

The paper takes the position that research on how to formalize informal requirements information is not enough. One must actually identify what tasks the requirements analyst is undertaking, identify the types of knowledge that are being interrelated, and work out the desired relationships, or correspondences, between the various views. To do this, a conceptual modeling environment (ACME) is neede... View full abstract»

• ### Dealing with different time scales in formal specifications

Publication Year: 1991, Page(s):92 - 101
Cited by:  Papers (6)
| |PDF (888 KB)

The authors motivate the need for allowing the consistent treatment of different time scales in formal specifications of time critical systems, with the purpose of enhancing the naturalness and practical usability of the notation. The approach to this issue is illustrated on TRIO, a temporal logic language for the specification of real-time systems. The authors briefly introduce TRIO and define an... View full abstract»

• ### PoliS: a programming model for multiple tuple spaces

Publication Year: 1991, Page(s):44 - 51
Cited by:  Papers (2)  |  Patents (1)
| |PDF (592 KB)

The class of parallel models and languages based on a shared associative data structure has aroused large interest. Among these languages, Linda is certainly well known. The author defines PoliS, a model of coordination based on the concept of multiple tuple spaces, a generalization of the Linda approach to parallel programming. The model introduces a programming method in which both space and tim... View full abstract»