搜索结果: 1-9 共查到“软件工程 Analysis”相关记录9条 . 查询时间(0.484 秒)
ARCHER:Using Symbolic,Path-sensitive Analysis to Detect Memory Access Errors
ARCHER Using Symbolic Path-sensitive Analysis Detect Memory Access Errors
2015/8/7
Memory corruption errors lead to non-deterministic, elusive crashes. This paper describes ARCHER (ARray CHeckER) a static, effective memory access checker. ARCHER usespath-sensitive, interprocedural s...
Evolution Analysis of Large-Scale Software Systems Using Design Structure Matrices and Design Rule Theory
Software Systems Design Structure Design Rule Theory
2015/4/21
Designers often seek modular architectures to better accommodate expected changes and to enable parallel development. However, we lack a formal theory and model of modularity and software evolution, w...
Analysis and Design of Distributed Pair Programming System
Pair Programming Distributed Pair Programming Software Engineering Extreme Programming
2013/1/29
Pair Programming (PP) that has gained extensive focus within pedagogical and industrial environments is a programming practice in which two programmers use the same computer to work together on analys...
Document Logic: Risk Analysis of Business Processes through Document Authenticity
Formal methods business process modeling risk analysis internal control rewriting logic
2014/3/11
Document Logic is a simple yet powerful framework to infer risks in business processes. We focus on flows of documents and build a set of inference rules based on document authenticity and a simple tr...
An Empirical Analysis of the Effect of Criticality, Complexity and Organisational Influence on Software Reliability
Criticality Complexity Organisational Influence Software Reliability
2009/12/9
This paper is motivated by a desire to improve software reliability, in particular, the reliability of software that impacts the operational and financial viability of organisations. We examine the ef...
An Integrated, Probabilistic Framework for Requirement Change Impact Analysis
Requirement Change impact propagation probability
2009/12/9
Impact analysis is an essential part of change management. Without adequate analysis it is not possible to confidently determine the extent, complexity and cost of proposed changes 10 a software syste...
Reengineering a Software Review Process with the Functions Based Process Analysis (FPA) Method
Software Functions Based Process Analysis FPA
2009/12/8
With the current popularity and success of the World Wide Web, the question. How can the WWW technology improve existing processes, is in the forefront of many managers' mind. This paper examines this...
Security Analysis of Australian and E.U. E-passport Implementation
Security Analysis of Australian E.U. E-passport Implementation
2014/3/11
This paper makes a formal security analysis of the current Australian e-passport implementation using model checking tools CASPER/CSP/FDR. We highlight security issues in the current implementation an...
期刊信息
篇名
A constraint solver and its application to path feasibility analysis
语种
英文
撰写或编译
撰写
作者
张健,王晓旭
第一作者单位
刊物名称
Internationl Journal of Software Engineering and Knowledge Engineering
页面
2001
出版日期
20...