Proceedings of 1993 IEEE 7th 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

0818643609

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Bridging the requirements gap: policies, goals and domains

Proceedings of 1993 IEEE 7th International Workshop on Software Specification and Design ◽

10.1109/iwssd.1993.315514 ◽

2002 ◽

Cited By ~ 13

Author(s):

A.G. Sutcliffe ◽

N.A.M. Maiden

Download Full-text

An incremental approach to reachability analysis of distributed programs

Proceedings of 1993 IEEE 7th International Workshop on Software Specification and Design ◽

10.1109/iwssd.1993.315504 ◽

2002 ◽

Cited By ~ 1

Author(s):

Kuo-Chung Tai ◽

P.V. Koppol

Keyword(s):

Reachability Analysis ◽

Distributed Programs ◽

Incremental Approach

Download Full-text

Specifying reactive systems with attributed finite state machines

Proceedings of 1993 IEEE 7th International Workshop on Software Specification and Design ◽

10.1109/iwssd.1993.315509 ◽

2002 ◽

Author(s):

Shiyuan Ding ◽

T. Katayama

Keyword(s):

Reactive Systems ◽

Finite State Machines ◽

State Machines ◽

Finite State

Download Full-text

A taxonomy of inheritance semantics

Proceedings of 1993 IEEE 7th International Workshop on Software Specification and Design ◽

10.1109/iwssd.1993.315499 ◽

2002 ◽

Author(s):

A. Faulstich-Brady

Download Full-text

Modular reasoning about open systems: a case study of distributed commit

Proceedings of 1993 IEEE 7th International Workshop on Software Specification and Design ◽

10.1109/iwssd.1993.315517 ◽

2002 ◽

Cited By ~ 1

Author(s):

R. Das ◽

A. Fekete

Keyword(s):

Open Systems ◽

Modular Reasoning

Download Full-text

Towards extensible graphical formalisms

Proceedings of 1993 IEEE 7th International Workshop on Software Specification and Design ◽

10.1109/iwssd.1993.315511 ◽

2002 ◽

Cited By ~ 2

Author(s):

C. Ghezzi ◽

M. Pezze

Download Full-text

Taking more of the soft out of software engineering

Proceedings of 1993 IEEE 7th International Workshop on Software Specification and Design ◽

10.1109/iwssd.1993.315520 ◽

2002 ◽

Cited By ~ 4

Author(s):

T. Maibaum

Keyword(s):

Software Engineering

Download Full-text

Design and validation of a message-passing system

Proceedings of 1993 IEEE 7th International Workshop on Software Specification and Design ◽

10.1109/iwssd.1993.315519 ◽

2002 ◽

Author(s):

Fuyau Lin

Keyword(s):

Message Passing

Download Full-text

Fine-grain process modelling

Proceedings of 1993 IEEE 7th International Workshop on Software Specification and Design ◽

10.1109/iwssd.1993.315516 ◽

2002 ◽

Cited By ~ 8

Author(s):

B. Nuseibeh ◽

A. Finkelstein ◽

J. Kramer

Keyword(s):

Process Modelling ◽

Fine Grain

Download Full-text

Specification approaches express different world hypotheses

Proceedings of 1993 IEEE 7th International Workshop on Software Specification and Design ◽

10.1109/iwssd.1993.315497 ◽

2002 ◽

Cited By ~ 3

Author(s):

D.A. Marca ◽

C.L. McGowan

Download Full-text

Proceedings of 1993 IEEE 7th International Workshop on Software Specification and DesignLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE Comput. Soc. Press

Bridging the requirements gap: policies, goals and domains

An incremental approach to reachability analysis of distributed programs

Specifying reactive systems with attributed finite state machines

A taxonomy of inheritance semantics

Modular reasoning about open systems: a case study of distributed commit

Towards extensible graphical formalisms

Taking more of the soft out of software engineering

Design and validation of a message-passing system

Fine-grain process modelling

Specification approaches express different world hypotheses

Proceedings of 1993 IEEE 7th International Workshop on Software Specification and Design
Latest Publications