Proceedings Ninth International Workshop on Software Specification and Design
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE Comput. Soc

0818684399

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Towards an algebra of architectural connectors: a case study on synchronization for mobility

Proceedings Ninth International Workshop on Software Specification and Design ◽

10.1109/iwssd.1998.667928 ◽

2002 ◽

Cited By ~ 8

Author(s):

M. Wermelinger ◽

J.L. Fiadeiro

Download Full-text

A coordination model to specify systems including mobile agents

Proceedings Ninth International Workshop on Software Specification and Design ◽

10.1109/iwssd.1998.667924 ◽

2002 ◽

Cited By ~ 1

Author(s):

P. Ciancarini ◽

F. Franze ◽

C. Mascolo

Keyword(s):

Mobile Agents ◽

Coordination Model

Download Full-text

From early to late formal requirements: a process-control case study

Proceedings Ninth International Workshop on Software Specification and Design ◽

10.1109/iwssd.1998.667917 ◽

2002 ◽

Cited By ~ 15

Author(s):

E. Dubois ◽

E. Yu ◽

M. Petit

Keyword(s):

Process Control ◽

Control Case ◽

Formal Requirements

Download Full-text

Business rules as organizational policies

Proceedings Ninth International Workshop on Software Specification and Design ◽

10.1109/iwssd.1998.667921 ◽

2002 ◽

Cited By ~ 15

Author(s):

J.C.S. do Prado Leite ◽

M.C. Leonardi

Keyword(s):

Business Rules ◽

Organizational Policies

Download Full-text

Specification and implementation of a distributed planning and information system for courses based on story driven modelling

Proceedings Ninth International Workshop on Software Specification and Design ◽

10.1109/iwssd.1998.667922 ◽

2002 ◽

Cited By ~ 5

Author(s):

J.H. Jahnke ◽

A. Zundorf

Keyword(s):

Information System ◽

Distributed Planning ◽

Specification And Implementation

Download Full-text

Feature engineering [software development]

Proceedings Ninth International Workshop on Software Specification and Design ◽

10.1109/iwssd.1998.667935 ◽

2002 ◽

Cited By ~ 11

Author(s):

C.R. Turner ◽

A. Fuggetta ◽

L. Lavazza ◽

A.L. Wolf

Keyword(s):

Software Development ◽

Feature Engineering ◽

Engineering Software

Download Full-text

Traceability and modularity in software design

Proceedings Ninth International Workshop on Software Specification and Design ◽

10.1109/iwssd.1998.667923 ◽

2002 ◽

Cited By ~ 3

Author(s):

R. Wieringa

Keyword(s):

Software Design

Download Full-text

DESCARTES: an automatic programming system for algorithmically simple programs

Proceedings Ninth International Workshop on Software Specification and Design ◽

10.1109/iwssd.1998.667925 ◽

2002 ◽

Cited By ~ 1

Author(s):

B. Ginoux ◽

J.-L. Dormoy ◽

C. Jimenez-Dominguez ◽

J.-Y. Lucas ◽

L. Pierre

Keyword(s):

Programming System ◽

Automatic Programming

Download Full-text

Towards a software engineering approach to Web site development

Proceedings Ninth International Workshop on Software Specification and Design ◽

10.1109/iwssd.1998.667914 ◽

2002 ◽

Cited By ~ 20

Author(s):

F. Coda ◽

C. Ghezzi ◽

G. Vigna ◽

F. Garzotto

Keyword(s):

Software Engineering ◽

Web Site ◽

Engineering Approach ◽

Site Development

Download Full-text

Methodological support for requirements elicitation and formal specification

Proceedings Ninth International Workshop on Software Specification and Design ◽

10.1109/iwssd.1998.667932 ◽

2002 ◽

Cited By ~ 2

Author(s):

M. Heisel ◽

J. Souquieres

Keyword(s):

Formal Specification ◽

Requirements Elicitation

Download Full-text

Proceedings Ninth International Workshop on Software Specification and DesignLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE Comput. Soc

Towards an algebra of architectural connectors: a case study on synchronization for mobility

A coordination model to specify systems including mobile agents

From early to late formal requirements: a process-control case study

Business rules as organizational policies

Specification and implementation of a distributed planning and information system for courses based on story driven modelling

Feature engineering [software development]

Traceability and modularity in software design

DESCARTES: an automatic programming system for algorithmically simple programs

Towards a software engineering approach to Web site development

Methodological support for requirements elicitation and formal specification

Proceedings Ninth International Workshop on Software Specification and Design
Latest Publications