Formal specifications design, evolution and reuse

Authors:
Ferhat Khendek;Gregor v. Bochmann
Affiliations:
Université de Montréal, Montréal (Québec), Canada;Université de Montréal, Montréal (Québec), Canada
Venue:
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
Year:
1993

Citing 5
Cited 0

Extensional equivalence for transition systems

Acta Informatica
Introduction to the ISO specification language LOTOS

Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
New results on deriving protocol specifications from service specifications

SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
On the Construction of Submodule Specifications and Communication Protocols

ACM Transactions on Programming Languages and Systems (TOPLAS)
Software Engineering

Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

The effort for designing specifications for complex systems is tremendous. Moreover, specifications may evolve in order to accommodate new requirements, such as the addition of new functionality. Each added functionality may interfere with many existing ones. Therefore, approaches to cope with the design and the evolution of specifications are needed. In this paper, we summarize our results for formal specification design, evolution and reuse.