Secrets of call forwarding: A specification case study

Publisher Website

1 January 1996

book chapter
Published by Springer Nature

p. 169-184
https://doi.org/10.1007/978-0-387-34945-9_13

Abstract

No abstract available

Keywords

This publication has 6 references indexed in Scilit:

Precise documentation of well-structured programs
IEEE Transactions on Software Engineering, 1994
Conjunction as composition
ACM Transactions on Software Engineering and Methodology, 1993
Specifying telephone systems in LOTOS
IEEE Communications Magazine, 1993
A rely and guarantee method for timed CSP: a specification and design of a telephone exchange
IEEE Transactions on Software Engineering, 1993
A feature-interaction benchmark for IN and beyond
IEEE Communications Magazine, 1993
Software Engineering Mathematics
Published by Taylor & Francis ,1988