搜索结果: 1-7 共查到“计算机科学技术 Z Specification”相关记录7条 . 查询时间(0.18 秒)
Specification Inference Using Context-Free Language Reachability
program analysis verification specification inference
2016/5/24
We present a framework for computing context-free language reachability properties when parts of the program are missing. Our framework infers candidate specifications for missing program pieces that ...
From Uncertainty to Belief:Inferring the Specification Within
Uncertainty Belief Inferring the Specification Within
2015/8/7
Automatic tools for finding software errors require a set of specifications before they can check code: if they do not know what to check, they cannot find bugs. This paper presents a novel framework ...
A Content Specification for Business Process Models
Content Specification Business Process Models
2009/12/9
Business process modeling is an essential prerequisite to business process reengineering (BPR), and workflow management (WFM). Process models have been traditionally used to model software processes, ...
A Methodology for Measuring the Risk Associated with A Software Requirements Specification
Methodology Risk Software Requirements Specification
2009/12/9
This paper presents a six-step metrics-based methodology for assessing the risks associated with - and hence the resources required to implement - the requirements contained within a software requirem...
Using Abduction to Evolve Inconsistent Requirements Specification
Abduction Inconsistent Requirements Specification
2009/12/7
Requirements specifications are often inconsistent. Inconsistencies may arise because multiple conflicting requirements are embodied in these specifications, or because the specifications themselves a...
The Specification of Agent Interaction in Multi-Agent Systems
interaction protocol temporal logic parallel algorithm
2009/11/30
The problem of the description of interaction between agents in a multi-agent system (MAS) in the form of dialogues of negotiations is considered. For formalization of the description of interaction a...
A Constraint Specification Approach to Building Flexible Workflows
workflow flexible tertiary domain constraint specification
2002/5/1
Process support systems, such as workflows, are being used in a variety of domains.However, most areas of application have focused on traditional production-style processes, which are characterised by...