书目详情:
Probabilistic Modal Specifications (Invited Extended Abstract)OrchestrationSuper-Dense Computation in Verification of Hybrid CSP ProcessesA Proof-Carrying Code Approach to Certificate Auction MechanismsTowards Verification of Ensemble-Based Component SystemsHierarchical Scheduling Framework Based on Compositional Analysis Using UppaalIncremental Modeling of System Architecture Satisfying SysML Functional RequirementsFormalising Adaptation Patterns for Autonomic EnsemblesTowards a Failure Model of Software ComponentsFormally Reasoning on a Reconfigurable Component-Based System — A Case Study for the Industrial WorldA General Trace-Based Framework of Logical CausalityAxioms and Abstract Predicates on Interfaces in Specifying/Verifying OO ComponentsA Framework for Handling Non-functional Properties Within a Component-Based ApproachUsing Daikon to Prioritize and Group Unit BugsAdapting Component-Based Systems at Runtime via Policies with Temporal PatternsAutomatic Component Deployment in the Presence of Circular DependenciesModeling and Analysis of Component Connectors in CoqOn the Complexity of Input Output Conformance TestingCompatibility Checking for Asynchronously Communicating SoftwareLayered Reduction for Modal Specification Theories
评论: