342 search results - page 15 / 69 » Compositional Testing with ioco |
FORTE
2007
13 years 9 months ago
2007
Model programs are a useful formalism for software testing and design analysis. They are used in industrial tools, such as SpecExplorer, as a compact, expressive and precise way to...
BMCBI
2008
13 years 7 months ago
2008
Background: As one of the most common protein post-translational modifications, glycosylation is involved in a variety of important biological processes. Computational identificat...
IROS
2008
IEEE
14 years 1 months ago
2008
IEEE
— This work presents the design, fabrication, and testing of a novel hexapedal walking millirobot using only two actuators. Fabricated from S2-Glass reinforced composites and fl...
ICAD
2004
13 years 8 months ago
2004
We describe a software system which enables computergenerated soundscapes to be synthesised, spatialised and edited using a gestural interface. Iterative design and testing of the...
ESOP
2006
Springer
13 years 11 months ago
2006
Springer
We define a core language combining computational and architectural primitives, and study how static typing may be used to ensure safety properties of component composition and dyn...