Tools to support formal methods

Authors:
S. Patel;R. A. Orr;M. T. Norris;D. W. Bustard
Affiliations:
British Telecom Research Laboratories, System and Software Engineering Division, Martlesham Heath, Ipswich IP5 7RE, United Kingdom;British Telecom Research Laboratories, System and Software Engineering Division, Martlesham Heath, Ipswich IP5 7RE, United Kingdom;British Telecom Research Laboratories, System and Software Engineering Division, Martlesham Heath, Ipswich IP5 7RE, United Kingdom;Department of Computer Science, The Queen's University of Belfast, Belfast BT7 1NN, United Kingdom
Venue:
ICSE '89 Proceedings of the 11th international conference on Software engineering
Year:
1989

Communicating sequential processes

Communicating sequential processes
Functional programming, formal specification, and rapid prototyping

IEEE Transactions on Software Engineering
Software perspectives: the system is the message

Software perspectives: the system is the message
Strengths and weaknesses of program verification systems

Proc. of the 1st European Software Engineering Conference on ESEC '87
Introduction to the ISO specification language LOTOS

Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
The Z notation: a reference manual

The Z notation: a reference manual
Software Engineering Economics

Software Engineering Economics
Software Development: A Rigorous Approach

Software Development: A Rigorous Approach
An Approach to providing Support Tools for Formal Specification

Proceedings of the First International Conference on Formal Description Techniques
Graphical Views of Process-Orientated Specifications

Proceedings of the First International Conference on Formal Description Techniques
Applying Formal Specification to Software Development in Industry

IEEE Transactions on Software Engineering

Hi-index	0.00