Connecting viewpoints by shared phenomena

Authors:
Michael Jackson
Affiliations:
AT&T Research, Murray Hill NJ and MAJ Consulting Ltd, 101 Hamilton Terrace London NW8 9QY England
Venue:
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
Year:
1996

Communicating sequential processes

Communicating sequential processes
Deriving specifications from requirements

ICSE '88 Proceedings of the 10th international conference on Software engineering
Conjunction as composition

ACM Transactions on Software Engineering and Methodology (TOSEM)
Software requirements & specifications: a lexicon of practice, principles and prejudices

Software requirements & specifications: a lexicon of practice, principles and prejudices
Deriving specifications from requirements: an example

Proceedings of the 17th international conference on Software engineering
Structuring Z specifications with views

ACM Transactions on Software Engineering and Methodology (TOSEM)

Hi-index	0.00