The design of software interfaces in Spec

Publisher Website

6 January 2003

conference paper
Published by Institute of Electrical and Electronics Engineers (IEEE)

https://doi.org/10.1109/iccl.1988.13073

Abstract

No abstract available

Keywords

This publication has 12 references indexed in Scilit:

A prototyping language for real-time software
IEEE Transactions on Software Engineering, 1988
Report on the larch shared language
Science of Computer Programming, 1986
Abstraction-based software development
Communications of the ACM, 1986
A Larch Shared Language handbook
Science of Computer Programming, 1986
Analysis and Design in MSG.84: Formalizing Functional Specifications
IEEE Transactions on Software Engineering, 1985
A Value Transmission Method for Abstract Data Types
ACM Transactions on Programming Languages and Systems, 1982
Abstract data types and software validation
Communications of the ACM, 1978
Abstraction mechanisms in CLU
Communications of the ACM, 1977
Abstraction and verification in Alphard
Communications of the ACM, 1977
Proof of correctness of data representations
Acta Informatica, 1972