731 search results - page 74 / 147 » Specification Matching of Software Components |
DMS
2008
13 years 11 months ago
2008
A root cause is a source of a defect such that if it is removed, the defect is subsequently decreased or removed. By analyzing the root causes of defects of our software projects,...
ASWEC
2009
IEEE
13 years 7 months ago
2009
IEEE
Complex data mapping tasks often arise in software engineering, particularly in code generation and model transformation. We describe Marama Torua, a tool supporting high-level sp...
TYPES
2000
Springer
14 years 1 months ago
2000
Springer
We report on the design of a prototyping component for the theorem prover Isabelle/HOL. Specifications consisting of datatypes, recursive functions and inductive definitions are co...
CHI
1999
ACM
14 years 2 months ago
1999
ACM
Programmable Embodied Agents are portable, wireless, interactive devices embodying specific, differentiable, interactive characteristics. They take the form of identifiable charac...
IASTEDSE
2004
13 years 11 months ago
2004
Considering the advances of wireless, mobile and positioning technologies and the high requirement of the mobile marketing world for reaching as many customers as possible in a pe...