Module interconnection languages
Journal of Systems and Software
The Z notation: a reference manual
The Z notation: a reference manual
Object-oriented programming: an objective sense of style
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
Contracts: specifying behavioral compositions in object-oriented systems
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Foundations for the study of software architecture
ACM SIGSOFT Software Engineering Notes
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
A Syntactic Theory of Software Architecture
IEEE Transactions on Software Engineering - Special issue on software architecture
Specification and Analysis of System Architecture Using Rapide
IEEE Transactions on Software Engineering - Special issue on software architecture
Pattern languages of program design
Pattern languages of program design
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
ACM Computing Surveys (CSUR)
Pattern-oriented software architecture: a system of patterns
Pattern-oriented software architecture: a system of patterns
Software architecture in practice
Software architecture in practice
The Unified Modeling Language user guide
The Unified Modeling Language user guide
Proceedings of the 20th international conference on Software engineering
Visual modeling with Rational Rose 2000 and UML (2nd ed.)
Visual modeling with Rational Rose 2000 and UML (2nd ed.)
Pattern-Oriented Software Architecture: Patterns for Concurrent and Networked Objects
Pattern-Oriented Software Architecture: Patterns for Concurrent and Networked Objects
A Theory of Object-Oriented Design
Information Systems Frontiers
Architectural Styles, Design Patterns, and Objects
IEEE Software
Precise Visual Specification of Design Patterns
ECCOP '98 Proceedings of the 12th European Conference on Object-Oriented Programming
Acme: an architecture description interchange language
CASCON '97 Proceedings of the 1997 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
Embedded Software Engineering: The State of the Practice
IEEE Software
Plan validation via petri nets in the real-time performers Java framework
Proceedings of the 2005 ACM symposium on Applied computing
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A survey of architecture design rationale
Journal of Systems and Software
Software reengineering with architecture decomposition
Proceedings of the 2007 ACM symposium on Applied computing
Inferring structural patterns for concern traceability in evolving software
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Rule-based architectural compliance checks for enterprise architecture management
EDOC'09 Proceedings of the 13th IEEE international conference on Enterprise Distributed Object Computing
Applying empirical software engineering to software architecture: challenges and lessons learned
Empirical Software Engineering
Checking architectural compliance in component-based systems
Proceedings of the 2010 ACM Symposium on Applied Computing
An architecturally-evident coding style: making your design visible in your code
Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion
AMT'12 Proceedings of the 8th international conference on Active Media Technology
Hi-index | 0.00 |
The terms architecture, design, and implementation are typically used informally in partitioning software specifications into three coarse strata of abstraction. Yet these strata are not well-defined in either research or practice, causing miscommunication and needless debate.To remedy this problem we formalize the Intension and the Locality criteria, which imply that the distinction between architecture, design, and implementation is qualitative and not merely quantitative. We demonstrate that architectural styles are intensional and non-local; that design patterns are intensional and local; and that implementations are extensional and local.