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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE Comput. Soc. Press

0818623209

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

FUNSOFT nets: a Petri-net based software process modeling language

Proceedings of the Sixth International Workshop on Software Specification and Design ◽

10.1109/iwssd.1991.213063 ◽

2002 ◽

Cited By ~ 28

Author(s):

W. Emmerich ◽

V. Gruhn

Keyword(s):

Petri Net ◽

Process Modeling ◽

Software Process ◽

Modeling Language ◽

Software Process Modeling

Download Full-text

Authoring-in-the-large: software engineering techniques for hypertext application design

Proceedings of the Sixth International Workshop on Software Specification and Design ◽

10.1109/iwssd.1991.213061 ◽

2002 ◽

Cited By ~ 5

Author(s):

F. Garzotto ◽

P. Paolini ◽

D. Schwabe

Keyword(s):

Software Engineering ◽

Large Software ◽

Application Design

Download Full-text

PoliS: a programming model for multiple tuple spaces

Proceedings of the Sixth International Workshop on Software Specification and Design ◽

10.1109/iwssd.1991.213078 ◽

2002 ◽

Cited By ~ 2

Author(s):

P. Ciancarini

Keyword(s):

Programming Model ◽

Tuple Spaces

Download Full-text

Swarming over the software barrier (parallel programming)

Proceedings of the Sixth International Workshop on Software Specification and Design ◽

10.1109/iwssd.1991.213055 ◽

2002 ◽

Author(s):

H.C. Cunningham

Keyword(s):

Parallel Programming

Download Full-text

Equational reasoning about LOTOS specifications: a rewriting approach

Proceedings of the Sixth International Workshop on Software Specification and Design ◽

10.1109/iwssd.1991.213066 ◽

2002 ◽

Cited By ~ 3

Author(s):

R. De Nicola ◽

P. Inverardi ◽

M. Nesi

Keyword(s):

Equational Reasoning

Download Full-text

Advantages and limits of formal approaches for ultra-high dependability

Proceedings of the Sixth International Workshop on Software Specification and Design ◽

10.1109/iwssd.1991.213054 ◽

2002 ◽

Cited By ~ 4

Author(s):

M.-C. Gaudel

Keyword(s):

High Dependability

Download Full-text

Experiences using statecharts for a system requirements specification

Proceedings of the Sixth International Workshop on Software Specification and Design ◽

10.1109/iwssd.1991.213079 ◽

2002 ◽

Cited By ~ 13

Author(s):

N.G. Leveson ◽

M. Heimdahl ◽

H. Hildreth ◽

J. Reese ◽

R. Ortega

Keyword(s):

Requirements Specification ◽

System Requirements

Download Full-text

On the specification of software components

Proceedings of the Sixth International Workshop on Software Specification and Design ◽

10.1109/iwssd.1991.213064 ◽

2002 ◽

Author(s):

M. Goedicke ◽

H. Schumann ◽

J. Cramer

Keyword(s):

Software Components

Download Full-text

A compositional proof system for real-time systems based on explicit clock temporal logic

Proceedings of the Sixth International Workshop on Software Specification and Design ◽

10.1109/iwssd.1991.213070 ◽

2002 ◽

Cited By ~ 2

Author(s):

J. Hooman ◽

R. Kuiper ◽

P. Zhou

Keyword(s):

Real Time ◽

Temporal Logic ◽

Proof System ◽

Real Time Systems ◽

Time Systems

Download Full-text

A model for composite system design

Proceedings of the Sixth International Workshop on Software Specification and Design ◽

10.1109/iwssd.1991.213058 ◽

2002 ◽

Cited By ~ 9

Author(s):

E. Doerry ◽

S. Fickas ◽

R. Helm ◽

M. Feather

Keyword(s):

System Design ◽

Composite System

Download Full-text

Proceedings of the Sixth International Workshop on Software Specification and DesignLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE Comput. Soc. Press

FUNSOFT nets: a Petri-net based software process modeling language

Authoring-in-the-large: software engineering techniques for hypertext application design

PoliS: a programming model for multiple tuple spaces

Swarming over the software barrier (parallel programming)

Equational reasoning about LOTOS specifications: a rewriting approach

Advantages and limits of formal approaches for ultra-high dependability

Experiences using statecharts for a system requirements specification

On the specification of software components

A compositional proof system for real-time systems based on explicit clock temporal logic

A model for composite system design

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