Communicating sequential processes
Communicating sequential processes
Module interconnection languages
Journal of Systems and Software
Statecharts: A visual formalism for complex systems
Science of Computer Programming
ANNA, a language for annotating Ada programs: reference manual
ANNA, a language for annotating Ada programs: reference manual
The Z notation: a reference manual
The Z notation: a reference manual
ACM Computing Surveys (CSUR)
Foundations for the study of software architecture
ACM SIGSOFT Software Engineering Notes
The CODE 2.0 graphical parallel programming language
ICS '92 Proceedings of the 6th international conference on Supercomputing
Partial orderings of event sets and their application to prototyping concurrent, timed systems
Journal of Systems and Software - Special issue on applying specification, verification, and validation techniques to industrial software systems
A calculus of mobile processes, II
Information and Computation
Using style to understand descriptions of software architecture
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Exploiting style in architectural design environments
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Abstractions for Software Architecture and Tools to Support Them
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
Correct Architecture Refinement
IEEE Transactions on Software Engineering - Special issue on software architecture
IEEE Transactions on Software Engineering - Special issue on software architecture
Summary of the Dagstuhl workshop on software architecture
ACM SIGSOFT Software Engineering Notes
Architectural mismatch or why it's hard to build systems out of existing parts
Proceedings of the 17th international conference on Software engineering
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Dynamic structure in software architectures
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Using object-oriented typing to support architectural design in the C2 style
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
ADLs and dynamic architecture changes
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
Style-based refinement for software architecture
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
HLA: a standards effort as architectural style
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
Succeedings of the second international software architecture workshop (ISAW-2)
ACM SIGSOFT Software Engineering Notes
Formalizing architectural connection
ICSE '94 Proceedings of the 16th international conference on Software engineering
Reuse of off-the-shelf components in C2-style architectures
Proceedings of the 1997 symposium on Software reusability
An Event-Based Architecture Definition Language
IEEE Transactions on Software Engineering
Specifying Distributed Software Architectures
Proceedings of the 5th European Software Engineering Conference
An Introduction to the Theoretical Aspects of Coloured Petri Nets
A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium
A Survey of Architecture Description Languages
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Formal Connectors
Three Concepts of System Architecture
Three Concepts of System Architecture
Change analysis in an architectural model: a design rationale based approach
ISAW '98 Proceedings of the third international workshop on Software architecture
An architecture for constructing self-evolving software systems
ISAW '98 Proceedings of the third international workshop on Software architecture
Versioned software architecture
ISAW '98 Proceedings of the third international workshop on Software architecture
Multi-view description of software architectures
ISAW '98 Proceedings of the third international workshop on Software architecture
Separating fact from fiction in software architecture
ISAW '98 Proceedings of the third international workshop on Software architecture
WWAC: WinWin abstraction based decision coordination
WACC '99 Proceedings of the international joint conference on Work activities coordination and collaboration
Integrating architecture description languages with a standard design method
Proceedings of the 20th international conference on Software engineering
Using off-the-shelf middleware to implement connectors in distributed software architectures
Proceedings of the 21st international conference on Software engineering
A language and environment for architecture-based software development and evolution
Proceedings of the 21st international conference on Software engineering
An architectural style for multiple real-time data feeds
Proceedings of the 21st international conference on Software engineering
The CIP method: component- and model-based construction of embedded systems
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
ROSATEA: International Workshop on the Role of Software Architecture in Analysis E(and) Testing
ACM SIGSOFT Software Engineering Notes
Software architecture: a roadmap
Proceedings of the Conference on The Future of Software Engineering
The role of software architecture in constraining adaptation incomponent-based middleware platforms
IFIP/ACM International Conference on Distributed systems platforms
Dynamic coordination architecture through the use of reflection
Proceedings of the 2001 ACM symposium on Applied computing
Designing components versus objects: a transformational approach
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
The coming-of-age of software architecture research
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
An application framework for dynamic distributed software architectures
Progress in computer research
An application framework for dynamic distributed software architectures
Progress in computer research
Evaluating software architectures by coloured petri nets
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
An empirical evaluation of deadlock detection in software architecture specifications
Annals of Software Engineering
A comparative study of formal verification techniques for software architecture specifications
Annals of Software Engineering
A Theory of Object-Oriented Design
Information Systems Frontiers
Defining Open Software Architectures for Customized Remote Execution of Web Agents
Autonomous Agents and Multi-Agent Systems
Analyzing Non-functional Properties of Mobile Agents
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Architecture Support for System-of-Systems Evolution
EDCIS '02 Proceedings of the First International Conference on Engineering and Deployment of Cooperative Information Systems
Middleware '01 Proceedings of the IFIP/ACM International Conference on Distributed Systems Platforms Heidelberg
Coordinating Software Evolution via Two-Tier Programming
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Component-Based Programming of Distributed Applications
Advances in Distributed Systems, Advanced Distributed Computing: From Algorithms to Systems
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
Composition and interfaces within software architecture
CASCON '98 Proceedings of the 1998 conference of the Centre for Advanced Studies on Collaborative research
Towards preserving correctness in self-managed software systems
WOSS '04 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems
A framework for analyzing exception flow in software architectures
WADS '05 Proceedings of the 2005 workshop on Architecting dependable systems
The Golden Age of Software Architecture
IEEE Software
Concerns On Architecture-Centered Software Development: A Survey
Journal of Integrated Design & Process Science
Semantic model-driven architecting of service-based software systems
Information and Software Technology
Domains of concern in software architectures and architecture description languages
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
An aspect-oriented weaving mechanism based on component and connector architecture
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Towards the development of a rigorous model-driven domain-specific software engineering environment
ACST'07 Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology
Processor Description Languages
Processor Description Languages
Ontology-based modelling of architectural styles
Information and Software Technology
OTM '09 Proceedings of the Confederated International Workshops and Posters on On the Move to Meaningful Internet Systems: ADI, CAMS, EI2N, ISDE, IWSSA, MONET, OnToContent, ODIS, ORM, OTM Academy, SWWS, SEMELS, Beyond SAWSDL, and COMBEK 2009
A Rewriting Semantics for a Software Architecture Description Language
Electronic Notes in Theoretical Computer Science (ENTCS)
A logical basis for the specification of reconfigurable component-based systems
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Reconciling the needs of architectural description with object-modeling notations
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Modeling of architectures with UML panel
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
From goals to high-variability software design
ISMIS'08 Proceedings of the 17th international conference on Foundations of intelligent systems
Unifying software architecture with its implementation
Proceedings of the Fourth European Conference on Software Architecture: Companion Volume
A language for formal design of embedded intelligence research systems
Robotics and Autonomous Systems
A design perspective on modularity
Proceedings of the tenth international conference on Aspect-oriented software development
Layered patterns in modelling and transformation of service-based software architectures
EWSA'06 Proceedings of the Third European conference on Software Architecture
Utilising alternative application configurations in context- and qos-aware mobile middleware
DAIS'06 Proceedings of the 6th IFIP WG 6.1 international conference on Distributed Applications and Interoperable Systems
Handling dynamic behaviour in software architectures
EWSA'05 Proceedings of the 2nd European conference on Software Architecture
A CORBA-Based dynamic reconfigurable middleware
ICCNMC'05 Proceedings of the Third international conference on Networking and Mobile Computing
Semantic-Based policy engineering for autonomic systems
WAC'04 Proceedings of the First international IFIP conference on Autonomic Communication
Layered ontological modelling for web service-oriented model-driven architecture
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
Ontology transformation and reasoning for model-driven architecture
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
Reasoning about exception flow at the architectural level
Rigorous Development of Complex Fault-Tolerant Systems
MADCAR: an abstract model for dynamic and automatic (re-)assembling of component-based applications
CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering
A coordination-based model-driven method for parallel application development
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
Integrating architecture description languages: a semantics-based approach
ICDCIT'05 Proceedings of the Second international conference on Distributed Computing and Internet Technology
Modeling dynamic architectures using Dy-BIP
SC'12 Proceedings of the 11th international conference on Software Composition
Stitch: A language for architecture-based self-adaptation
Journal of Systems and Software
An ontology-based approach for modelling architectural styles
ECSA'07 Proceedings of the First European conference on Software Architecture
Foundations and tools for end-user architecting
Proceedings of the 17th Monterey conference on Large-Scale Complex IT Systems: development, operation and management
Challenges for SoS architecture description
Proceedings of the First International Workshop on Software Engineering for Systems-of-Systems
Hi-index | 0.00 |