位置：成果数据库 > 会议 > 会议详情页
Checking Internal Consistency of SOFL Specification: A Hybrid Approach
  • 所属机构名称：北京大学
  • 会议名称：ICFEM 3rd Workshop on SOFL+MSVL (SOFL+MSVL 2013)
  • 时间：2013.10.29
  • 成果类型：会议
  • 相关项目：体系结构驱动的可信软件构造方法与技术研究
同会议论文项目
体系结构驱动的可信软件构造方法与技术研究
期刊论文 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
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
Dynamic Software Architectures: Formal Specification and Verification with CSP
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