Modeling concurrency with partial orders
International Journal of Parallel Programming
Task sequencing language for specifying distributed Ada systems
Volume II: Parallel Languages on PARLE: Parallel Architectures and Languages Europe
Graphical Configuration Programming
Computer
The annotated C++ reference manual
The annotated C++ reference manual
An extension of standard ML modules with subtyping and inheritance
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Exploiting locality in maintaining potential causality
PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
Logical Time in Distributed Computing Systems
Computer - Distributed computing systems: separate resources acting as one
Foundations for the study of software architecture
ACM SIGSOFT Software Engineering Notes
Automated analysis of discrete event simulations using event pattern mappings
Automated analysis of discrete event simulations using event pattern mappings
Validating discrete event simulations using event pattern mappings
DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
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 type system for prototyping languages
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Polymorphism and subtyping in interface
IDL '94 Proceedings of the workshop on Interface definition languages
Correctness and composition of software architectures
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Executable formal models of distributed transaction systems based on event processing
Executable formal models of distributed transaction systems based on event processing
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Communicating sequential processes
Communications of the ACM
Programming with Specifications: An Introduction to Anna, a Language for Specifying ADA Programs
Programming with Specifications: An Introduction to Anna, a Language for Specifying ADA Programs
Transaction Processing: Concepts and Techniques
Transaction Processing: Concepts and Techniques
The VERILOG Hardware Description Language
The VERILOG Hardware Description Language
The Definition of Standard ML
Specifying Concurrent Systems with TSL
IEEE Software
Task Sequencing Languages for Specifying Distributed Ada Systems
Proceedings of the CRAI Workshop on Software Factories and Ada: Software Development and Ada
ANNA: towards a language for annotating Ada programs
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on Ada programming language
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
DSSA (Domain-Specific Software Architecture): pedagogical example
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
Formalizing style to understand descriptions of software architecture
ACM Transactions on Software Engineering and Methodology (TOSEM)
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
Semantics for the architecture interchange language, ACME
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
Representing software systems architectures
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
Protocol specifications and component adaptors
ACM Transactions on Programming Languages and Systems (TOPLAS)
Using formal methods to reason about architectural standards
ICSE '97 Proceedings of the 19th international conference on Software engineering
A formal basis for architectural connection
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
A design framework for Internet-scale event observation and notification
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
Recovering software architecture from multiple source code analyses
Proceedings of the 1998 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
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
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
An architecture for constructing self-evolving software systems
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
Architecture-level dependence analysis in support of software maintenance
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
WWAC: WinWin abstraction based decision coordination
WACC '99 Proceedings of the international joint conference on Work activities coordination and collaboration
Exploiting ADLs to specify architectural styles induced by middleware infrastructures
Proceedings of the 21st international conference on Software engineering
Haemo dialysis software architecture design experiences
Proceedings of the 21st international conference on Software engineering
Modeling and analyzing software architectures
Proceedings of the 21st international conference on Software engineering
A model-based approach to simulation composition
SSR '99 Proceedings of the 1999 symposium on Software reusability
OpenJ: an extensible system level design language
DATE '99 Proceedings of the conference on Design, automation and test in Europe
Robots: a real-time systems architectural style
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
Specification-based prototyping for 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
Observations on the complexity of composable simulation
Proceedings of the 31st conference on Winter simulation: Simulation---a bridge to the future - Volume 1
ROSATEA: International Workshop on the Role of Software Architecture in Analysis E(and) Testing
ACM SIGSOFT Software Engineering Notes
On the expressive power of a language for programming coordination media
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
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
Static checking of system behaviors using derived component assumptions
ACM Transactions on Software Engineering and Methodology (TOSEM)
IWSAS' 2000 Proceedings of the first international workshop on Self-adaptive software
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
Modeling software architectures in the Unified Modeling Language
ACM Transactions on Software Engineering and Methodology (TOSEM)
Agent-oriented analysis and modeling
ACM SIGSOFT Software Engineering Notes
A framework for flexible evolution in distributed heterogeneous systems
Proceedings of the International Workshop on Principles of Software Evolution
Logical Clock Requirements for Reverse Engineering Scenarios from a Distributed System
IEEE Transactions on Software Engineering
A scalable approach to the design of SW architectures with dynamically created/destroyed components
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
An infrastructure for the rapid development of XML-based architecture description languages
Proceedings of the 24th International Conference on Software Engineering
Integrating independent components with on-demand remodularization
OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
FORM: A feature-oriented reuse method with domain-specific reference architectures
Annals of Software Engineering
Component Specifications for Robotics Integration
Autonomous Robots
A Metric-Based Approach to Detect Abstract Data Types and State Encapsulations
Automated Software Engineering
Modeling Architecture Description Languages Using AML
Automated Software Engineering
Specifying Distributed System Services
BT Technology Journal
Research Frontiers in Object Technology
Information Systems Frontiers
χSuds-SDL: A Tool for Testing Software Architecture Specifications
Software Quality Control
Reconciling the needs of architectural description with object-modeling notations
Science of Computer Programming - Special issue on unified modeling language (UML 2000)
P-RIO: A Modular Parallel-Programming Environment
IEEE Concurrency
Architectural Styles, Design Patterns, and Objects
IEEE Software
An Event-Based Architecture Definition Language
IEEE Transactions on Software Engineering
Describing Software Architecture Styles Using Graph Grammars
IEEE Transactions on Software Engineering
A Method for Design and Performance Modeling of Client/Server Systems
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Behavior Protocols for Software Components
IEEE Transactions on Software Engineering
Architecture-driven verification of concurrent systems
Nordic Journal of Computing
IEEE Transactions on Software Engineering
Using the TrustME Tool Suite for Automatic Component Protocol Adaptation
ICCS '02 Proceedings of the International Conference on Computational Science-Part II
Dynamic Reconfiguration in Coordination Languages
HPCN Europe 2000 Proceedings of the 8th International Conference on High-Performance Computing and Networking
Logic for Component-Based Software Development
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Architecture Support for System-of-Systems Evolution
EDCIS '02 Proceedings of the First International Conference on Engineering and Deployment of Cooperative Information Systems
Interface-Based Protocol Specification of Open Systems using PSL
ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming
Type-Safe Prototype-Based Component Evolution
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
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
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
A Control Model for the Dynamic Selection and Configuration of Software Components
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Introducing Connections Into Classes With Static Meta-Programming
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
Acme-Based Software Architecture Interchange
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
Coordination Models and Software Architectures in a Unified Software Development Process
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
Coordinating Software Evolution via Two-Tier Programming
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
On the Integration of Configuration and Meta-level Programming Approaches
Proceedings of the 1st OOPSLA Workshop on Reflection and Software Engineering: Reflection and Software Engineering, Papers from OORaSE 1999
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
Secure Interoperation of Secure Distributed Databases
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
A Formalization of Software Architecture
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
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
Towards a Descriptive Approach to Model Adaptable Communication Environments
ICN '01 Proceedings of the First International Conference on Networking-Part 2
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
Human exploration and development of space: using XML database space wide web
Information Sciences—Informatics and Computer Science: An International Journal - Internet computing
Modelling architectures for dynamic systems
Programming methodology
Change impact analysis to support architectural evolution
Journal of Software Maintenance: Research and Practice - Special issue: Separation of concerns for software evolution
Architecture, design, implementation
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
Feature-Oriented Engineering of PBX Software
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
?SUDS-SDL: A Tool for Diagnosis and Understanding Software Specifications
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Scenario-Based Software Architecture Reengineering
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
A Case Study in Architectural Modelling: The AEGIS System
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
Revealing component properties through architectural styles
Journal of Systems and Software - Special issue on: Component-based software engineering
Coverage testing software architectural design in SDL
Computer Networks: The International Journal of Computer and Telecommunications Networking - ITU-T system design languages (SDL)
A Component-Based Software Development Model
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
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
A formal approach for designing CORBA-based applications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Using Software Architecture for Code Testing
IEEE Transactions on Software Engineering
ACM SIGSOFT Software Engineering Notes
Formally analyzing software architectural specifications using SAM
Journal of Systems and Software
Using Event-Based Translation to Support Dynamic Protocol Evolution
Proceedings of the 26th International Conference on Software Engineering
A system model for dynamically reconfigurable software
IBM Systems Journal
ACM SIGSOFT Software Engineering Notes
Formally refining software architectures with π-ARL: a case study
ACM SIGSOFT Software Engineering Notes
COMPASS: Tool-Supported Adaptation of Interactions
Proceedings of the 19th IEEE international conference on Automated 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
Variability management with feature-oriented programming and aspects
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Automated Software Engineering
System level modeling of component based software systems
CompSysTech '04 Proceedings of the 5th international conference on Computer systems and technologies
A comprehensive approach for the development of modular software architecture description languages
ACM Transactions on Software Engineering and Methodology (TOSEM)
Smart debugging software architectural design in SDL
Journal of Systems and Software - Special issue: Computer software & applications
A survey of self-management in dynamic software architecture specifications
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
Performance modeling and analysis of software architectures: an aspect-oriented UML based approach
Science of Computer Programming - Special issue on system and software architectures(IWSSA'04)
KERIS: evolving software with extensible modules: Research Articles
Journal of Software Maintenance and Evolution: Research and Practice - Unanticipated Software Evolution
MobiGATE: A Mobile Computing Middleware for the Active Deployment of Transport Services
IEEE Transactions on Software Engineering
ACM SIGSOFT Software Engineering Notes
Specifying distributed multi-agent systems in chemical reaction metaphor
Applied Intelligence
π-Method: a model-driven formal method for architecture-centric software engineering
ACM SIGSOFT Software Engineering Notes
A historical perspective on runtime assertion checking in software development
ACM SIGSOFT Software Engineering Notes
The Golden Age of Software Architecture
IEEE Software
Exploring robust component-based software
Proceedings of the 2006 international workshop on Software quality
Towards supporting the architecture design process through evaluation of design alternatives
Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis
Architectural issues in network-centric computing
ACM SIGSOFT Software Engineering Notes
Modeling and performance analysis for security aspects
Science of Computer Programming - Special issue on quality system and software architectures
AVDL: a highly adaptable architecture view description language
Journal of Systems and Software
An implementation framework for software architectures based on the coordination paradigm
Science of Computer Programming
WOSP '07 Proceedings of the 6th international workshop on Software and performance
The service creation environment: a telecom case study
Proceedings of the 5th workshop on Software engineering properties of languages and aspect technologies
Using FDAF to bridge the gap between enterprise and software architectures for security
Science of Computer Programming
Concern-Specific Languages in a Visual Web Service Creation Environment
Electronic Notes in Theoretical Computer Science (ENTCS)
A Component-Based Systems Development Approach
Journal of Integrated Design & Process Science
Supporting Heterogeneous Architecture Descriptions in an Extensible Toolset
ICSE '07 Proceedings of the 29th international conference 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
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
Representing Hierarchical Mobility in Software Architectures
SEAMS '07 Proceedings of the 2007 International Workshop on Software Engineering for Adaptive and Self-Managing Systems
Rethinking software connectors
International workshop on Synthesis and analysis of component connectors: in conjunction with the 6th ESEC/FSE joint meeting
Regression testing based-on slicing of component-based software architectures
ISEC '08 Proceedings of the 1st India software engineering conference
A generic model for managing software architecture evolution
ICS'05 Proceedings of the 9th WSEAS International Conference on Systems
Model-driven refinement of software architectures with π-ARL
AMCOS'05 Proceedings of the 4th WSEAS International Conference on Applied Mathematics and Computer Science
Taxonomy of architectural style usage
Proceedings of the 2006 conference on Pattern languages of programs
Linking Programs to Architectures: An Object-Oriented Hierarchical Software Model Based on Boxes
The Common Component Modeling Example
An evolving hierarchical & modular approach to resilient software
Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
A development framework for component-based agent-oriented business services
International Journal of Agent-Oriented Software Engineering
A software architecture modeling tool
TELE-INFO'09 Proceedings of the 8th Wseas international conference on Telecommunications and informatics
Software architecture built from behavior models
ACM SIGSOFT Software Engineering Notes
A generative programming approach to developing pervasive computing systems
GPCE '09 Proceedings of the eighth international conference on Generative programming and component engineering
Discovery of architectural layers and measurement of layering violations in source code
Journal of Systems and Software
Monterey Phoenix, or how to make software architecture executable
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
Using AOSD and MDD to Enhance the Architectural Design Phase
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
Electronic Notes in Theoretical Computer Science (ENTCS)
A Rewriting Semantics for a Software Architecture Description Language
Electronic Notes in Theoretical Computer Science (ENTCS)
Time, Abstraction, Causality and Modularity in Interactive Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Automated adaptations to dynamic software architectures by using autonomous agents
Engineering Applications of Artificial Intelligence
An environment for describing software systems
WSEAS Transactions on Computers
An architectural description language for secure Multi-Agent Systems
Web Intelligence and Agent Systems
P/S-CoM: Building correct by design Publish/Subscribe architectural styles with safe reconfiguration
Journal of Systems and Software
A family of languages for architecture constraint specification
Journal of Systems and Software
FORMAware: framework of reflective components for managing architecture adaptation
SEM'02 Proceedings of the 3rd international conference on Software engineering and middleware
Modules for crosscutting models
Ada-Europe'03 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies
Architectural description languages (ADLs) vs UML: a review
ACM SIGSOFT Software Engineering Notes
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
Dynamic system reconfiguration via service composition for dependable computing
Proceedings of the 12th Monterey conference on Reliable systems on unreliable networked platforms
Using the UML for architectural description
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Specification: level integration of simulation and dependability analysis
Architecting dependable systems
Verifying temporal properties of community designs
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Slicing of component behavior specification with respect to their composition
CBSE'07 Proceedings of the 10th international conference on Component-based software engineering
Modeling and analyzing architectural change with alloy
Proceedings of the 2010 ACM Symposium on Applied Computing
Paving the road for formally defined architecture description in software development
Proceedings of the 2010 ACM Symposium on Applied Computing
ArchC#: a new architecture description language for distributed systems
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
AO-ADL: an ADL for describing aspect-oriented architectures
Proceedings of the 10th international conference on Early aspects: current challenges and future directions
A formal description language for multi-agent architectures
AOIS'06 Proceedings of the 8th international Bi conference on Agent-oriented information systems IV
Composing components with shared services in the Kmelia model
SC'08 Proceedings of the 7th international conference on Software composition
Analyzing architectural styles
Journal of Systems and Software
A new approach for component's port modeling in software architecture
Journal of Systems and Software
Implicit invocation meets safe, implicit concurrency
GPCE '10 Proceedings of the ninth international conference on Generative programming and component engineering
Representing abstract architectures with axiomatic specifications and activation conditions
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
Software architecture and software configuration management
SCM'01/SCM'03 Proceedings of the 2001 ICSE Workshops on SCM 2001, and SCM 2003 conference on Software configuration management
Acme: an architecture description interchange language
CASCON First Decade High Impact Papers
A language for formal design of embedded intelligence research systems
Robotics and Autonomous Systems
Component types qualification in Java legacy code driven by communication integrity rules
Proceedings of the 4th India Software Engineering Conference
Vicinity respecting homomorphisms for abstracting system requirements
Transactions on Petri nets and other models of concurrency IV
A framework for classifying and comparing software architecture tools for quality evaluation
ICCSA'11 Proceedings of the 2011 international conference on Computational science and Its applications - Volume Part V
Rationale, decisions and alternatives traceability for architecture design
Proceedings of the 5th European Conference on Software Architecture: Companion Volume
Incorporating business logics into RFID-enabled applications
Information Processing and Management: an International Journal
Controlling software architecture erosion: A survey
Journal of Systems and Software
Using AI techniques for fault localization in component-oriented software systems
MICAI'06 Proceedings of the 5th Mexican international conference on Artificial Intelligence
A Generative Programming Framework for Context-Aware CSCW Applications
ACM Transactions on Software Engineering and Methodology (TOSEM)
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
A new component-oriented programming language with the first-class connector
JMLC'06 Proceedings of the 7th joint conference on Modular Programming Languages
Aspect modelling at architecture design
EWSA'05 Proceedings of the 2nd European conference on Software Architecture
A compositional approach to service validation
SDL'05 Proceedings of the 12th international conference on Model Driven
Platform-independent modelling in MDA: supporting abstract platforms
MDAFA'03 Proceedings of the 2003 European conference on Model Driven Architecture: foundations and Applications
Deriving detailed design models from an aspect-oriented ADL using MDD
Journal of Systems and Software
Component synthesis from service specifications
SMTT'03 Proceedings of the 2003 international conference on Scenarios: models, Transformations and Tools
A contracting system for hierarchical components
CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering
How to manage uniformly software architecture at different abstraction levels
ER'05 Proceedings of the 24th international conference on Conceptual Modeling
Analysis of compositional conflicts in component-based systems
SC'05 Proceedings of the 4th international conference on Software Composition
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
Behavioral types for embedded software: a survey
Component-Based Software Development for Embedded Systems
HPorter: using arrows to compose parallel processes
PADL'07 Proceedings of the 9th international conference on Practical Aspects of Declarative Languages
Integrating architecture description languages: a semantics-based approach
ICDCIT'05 Proceedings of the Second international conference on Distributed Computing and Internet Technology
Consistent reconfiguration for publish/subscribe architecture styles
VECoS'07 Proceedings of the First international conference on Verification and Evaluation of Computer and Communication Systems
Deriving a unified fault taxonomy for event-based systems
Proceedings of the 6th ACM International Conference on Distributed Event-Based Systems
Formal design of structural and dynamic features of publish/subscribe architectural styles
ECSA'07 Proceedings of the First European conference on Software Architecture
A causal model to predict the effect of business process evolution on quality of service
Proceedings of the 9th international ACM Sigsoft conference on Quality of software architectures
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
Hi-index | 0.00 |
Rapide is an event-based, concurrent, object-oriented language specifically designed for prototyping system architectures. Two principle design goals are 1) to provide constructs for defining executable prototypes of architectures and 2) to adopt an execution model in which the concurrency, synchronization, dataflow, and timing properties of a prototype are explicitly represented. This paper describes the partially ordered event set (poset) execution model and outlines with examples some of the event-based features for defining communication architectures and relationships between architectures. Various features of Rapide are illustrated by excerpts from a prototype of the X/Open distributed transaction processing reference architecture.