Communicating sequential processes
Communicating sequential processes
Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Software interconnection models
ICSE '87 Proceedings of the 9th international conference on Software Engineering
The polylith software bus
Design and validation of computer protocols
Design and validation of computer protocols
Specification and design of the X.25 protocol: a case study in CSP
Developments in concurrency and communication
Regular types for active objects
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Beyond definition/use: architectural interconnection
IDL '94 Proceedings of the workshop on Interface definition languages
ICSE '93 Selected papers from the Workshop on Studies of Software Design
Formal Connectors
Interfaces, protocols, and the semi-automatic construction of software adaptors
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
Correctness and composition of software architectures
SIGSOFT '94 Proceedings of the 2nd 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
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
Correct Architecture Refinement
IEEE Transactions on Software Engineering - Special issue on software architecture
IEEE Transactions on Software Engineering - Special issue on software architecture
Research directions in software architecture
ACM Computing Surveys (CSUR)
How and why to encapsulate class trees
Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
Model checking software systems: a case study
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
An organizational learning approach to domain analysis
Proceedings of the 17th international conference on Software engineering
Architectural mismatch or why it's hard to build systems out of existing parts
Proceedings of the 17th international conference on Software engineering
Formalizing style to understand descriptions of software architecture
ACM Transactions on Software Engineering and Methodology (TOSEM)
Requirements for a layered software architecture supporting cooperative multi-user interaction
Proceedings of the 18th international conference on Software engineering
A framework for event-based software integration
ACM Transactions on Software Engineering and Methodology (TOSEM)
Dynamic structure in software architectures
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Software architecture styles as graph grammars
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
Architecture-based software testing
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
Software testing at the architectural level
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
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
Protocol specifications and component adaptors
ACM Transactions on Programming Languages and Systems (TOPLAS)
ADE—an architecture design environment for component-based software engineering
ICSE '97 Proceedings of the 19th international conference on Software engineering
Software architecture: practice, potential, and pitfalls
ICSE '94 Proceedings of the 16th international conference on Software engineering
Proceedings of the 1997 symposium on Software reusability
Representing and querying reusable object frameworks
Proceedings of the 1997 symposium on Software reusability
Specification matching of software components
ACM Transactions on Software Engineering and Methodology (TOSEM)
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
Applying static analysis to software architectures
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
WISR8: 8th annual workshop on software reuse: summary and working group reports
ACM SIGSOFT Software Engineering Notes
Customization and composition of distributed objects: middleware abstractions for policy management
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
WWW-based software architecture design support for cooperative representation and checking
ISAW '98 Proceedings of the third international workshop on Software architecture
Compositional specification of software architecture
ISAW '98 Proceedings of the third international workshop on Software architecture
Integrating architecture description languages with a standard design method
Proceedings of the 20th international conference on Software engineering
Driving the composition of runtime platforms by architectural knowledge
Proceedings of the 8th ACM SIGOPS European workshop on Support for composing distributed applications
Consistency checking for multiple view software architectures
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
Software architecture: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Software engineering for security: a roadmap
Proceedings of the Conference on The Future of Software Engineering
A complementary approach to requirements engineering—software architecture orientation
ACM SIGSOFT Software Engineering Notes
Compiler and tool support for debugging object protocols
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
Behavioural analysis of the enterprise JavaBeans component architecture
SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
The coming-of-age of software architecture research
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Modeling software architectures in the Unified Modeling Language
ACM Transactions on Software Engineering and Methodology (TOSEM)
Automated assembly of software components based on XML-coded instructions
Proceedings of the 2002 ACM symposium on Applied computing
An empirical evaluation of deadlock detection in software architecture specifications
Annals of Software Engineering
Pinnacles of software engineering: 25 years of formal methods
Annals of Software Engineering
A comparative study of formal verification techniques for software architecture specifications
Annals of Software Engineering
Reconciling the needs of architectural description with object-modeling notations
Science of Computer Programming - Special issue on unified modeling language (UML 2000)
What's Ahead for Embedded Software?
Computer
Architectural Mismatch: Why Reuse Is So Hard
IEEE Software
Architectural Mismatch: Why Reuse Is So Hard
IEEE Software
Architectural Styles, Design Patterns, and Objects
IEEE Software
Knowledge-Based Software Architectures: Acquisition, Specification, and Verification
IEEE Transactions on Knowledge and Data Engineering
Describing Software Architecture Styles Using Graph Grammars
IEEE Transactions on Software Engineering
Architecture-driven verification of concurrent systems
Nordic Journal of Computing
A Field Guide to Boxology: Preliminary Classification of Architectural Styles for Software Systems
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Monitoring Software Process Interactions: A Logic-Based Approach
EWSPT '01 Proceedings of the 8th European Workshop on Software Process Technology
Abstract State Machines for the Composition of Architectural Styles
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Process-Algebraic Foundations of Aspect-Oriented Programming
REFLECTION '01 Proceedings of the Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns
A Group Based Approach for Coordinating Active Objects
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
A Hierarchical Model for Coordination of Concurrent Activities
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
Gamma and the Chemical Reaction Model: Fifteen Years After
WMP '00 Proceedings of the Workshop on Multiset Processing: Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Architecture-Centric Software Development Based on Extended Design Spaces
Proceedings of the Second International ESPRIT ARES Workshop on Development and Evolution of Software Architectures for Product Families
Architectural Interaction Diagrams: AIDs for system modeling
Proceedings of the 25th International Conference on Software Engineering
Acme: an architecture description interchange language
CASCON '97 Proceedings of the 1997 conference of the Centre for Advanced Studies on Collaborative research
CASCON '97 Proceedings of the 1997 conference of the Centre for Advanced Studies on Collaborative research
Connector Modeling Method for Component Extraction
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
A Meta-Object Protocol for Distributed OO Applications
TOOLS '97 Proceedings of the Tools-23: Technology of Object-Oriented Languages and Systems
Deriving a Fault Architecture from Defect History
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
A Case Study in Architectural Modelling: The AEGIS System
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
A Mathematical Toolbox for the Software Architec
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Concern-driven design for a specification language supporting component-based software engineerin
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Modal Logic as a Design Notation
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Software Architecture Directed Behaviour Analysis
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Functional design and implementation of graphical user interfaces for theorem provers
Journal of Functional Programming
A translation approach to component specification
OOPSLA '02 Companion of the 17th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
DiscoTect: A System for Discovering Architectures from Running Systems
Proceedings of the 26th International Conference on Software Engineering
SPARTACAS Automating Component Reuse and Adaptation
IEEE Transactions on Software Engineering
Services-Oriented Dynamic Reconfiguration Framework for Dependable Distributed Computing
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
Management of Web Data Models Based on Graph Transformation
WI '04 Proceedings of the 2004 IEEE/WIC/ACM International Conference on Web Intelligence
Dynamically discovering architectures with DiscoTect
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
On Compatibility and Behavioural Substitutability of Component Protocols
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Specifying distributed multi-agent systems in chemical reaction metaphor
Applied Intelligence
Architectural issues in network-centric computing
ACM SIGSOFT Software Engineering Notes
Spatial graph grammars for graphical user interfaces
ACM Transactions on Computer-Human Interaction (TOCHI)
AutoGen: Easing model management through two levels of abstraction
Journal of Visual Languages and Computing
An interface mechanism for encapsulating weaving in class-based AOP
Proceedings of the 5th workshop on Software engineering properties of languages and aspect technologies
A Component-Based Systems Development Approach
Journal of Integrated Design & Process Science
Specification Of Network Embedded Software Components
Journal of Integrated Design & Process Science - Component-Based System Development
Discovering Architectures from Running Systems
IEEE Transactions on Software Engineering
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
Architecture-driven modelling and analysis
SCS '06 Proceedings of the eleventh Australian workshop on Safety critical systems and software - Volume 69
An aspect-oriented weaving mechanism based on component and connector architecture
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
ReBA: refactoring-aware binary adaptation of evolving libraries
Proceedings of the 30th international conference on Software engineering
Composable context-aware architectural connectors
Proceedings of the 1st international workshop on Software architectures and mobility
Executable Specifications for Real-Time Distributed Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
A Foundational Theory of Contracts for Multi-party Service Composition
Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
Managing Non-Functional Properties of Inter-enterprise Business Service Delivery
Service-Oriented Computing - ICSOC 2007 Workshops
Pointcut-based architectural interface for bridging a gap between design and implementation
Proceedings of the Workshop on AOP and Meta-Data for Software Evolution
Contract-Based Discovery and Composition of Web Services
Formal Methods for Web Services
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
Data constraints for validation of real-time software
SE '08 Proceedings of the IASTED International Conference on Software Engineering
Architecture-based software reliability modeling
Journal of Systems and Software
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
Model checking publish-subscribe systems
SPIN'03 Proceedings of the 10th international conference on Model checking software
Quality analysis of dependable systems: a developer oriented approach
Architecting dependable systems
Composing components with shared services in the Kmelia model
SC'08 Proceedings of the 7th international conference on Software composition
Design in CommUnity with extension morphisms
Formal methods and hybrid real-time systems
Archface: a contract place where architectural design and code meet together
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
How do architecture patterns and tactics interact? A model and annotation
Journal of Systems and Software
ORBIT: an environment for component-based heterogeneous design and analysis
ECBS'99 Proceedings of the 1999 IEEE conference on Engineering of computer-based systems
Using automatable proof obligations for component-based design checking
ECBS'99 Proceedings of the 1999 IEEE conference on Engineering of computer-based systems
Representing abstract architectures with axiomatic specifications and activation conditions
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
Acme: an architecture description interchange language
CASCON First Decade High Impact Papers
Towards dynamically communicating abstract machines in the b method
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
2/3 alternating simulation between interface automata
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
A connector interaction for software component composition with message central processing
GCC'05 Proceedings of the 4th international conference on Grid and Cooperative Computing
Embedded Systems Design
FAABS'04 Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems
Enforcing distributed information flow policies architecturally: the SAID approach
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
Transformation from CIM to PIM: a feature-oriented component-based approach
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Architectural point mapping for design traceability
Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages
Fault injection approach based on architectural dependencies
Architecting Dependable Systems III
Interoperability in service-based communities
BPM'05 Proceedings of the Third international conference on Business Process Management
A Foundational Theory of Contracts for Multi-party Service Composition
Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
Software—Practice & Experience
CIAO: a component model and its OSGi framework for dynamically adaptable telephony applications
Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering
Archface4COP: architectural interface for context-oriented programming
Proceedings of the 5th International Workshop on Context-Oriented Programming
Hi-index | 0.00 |