A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Formal modeling and analysis of the HLA component integration standard
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Reactive dynamic architectures
ISAW '98 Proceedings of the third international workshop on Software architecture
Expressiveness in architecture description languages
ISAW '98 Proceedings of the third international workshop on Software architecture
An approach to architectural analysis and testing
ISAW '98 Proceedings of the third international workshop on Software architecture
Architecture abstraction tower
ISAW '98 Proceedings of the third international workshop on Software architecture
On assessing the complexity of software architectures
ISAW '98 Proceedings of the third international workshop on Software architecture
Exploiting ADLs to specify architectural styles induced by middleware infrastructures
Proceedings of the 21st international conference on Software engineering
Modeling and analyzing software architectures
Proceedings of the 21st international conference on Software engineering
A Classification and Comparison Framework for Software Architecture Description Languages
IEEE Transactions on Software Engineering
Avoiding Packaging Mismatch with Flexible Packaging
IEEE Transactions on Software Engineering - Special issue on 1999 international conference on software engineering
DocEng '01 Proceedings of the 2001 ACM Symposium on Document engineering
Modeling software architectures in the Unified Modeling Language
ACM Transactions on Software Engineering and Methodology (TOSEM)
An application framework for dynamic distributed software architectures
Progress in computer research
An application framework for dynamic distributed software architectures
Progress in computer research
Exploiting architectural design knowledge to support self-repairing systems
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
Modeling Architecture Description Languages Using AML
Automated Software Engineering
Agent cooperation based control integration by activity-sharing and joint intention
Journal of Computer Science and Technology
Behavior Protocols for Software Components
IEEE Transactions on Software Engineering
Mapping an ADL to a Component-Based Application Development Environment
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Using the TrustME Tool Suite for Automatic Component Protocol Adaptation
ICCS '02 Proceedings of the International Conference on Computational Science-Part II
Formal Modeling of Service Session Management
MMNS '02 Proceedings of the 5th IFIP/IEEE International Conference on Management of Multimedia Networks and Services: Management of Multimedia on the Internet
Logic for Component-Based Software Development
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Type-Safe Prototype-Based Component Evolution
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
Architectural Frameworks: Defining the Contents of Architectural Descriptions
Ada-Europe '99 Proceedings of the 1999 Ada-Europe International Conference on Reliable Software Technologies
Distributed Component System Based on Architecture Description: The SOFA Experience
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
On Components with Explicit Protocols Satisfying a Notion of Correctness by Construction
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Acme-Based Software Architecture Interchange
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
Coordination in a Reflective Architecture Description Language
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Integrating the ConcernBASE Approach with SADL
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Component-Based Programming of Distributed Applications
Advances in Distributed Systems, Advanced Distributed Computing: From Algorithms to Systems
Architectures of Enterprise Systems: Modelling Transactional Contexts
CD '02 Proceedings of the IFIP/ACM Working Conference on Component Deployment
Formal Modeling of the Enterprise JavaBeansTM Component Integration Framework
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
A Strategy for Testing MetaObject Protocols in Reflective Architectures
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
Towards a Descriptive Approach to Model Adaptable Communication Environments
ICN '01 Proceedings of the First International Conference on Networking-Part 2
The Specification of UML Collaborations as Interaction Components
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
Change impact analysis to support architectural evolution
Journal of Software Maintenance: Research and Practice - Special issue: Separation of concerns for software evolution
Bounding Component Behavior via Protocols
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
Revealing component properties through architectural styles
Journal of Systems and Software - Special issue on: Component-based software engineering
Modeling and validation of service-oriented architectures: application vs. style
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Automated Software Engineering
ACM SIGSOFT Software Engineering Notes
A data-centric approach to composing embedded, real-time software components
Journal of Systems and Software - Special issue: Automated component-based software engineering
Towards a unified formal model for supporting mechanisms of dynamic component update
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Failure modelling in software architecture design for safety
WADS '05 Proceedings of the 2005 workshop on Architecting dependable systems
KERIS: evolving software with extensible modules: Research Articles
Journal of Software Maintenance and Evolution: Research and Practice - Unanticipated Software Evolution
A Framework to Specify Incremental Software Architecture Transformations
EUROMICRO '05 Proceedings of the 31st EUROMICRO Conference on Software Engineering and Advanced Applications
A Strategy for the Formal Composition of Frameworks
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
MobiGATE: A Mobile Computing Middleware for the Active Deployment of Transport Services
IEEE Transactions on Software Engineering
ACM SIGSOFT Software Engineering Notes
Component-interaction automata as a verification-oriented component-based system specification
SAVCBS '05 Proceedings of the 2005 conference on Specification and verification of component-based systems
π-Method: a model-driven formal method for architecture-centric software engineering
ACM SIGSOFT Software Engineering Notes
Timing fault detection for safety-critical real-time embedded systems
EW 10 Proceedings of the 10th workshop on ACM SIGOPS European workshop
AVDL: a highly adaptable architecture view description language
Journal of Systems and Software
Proceedings of the 38th conference on Winter simulation
Moving architectural description from under the technology lamppost
Information and Software Technology
Software systems in-house integration: Architecture, process practices, and strategy selection
Information and Software Technology
Revisiting a Formal Framework for Modeling Aspects in the Design Phase
EARLYASPECTS '07 Proceedings of the Early Aspects at ICSE: Workshops in Aspect-Oriented Requirements Engineering and Architecture Design
Modeling Environment for Component Model Checking from Hierarchical Architecture
Electronic Notes in Theoretical Computer Science (ENTCS)
Architecture-driven modelling and analysis
SCS '06 Proceedings of the eleventh Australian workshop on Safety critical systems and software - Volume 69
A mapping from AADL to Java-RTSJ
JTRES '07 Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems
Foundations of a simple and unified component-oriented language
Computer Languages, Systems and Structures
Regression testing based-on slicing of component-based software architectures
ISEC '08 Proceedings of the 1st India software engineering conference
View composition in multiagent architectures
International Journal of Agent-Oriented Software Engineering
Framework composition conformance via refinement checking
Proceedings of the 2008 ACM symposium on Applied computing
Search-based many-to-one component substitution
Journal of Software Maintenance and Evolution: Research and Practice - Search Based Software Engineering [SBSE]
Enhanced connectors to support hierarchical dependencies in software architecture
NOTERE '08 Proceedings of the 8th international conference on New technologies in distributed systems
The Common Component Modeling Example
A Large Scope Transformational Approach for Distributed Architecture Design
ECSA '08 Proceedings of the 2nd European conference on Software Architecture
A Case Study in Parallel Verification of Component-Based Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Architectural Specification and Static Analyses of Contractual Application Properties
QoSA '08 Proceedings of the 4th International Conference on Quality of Software-Architectures: Models and Architectures
A development framework for component-based agent-oriented business services
International Journal of Agent-Oriented Software Engineering
Dynamic Consistency in Process Algebra: From Paradigm to ACP
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal methods: Practice and experience
ACM Computing Surveys (CSUR)
Software architecture built from behavior models
ACM SIGSOFT Software Engineering Notes
Quality-driven architecture development using architectural tactics
Journal of Systems and Software
A generative programming approach to developing pervasive computing systems
GPCE '09 Proceedings of the eighth international conference on Generative programming and component engineering
A model-driven approach to weave architectural styles into service-oriented architectures
Proceedings of the first international workshop on Model driven service engineering and data quality and security
A Software Architecture-Based Approach for Formalising Middleware Behaviour
Electronic Notes in Theoretical Computer Science (ENTCS)
An architectural description language for secure Multi-Agent Systems
Web Intelligence and Agent Systems
A family of languages for architecture constraint specification
Journal of Systems and Software
Conformance notions for the coordination of interaction components
Science of Computer Programming
Versatile system-level memory-aware platform description approach for embedded MPSoCs
Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems
SCL: a simple, uniform and operational language for component-oriented programming in smalltalk
ISC'06 Proceedings of the 14th international conference on Advances in smalltalk
Towards a UML profile for software architecture descriptions
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Increasing system dependability through architecture-based self-repair
Architecting dependable systems
Specification: level integration of simulation and dependability analysis
Architecting dependable systems
Automated and unanticipated flexible component substitution
CBSE'07 Proceedings of the 10th international conference on Component-based software engineering
A multi-stage approach for reliable dynamic reconfigurations of component-based systems
DAIS'08 Proceedings of the 8th IFIP WG 6.1 international conference on Distributed applications and interoperable systems
Design in CommUnity with extension morphisms
Formal methods and hybrid real-time systems
Architecture analysis of enterprise systems modifiability - Models, analysis, and validation
Journal of Systems and Software
A new approach for component's port modeling in software architecture
Journal of Systems and Software
Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies
Electronic Notes in Theoretical Computer Science (ENTCS)
How do architecture patterns and tactics interact? A model and annotation
Journal of Systems and Software
RETRACTED: Specification and verification of dynamic evolution of software architectures
Journal of Systems Architecture: the EUROMICRO Journal
Software architecture constraints as customizable, reusable and composable entities
ECSA'10 Proceedings of the 4th European conference on Software architecture
MMSA: metamodel multimedia software architecture
Advances in Multimedia
Component-based specification of software architecture constraints
Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering
A tile logic-based semantics for mobile software architectures
International Journal of Critical Computer-Based Systems
Assuring architectural properties during compositional architecture design
SC'11 Proceedings of the 10th international conference on Software composition
A constructive approach to compositional architecture design
ECSA'11 Proceedings of the 5th European conference on Software architecture
Towards more flexible architecture description languages for industrial applications
EWSA'06 Proceedings of the Third European conference on Software Architecture
A gradually proceeded software architecture design process
SPW'05 Proceedings of the 2005 international conference on Unifying the Software Process Spectrum
Research on modeling and description of software architecture of cooperation-oriented system
PRIMA'06 Proceedings of the 9th Pacific Rim international conference on Agent Computing and Multi-Agent Systems
Specifying self-configurable component-based systems with fractoy
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Handling dynamic behaviour in software architectures
EWSA'05 Proceedings of the 2nd European conference on Software Architecture
Multi-view refinement of AO-connectors in distributed software systems
Proceedings of the 11th annual international conference on Aspect-oriented Software Development
A java implementation of a component model with explicit symbolic protocols
SC'05 Proceedings of the 4th international conference on Software Composition
Component-based software engineering
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Dynamic reconfiguration and access to services in hierarchical component models
CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering
A tile logic based semantics for mobile software architectures
VECoS'10 Proceedings of the Fourth international conference on Verification and Evaluation of Computer and Communication Systems
On the use of real-time maude for architecture description and verification: a case study
VoCS'08 Proceedings of the 2008 international conference on Visions of Computer Science: BCS International Academic Conference
Applying formal description techniques to software architectural design
Computer Communications
Architectural description of embedded systems: a systematic review
Proceedings of the 3rd international ACM SIGSOFT symposium on Architecting Critical Systems
Task-level data model for hardware synthesis based on concurrent collections
Journal of Electrical and Computer Engineering - Special issue on ESL Design Methodology
Dynamic service composition and deployment with openrichservices
Software Service and Application Engineering
A three-level component model in component based software development
Proceedings of the 11th International Conference on Generative Programming and Component Engineering
What is software architecture?
Proceedings of the South African Institute for Computer Scientists and Information Technologists Conference
FIESTA: a generic framework for integrating new functionalities into software architectures
ECSA'07 Proceedings of the First European conference on Software Architecture
Hierarchical verification in maude of Lf P software architectures
ECSA'07 Proceedings of the First European conference on Software Architecture
The state of the art and future perspectives in systems of systems software architectures
Proceedings of the First International Workshop on Software Engineering for Systems-of-Systems
International Journal of Distributed Systems and Technologies
Composition-Centered architectural pattern description language
ECSA'13 Proceedings of the 7th European conference on Software Architecture
Transactions on Aspect-Oriented Software Development X
Variability viewpoint to describe reference architectures
Proceedings of the WICSA 2014 Companion Volume
Hi-index | 0.00 |