搜索结果: 1-15 共查到“工学 Specification”相关记录24条 . 查询时间(0.075 秒)
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 ...
Towards A Standard Specification for Terrestrial Laser scanning In Cultural Heritage: One Year On
Cultural Heritage Specification Terrestrial
2015/7/15
The development of a specification to standardise the capture, presentation and delivery of point clouds for cultural heritage
applications is a necessary step in the acceptance of laser scanning as ...
Spatial Data Modelling, Dual Partitions and The Specification of Semantics
Spatial Data Modelling Semantics Spatial Objects
2015/7/6
The main objective of GSDI is data sharing and integration. This requires the formulation of standards for data exchange. Most standards
developed to date take mainly care of issues like the technica...
UPDATING AND SPECIFICATION CHANGES - STATISTICAL ESTIMATION OF WORKLOAD
UPDATING AND SPECIFICATION STATISTICAL ESTIMATION WORKLOAD
2015/3/16
UPDATING AND SPECIFICATION CHANGES - STATISTICAL ESTIMATION OF WORKLOAD.
SEMI-AUTOMATED EDGE SEGMENT SPECIFICATION FOR AN INTERACTIVE MODELLING SYSTEM OF ROBOT ENVIRONMENTS
Modelling Semi-automation User interfaces On-line Robots
2015/1/6
Interactive methods are well suited to telerobotics purposes. Based on the super-imposition of the model on video images,they provide a friendly way to acquire or update the environment model from an ...
TECHNICAL SPECIFICATION FOR THE VALIDATION OF REMOTE SENSING PRODUCTS
Technical Specification Validation Remote Sensing Product Heterogeneity
2014/4/24
The validation of remote sensing products (RSPs) is fundamental work before the proper use of RSPs. This paper mainly introduces
the technical specification for the validation of remote sensing prod...
BIM FOR GEO-ANALYSIS (BIM4GEOA):SET UP OF 3D INFORMATION SYSTEM WITH OPEN SOURCE SOFTWARE AND OPEN SPECIFICATION (OS).
CAD BIM 3D GIS Open Source,Open Specification Information system
2014/6/11
To address the challenges of sustainable management and development ofthebuiltenvironment, engineers and facility managers need to exploit the 3D City models which grown in recent years to include int...
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...
Stereometry specification of anodised and PVD coated surface of aluminium alloy
Metallic alloys Mechanical properties Metallography
2009/12/3
Purpose: The aim of the work is to present the influence of casting method and anodic treatment parameters on
properties, thickness and structure of an anodic layer with (PVD) physical vapour deposit...
Stereometry specification and properties of anodization surface of casting aluminium alloys
Metallic alloys Mechanical properties Metallography
2009/12/2
Purpose: The aim of the work is presents the influence of casting method and anodic treatment parameters on
properties, thickness and structure of an anodic layer formed on aluminium casting alloys.
...
SISCOI - Software to aid establishment od design specification of injection molded components
Design Specification Injection Molded Components QFD TRIZ and Software
2009/12/1
In the development of injection molded components, using a group of procedures (processes) and design tools (means) the design team can obtained the product conception. This conception must be accorde...