The Z notation: a reference manual
The Z notation: a reference manual
Reconciling environment integration and software evolution
ACM Transactions on Software Engineering and Methodology (TOSEM)
Adding implicit invocation to traditional programming languages
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Tutorial on Software Design Techniques
Tutorial on Software Design Techniques
A Formal Approach to Software Architectures
Proceedings of the IFIP 12th World Computer Congress on Algorithms, Software, Architecture - Information Processing '92, Volume 1 - Volume I
Formalizing Design Spaces: Implicit Invocation Mechanisms
VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume I: Conference Contributions - Volume I
Towards Formalized Software Architectures
Towards Formalized Software Architectures
Exploiting style in architectural design environments
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Defining reference models and software architectural styles for cooperative systems
ACM SIGOIS Bulletin - Special issue: workshop write-ups and positions papers from CSCW'94
A Syntactic Theory of Software Architecture
IEEE Transactions on Software Engineering - Special issue on software architecture
Abstractions for Software Architecture and Tools to Support Them
IEEE Transactions on Software Engineering - Special issue on software architecture
Research directions in software architecture
ACM Computing Surveys (CSUR)
Architectural mismatch or why it's hard to build systems out of existing parts
Proceedings of the 17th international conference on Software engineering
Reverse engineering to the architectural level
Proceedings of the 17th international conference on Software engineering
Software architecture styles as graph grammars
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Capturing design expertise in software architecture design environments
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
Evolution of a software architecture for management information systems
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
Designing distributed applications with mobile code paradigms
ICSE '97 Proceedings of the 19th international conference on Software engineering
SAAM: a method for analyzing the properties of software architectures
ICSE '94 Proceedings of the 16th international conference on Software engineering
Software architecture: practice, potential, and pitfalls
ICSE '94 Proceedings of the 16th international conference on Software engineering
Design Recovery for Distributed Systems
IEEE Transactions on Software Engineering
A framework for classifying and comparing architecture description languages
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
IEEE Transactions on Software Engineering
Performance evaluation of software architectures
Proceedings of the 1st international workshop on Software and performance
A Classification and Comparison Framework for Software Architecture Description Languages
IEEE Transactions on Software Engineering
Software architecture: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Proceedings of the 2nd international workshop on Software and performance
Reusable component interconnection patterns for distributed software architectures
SSR '01 Proceedings of the 2001 symposium on Software reusability: putting software reuse in context
The coming-of-age of software architecture research
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Pinnacles of software engineering: 25 years of formal methods
Annals of Software Engineering
Extending Design Environments to Software Architecture Design
Automated Software Engineering
A Theory of Object-Oriented Design
Information Systems Frontiers
Architectural Mismatch: Why Reuse Is So Hard
IEEE Software
Architectural Mismatch: Why Reuse Is So Hard
IEEE Software
The 4+1 View Model of Architecture
IEEE Software
Architectural Styles, Design Patterns, and Objects
IEEE Software
Describing Software Architecture Styles Using Graph Grammars
IEEE Transactions on Software Engineering
The Architectural Style of Component Programming
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
ABC/ADL: An ADL Supporting Component Composition
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Software Architecture-Based Adaptation for Pervasive Systems
ARCS '02 Proceedings of the International Conference on Architecture of Computing Systems: Trends in Network and Pervasive Computing
An approach to building quality into software architecture
CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
Principles in formal specification of object oriented design and architecture
CASCON '01 Proceedings of the 2001 conference of the Centre for Advanced Studies on Collaborative research
Model Checking Implicit-Invocation Systems
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
A Case Study in Architectural Modelling: The AEGIS System
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Functional design and implementation of graphical user interfaces for theorem provers
Journal of Functional Programming
A mobile agent approach to dynamic architecture-based software adaptation
ACM SIGSOFT Software Engineering Notes
Architectural issues in network-centric computing
ACM SIGSOFT Software Engineering Notes
A Methodology for Architectural Design of Concurrent and Distributed Software Systems
The Journal of Supercomputing
Software systems in-house integration: Architecture, process practices, and strategy selection
Information and Software Technology
Concerns On Architecture-Centered Software Development: A Survey
Journal of Integrated Design & Process Science
Software Design and Architecture The once and future focus of software engineering
FOSE '07 2007 Future of Software Engineering
GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
XSED --- XML-Based Description of Status---Event Components and Systems
Engineering Interactive Systems
Model checking publish-subscribe systems
SPIN'03 Proceedings of the 10th international conference on Model checking software
Science of Computer Programming
Analyzing architectural styles
Journal of Systems and Software
Architectural reuse in software systems in-house integration and merge – experiences from industry
QoSA'05 Proceedings of the First international conference on Quality of Software Architectures and Software Quality, and Proceedings of the Second International conference on Software Quality
How to implement software connectors? a reusable, abstract and adaptable connector
DAIS'05 Proceedings of the 5th IFIP WG 6.1 international conference on Distributed Applications and Interoperable Systems
Behavior-preserving refinement relations between dynamic software architectures
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Reuse in semantic applications
Proceedings of the First international conference on Reasoning Web
Two ways of implementing software connections among distributed components
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, COA, and ODBASE - Volume Part II
Reliable dynamic reconfigurations in a reflective component model
CBSE'10 Proceedings of the 13th international conference on Component-Based Software Engineering
| Hi-index | 0.00 |
The software architecture of most systems is described informally and diagrammatically. In order for these descriptions to be meaningful at all, figures are understood by interpreting the boxes and lines in specific, conventionalized ways[5]. The imprecision of these interpretations has a number of limitations. In this paper we consider these conventionalized interpretations as architectural styles and provide a formal framework for their uniform definition. In addition to providing a template for precisely defining new architectural styles, this framework allows for the proof that the notational constraints on a style are sufficient to guarantee the meanings of all described systems and provides a unified semantic base through which different stylistic interpretations can be compared.