Formal Methods in Systems Engineering
Latest Publications

TOTAL DOCUMENTS

12
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By Springer London

9783540197515, 9781447119753
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Social Negotiation of Proof: An Analysis and a further Prediction

1993 ◽  
pp. 23-31 ◽  
Author(s):  
Donald MacKenzie
Keyword(s):  
Social Negotiation ◽  
The Social

Integrating Methods in Practice

1993 ◽  
pp. 51-59
Author(s):  
Anthony Hall

Conclusions

1993 ◽  
pp. 100-100
Author(s):  
Peter Ryan ◽  
Chris Sennett

Quality Assurance Working Group

1993 ◽  
pp. 88-91
Author(s):  
Richard A. Kemmerer
Keyword(s):  
Quality Assurance ◽  
Working Group

Introduction

1993 ◽  
pp. 1-10 ◽  
Author(s):  
Joseph A. Goguen

Formal methods and product documentation

1993 ◽  
pp. 60-70
Author(s):  
John Wordsworth
Keyword(s):  
Formal Methods

Composition of Descriptions : A Progress Report

1993 ◽  
pp. 41-50 ◽  
Author(s):  
Pamela Zave ◽  
Michael Jackson
Keyword(s):  
Progress Report

Modelling Working Group Summary

1993 ◽  
pp. 81-87
Author(s):  
Dan Craigen
Keyword(s):  
Working Group

Software Quality : A Modelling and Measurement View

1993 ◽  
pp. 71-80
Author(s):  
Victor R. Basili
Keyword(s):  
Software Quality
Load More ...
Sign in / Sign up

Export Citation Format

Share Document