Specification of Software Systems
Latest Publications

TOTAL DOCUMENTS

11
(FIVE YEARS 0)

H-INDEX

0
(FIVE YEARS 0)

Published By Springer New York

9781475729221, 9781475729207
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Algebraic Specification

1998 ◽  
pp. 171-217
Author(s):  
V. S. Alagar ◽  
K. Periyasamy
Keyword(s):  
Algebraic Specification

Set Theory and Relations

1998 ◽  
pp. 137-169
Author(s):  
V. S. Alagar ◽  
K. Periyasamy
Keyword(s):  
Set Theory

Specification Activities

1998 ◽  
pp. 13-21
Author(s):  
V. S. Alagar ◽  
K. Periyasamy

Vienna Development Method

1998 ◽  
pp. 219-279
Author(s):  
V. S. Alagar ◽  
K. Periyasamy
Keyword(s):  
Development Method

Abstraction

1998 ◽  
pp. 31-38
Author(s):  
V. S. Alagar ◽  
K. Periyasamy

Specification Qualities

1998 ◽  
pp. 23-30
Author(s):  
V. S. Alagar ◽  
K. Periyasamy

The Role of Specification

1998 ◽  
pp. 1-11
Author(s):  
V. S. Alagar ◽  
K. Periyasamy

Logic

1998 ◽  
pp. 79-135
Author(s):  
V. S. Alagar ◽  
K. Periyasamy

Formal Systems

1998 ◽  
pp. 39-78
Author(s):  
V. S. Alagar ◽  
K. Periyasamy
Keyword(s):  
Formal Systems

Larch

1998 ◽  
pp. 361-416
Author(s):  
V. S. Alagar ◽  
K. Periyasamy
Load More ...
Sign in / Sign up

Export Citation Format

Share Document