Refining by architectural styles or architecting by refinements

Authors:
Carlo Montangero;Laura Semini
Affiliations:
Dipartimento di Informatica, Università di Pisa, corso Italia 40, 56125 Pisa, Italy;Dipartimento di Informatica, Università di Pisa, corso Italia 40, 56125 Pisa, Italy
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

Programs are predicates

Proc. of a discussion meeting of the Royal Society of London on Mathematical logic and programming languages
OIKOS: constructing process-centred SDEs

Software process modelling and technology
Correct Architecture Refinement

IEEE Transactions on Software Engineering - Special issue on software architecture
Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model

IEEE Transactions on Software Engineering - Special issue on software architecture
A Case Study in Architectural Modelling: The AEGIS System

IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design

ROSATEA: International Workshop on the Role of Software Architecture in Analysis E(and) Testing

ACM SIGSOFT Software Engineering Notes
Composing Specifications for Coordination

COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models

Hi-index	0.00