Software Development Tools
Latest Publications

TOTAL DOCUMENTS

14
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540103264, 9783642464300
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Role of Verification Tools and Techniques

1980 ◽  
pp. 206-212
Author(s):  
Ralph L. London ◽  
Lawrence Robinson
Keyword(s):  
Verification Tools ◽  
Tools And Techniques

A Data Base Approach to Software Specification

1980 ◽  
pp. 176-204 ◽  
Author(s):  
John Miles Smith ◽  
Diane C. P. Smith
Keyword(s):  
Data Base ◽  
Software Specification ◽  
Base Approach

Introduction

1980 ◽  
pp. 1-8
Author(s):  
William E. Riddle ◽  
Richard E. Fairley
Load More ...
Sign in / Sign up

Export Citation Format

Share Document