Proceedings of the 5th international workshop on Software specification and design - IWSSD '89
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

0897913051

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Domain analysis: from art form to engineering discipline

Proceedings of the 5th international workshop on Software specification and design - IWSSD '89 ◽

10.1145/75199.75224 ◽

1989 ◽

Cited By ~ 54

Author(s):

G. Arango

Keyword(s):

Domain Analysis ◽

Engineering Discipline ◽

Art Form

Download Full-text

A proposed perspective shift: viewing specification design as a planning problem

Proceedings of the 5th international workshop on Software specification and design - IWSSD '89 ◽

10.1145/75199.75227 ◽

1989 ◽

Cited By ~ 27

Author(s):

J. S. Anderson ◽

S. Fickas

Keyword(s):

Planning Problem

Download Full-text

A net method for specification of reusable software

Proceedings of the 5th international workshop on Software specification and design - IWSSD '89 ◽

10.1145/75199.75220 ◽

1989 ◽

Cited By ~ 1

Author(s):

H. S. Dhama ◽

D. Shtern

Keyword(s):

Reusable Software ◽

Net Method

Download Full-text

Larger scale systems require higher-level abstractions

Proceedings of the 5th international workshop on Software specification and design - IWSSD '89 ◽

10.1145/75199.75222 ◽

1989 ◽

Cited By ~ 34

Author(s):

M. Shaw

Download Full-text

Design by decomposition of multiparty interactions in Raddle87

Proceedings of the 5th international workshop on Software specification and design - IWSSD '89 ◽

10.1145/75199.75201 ◽

1989 ◽

Cited By ~ 4

Author(s):

I. R. Forman

Download Full-text

A specification language for parallel architectures and algorithms

Proceedings of the 5th international workshop on Software specification and design - IWSSD '89 ◽

10.1145/75199.75207 ◽

1989 ◽

Author(s):

T. Bräunl

Keyword(s):

Parallel Architectures ◽

Specification Language

Download Full-text

Viewpoint analysis: a case study

Proceedings of the 5th international workshop on Software specification and design - IWSSD '89 ◽

10.1145/75199.75217 ◽

1989 ◽

Cited By ~ 7

Author(s):

J. C. S. P. Leite

Download Full-text

Reasoning of real-time distributed programming languages

Proceedings of the 5th international workshop on Software specification and design - IWSSD '89 ◽

10.1145/75199.75214 ◽

1989 ◽

Author(s):

R. K. Shyamasundar ◽

J. Hooman ◽

R. Gerth

Keyword(s):

Programming Languages ◽

Real Time ◽

Distributed Programming

Download Full-text

Developing formally verified Ada programs

Proceedings of the 5th international workshop on Software specification and design - IWSSD '89 ◽

10.1145/75199.75238 ◽

1989 ◽

Cited By ~ 2

Author(s):

N. Ramsey

Download Full-text

Software design issues: a very large information systems perspective

Proceedings of the 5th international workshop on Software specification and design - IWSSD '89 ◽

10.1145/75199.75235 ◽

1989 ◽

Cited By ~ 1

Author(s):

G. B. Williams ◽

C. Mui ◽

W. Alagappan ◽

B. B. Johnson

Keyword(s):

Information Systems ◽

Software Design ◽

Design Issues ◽

Systems Perspective

Download Full-text

Proceedings of the 5th international workshop on Software specification and design - IWSSD '89Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Domain analysis: from art form to engineering discipline

A proposed perspective shift: viewing specification design as a planning problem

A net method for specification of reusable software

Larger scale systems require higher-level abstractions

Design by decomposition of multiparty interactions in Raddle87

A specification language for parallel architectures and algorithms

Viewpoint analysis: a case study

Reasoning of real-time distributed programming languages

Developing formally verified Ada programs

Software design issues: a very large information systems perspective

Proceedings of the 5th international workshop on Software specification and design - IWSSD '89
Latest Publications