位置：成果数据库 > 会议 > 会议详情页
Dynamic Software Architectures: Formal Specification and Verification with CSP
  • 所属机构名称：北京大学
  • 会议名称：4th Asia-Pacific Symposium on Internetware, Internetware 2012
  • 时间：2012.11
  • 成果类型：会议
  • 相关项目：体系结构驱动的可信软件构造方法与技术研究
同会议论文项目
体系结构驱动的可信软件构造方法与技术研究
期刊论文 33 会议论文 75
同项目会议论文
Summary-Based Context-Sensitive Data-Dependence Analysis in Presence of Callbacks
Dynamic Software Architectures: Formal Specification and Verification with CSP
Automatic Parameter Recommendation for Practical API Usage
Using Dynamic Probe for Deadlock Detection in Component-Based System
MoonBox: Debugging with Online Slicing and Dryrun
Soot-based Implementation of a Demand-Driven Reaching Definitions Analysis
Towards Online Localization and Recovery for Faulty Components in Component-Based Applications
Review code evolution history in OSS universe
PBDDR: Probe-Based Deadlock Detection and Recovery Strategy for Component-Based Systems
Software Architecture Matching by Meta-model Extension and Refinement
A Formal Model for Resource Protections in Web Service Applications
Supporting Reliability Modeling and Analysis for Component-Based Software Architecture: An XML-Based
Constraint-based locality analysis for X10 programs
Platform independent analysis of probabilities on execution paths of multithreaded programs
Checking Internal Consistency of SOFL Specification: A Hybrid Approach
Executable Modeling Approach to Service OrientedArchitecture Using SoaML in Conjunction with Extende
Mining micro-practices from operational data
Towards Online Localization and Recovery for Faulty Components in Component- Based Applications
Automating Presentation Changes in Dynamic WebApplications via Collaborative Hybrid Analysis
Towards an Adaptive Service Degradation Approach for Handling Server Overload
PBDDR: Probe-Based Deadlock Detection and Recovery Strategy for Component-Based Systems
Mining Developer Mailing List to Predict SoftwareDefects
An Empirical Study on Real Bug Fixes
Evaluation of Software Architectures Reliability based on Hypergraph Grammar
A Bidirectional Framework for Model Synchronization in Component-Based Software Development
Soot-based Implementation of a Demand-Driven Reaching Definitions Analysis
A method to identify and correct problematic software activity data: exploiting capacity constraints
Impact of Triage: a Study of Mozilla and Gnome
An Approach to Reliable software ArchitecturesEvolution
An Approach to Modelling and Evaluating AGG Based Reliable Software Systems
Design and Safety Analysis for System Architecture: A Breeze/ADL-Based Approach
Product assignment recommender
Incremental Points-to Analysis for Javavia Edit Propagation
A Scenario-Based Approach to Predicting Software Defects Using Compressed C4.5 Model
Synthetic Safety Analysis: a systematic approach in combination of FTA and fuzzy FMEA
Using Entropy Weight-Based TOPSIS to Implement Failure Mode and Effects Analysis
AspectBreeze: Integrating Trustworthiness Aspects into Graph Grammar Supported Architecture Descript
Architecture Reconfiguration in Pervasive Environment: an AADL-based Approach
Bridging the Gap between the Total and Additional Test-Case Prioritization Strategies
BGG: A Graph Grammar Approach for Software Architecture Verification and Reconfiguration
An Approach to Reliable software Architectures Evolution
Evaluation of Software Architectures Reliability based on Hypergraph Grammar
A Bidirectional Framework for Model Synchronization in Component-Based Software Development
Anticrasher: Predicting and preventing impending crashes on runtime at user end
Estimating SoftwareSystem Reliability: An Architecture-Based Approach
SupportingReliability Modeling and Analysis for Component-Based Software Architecture: An XML-Based
Guided differential testing of certificate validation in SSL/TLS implementations
Using Entropy Weight-Based TOPSIS to Implement Failure Mode and Effects Analysis
MoonBox: debugging with online slicing and dryrun
Reevaluating Android Permission Gaps with Static and Dynamic Analysis
A Formal Model forResource Protections in Web Service Applications
SplitDroid: Isolated Execution of SensitiveComponents for Mobile Applications
Software Architecture Matching by Meta-model Extension and Refinement
Using Dynamic Probefor Deadlock Detection in Component-Based System
JaConTeBe: A BenchmarkSuite of Real-World Java Concurrency Bugs
BGG: A Graph Grammar Approach for Software Architecture Verification and Reconfiguration
Automatic parameter recommendation for practical API usage
Breeze: A ModelingTool for Designing, Analyzing, and Improving Software Architecture
Breeze/ADL: Graph Grammar Support for an XML-Based Software Architecture Description Language
Anticrasher: Predicting and preventing impendingcrashes on runtime at user end
Mining Developer Mailing List to Predict Software Defects
Similarity-based Web Browser Optimization
A Scenario-Based Approach to Predicting Software Defects Using Compressed C4.5 Model
Incremental Points-to Analysis for Java via Edit Propagation
Patterns of folder use and project popularity: a case study of github repositories
ArchitectureReconfiguration in Pervasive Environment: an AADL-based Approach
Synthetic Safety Analysis: a systematic approach in combination of FTA and fuzzy FMEA
AspectBreeze:Integrating Trustworthiness Aspects into Graph GrammarSupported Architecture Descriptio
Time-Aware Collaborative Filtering for QoS-Based Service Recommendation
An Approach to Modelling and Evaluating AGG Based Reliable Software Systems
Towards EffectiveDeveloper Recommendation in Software Crowdsourcing
Is This a Bug or an Obsolete Test?
Impact of Triage: a Study of Mozilla and Gnome
Breeze/ADL: Graph Grammar Support for an XML-Based Software Architecture Description Language