Proceedings of the 8th International Workshop on Software Specification and Design
Latest Publications

TOTAL DOCUMENTS

28

(FIVE YEARS 0)

H-INDEX

9

(FIVE YEARS 0)

Published By IEEE Comput. Soc. Press

0818673613

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A comedy of errors: the London Ambulance Service case study

Proceedings of the 8th International Workshop on Software Specification and Design ◽

10.1109/iwssd.1996.501141 ◽

2002 ◽

Author(s):

A. Finkelstein ◽

J. Dowell

Keyword(s):

Ambulance Service

Download Full-text

Specification and verification of real-time properties using LOTOS and SQTL

Proceedings of the 8th International Workshop on Software Specification and Design ◽

10.1109/iwssd.1996.501149 ◽

2002 ◽

Author(s):

A. Lakas ◽

G.S. Blair ◽

A. Chetwynd

Keyword(s):

Real Time ◽

Specification And Verification

Download Full-text

Visual presentation of software specifications and designs

Proceedings of the 8th International Workshop on Software Specification and Design ◽

10.1109/iwssd.1996.501153 ◽

2002 ◽

Author(s):

G.-C. Roman ◽

D. Hart ◽

C. Calkins

Keyword(s):

Visual Presentation ◽

Software Specifications

Download Full-text

Software package requirements and procurement

Proceedings of the 8th International Workshop on Software Specification and Design ◽

10.1109/iwssd.1996.501156 ◽

2002 ◽

Author(s):

A. Finkelstein ◽

G. Spanoudakis ◽

M. Ryan

Keyword(s):

Software Package

Download Full-text

Assuring accuracy and impartiality in software design methodology comparison

Proceedings of the 8th International Workshop on Software Specification and Design ◽

10.1109/iwssd.1996.501162 ◽

2002 ◽

Author(s):

L.J. Osterweil ◽

Xiping Song

Keyword(s):

Software Design ◽

Design Methodology

Download Full-text

A framework for heterogeneous concurrency control policies in distributed applications

Proceedings of the 8th International Workshop on Software Specification and Design ◽

10.1109/iwssd.1996.501152 ◽

2002 ◽

Author(s):

A.R. Silva ◽

J. Pereira ◽

J.A. Marques

Keyword(s):

Concurrency Control ◽

Distributed Applications ◽

Control Policies

Download Full-text

Relating CHAM descriptions of software architectures

Proceedings of the 8th International Workshop on Software Specification and Design ◽

10.1109/iwssd.1996.501148 ◽

2002 ◽

Author(s):

P. Inverardi ◽

D. Yankelevich

Keyword(s):

Software Architectures

Download Full-text

Supporting the selection of software requirements

Proceedings of the 8th International Workshop on Software Specification and Design ◽

10.1109/iwssd.1996.501157 ◽

2002 ◽

Author(s):

J. Karlsson ◽

K. Ryan

Keyword(s):

Software Requirements ◽

Download Full-text

A mathematical toolbox for the software architect

Proceedings of the 8th International Workshop on Software Specification and Design ◽

10.1109/iwssd.1996.501146 ◽

2002 ◽

Author(s):

J.L. Fiadeiro ◽

T. Maibaum

Download Full-text

Tool specification with GTSL

Proceedings of the 8th International Workshop on Software Specification and Design ◽

10.1109/iwssd.1996.501144 ◽

2002 ◽

Author(s):

W. Emmerich

Download Full-text