Software architecture styles as graph grammars
- 1 October 1996
- proceedings article
- Published by Association for Computing Machinery (ACM)
Abstract
No abstract availableThis publication has 18 references indexed in Scilit:
- Specification and analysis of system architecture using RapideIEEE Transactions on Software Engineering, 1995
- Abstractions for software architecture and tools to support themIEEE Transactions on Software Engineering, 1995
- Correct architecture refinementIEEE Transactions on Software Engineering, 1995
- Formal specification and analysis of software architectures using the chemical abstract machine modelIEEE Transactions on Software Engineering, 1995
- Formulations and formalisms in software architecturePublished by Springer Nature ,1995
- Using style to understand descriptions of software architectureACM SIGSOFT Software Engineering Notes, 1993
- Regular types for active objectsACM SIGPLAN Notices, 1993
- Programming by multiset transformationCommunications of the ACM, 1993
- A model for distributed systems based on graph rewritingJournal of the ACM, 1987
- Formal Models for Computer SecurityACM Computing Surveys, 1981