Results 91 to 100 of about 526,453 (338)
Formal specification of human-computer interfaces [PDF]
A high-level formal specification of a human computer interface is described. Previous work is reviewed and the ASLAN specification language is described.
Auernheimer, Brent
core +1 more source
Advanced Engineering Materials, EarlyView.When realized as inserts in high‐pressure die casting, aluminum cooling channels for electric powertrain components and similar applications typically require a stabilizing filler to survive the process. The present study investigates relinquishing this filler using additively manufactured inserts promising performance improvements.
Dirk Lehmhus +9 more
wiley +1 more source
IEEE Access, 2017 Formally defined Specification and Description Language (SDL) is used for the design and specification of complex safety-critical systems. Each change in the specification of the product should be immediately checked formally against the requirements ...
Bostjan Vlaovic +2 more
doaj +1 more source
Machine Improvisation With Formal Specifications
, 2014 (Abstract to follow)
Donzé, A +5 more
openaire +2 more sources
Advanced Engineering Materials, EarlyView.This article investigates residual stress formation during single‐spot nanosecond laser ablation of stainless steel. Experimental validation and a parametric study using finite element simulations are employed to analyze thermal effects, ablation dynamics, and stress evolution.
Yutaka Tsumura +7 more
wiley +1 more source
On Formal Specification of Emergent Behaviours in Swarm Robotic Systems
International Journal of Advanced Robotic Systems, 2005 It is a characteristic of swarm robotics that specifying overall emergent swarm behaviours in terms of the low-level behaviours of individual robots is very difficult.
Alan FT Winfield +4 more
doaj +1 more source
A formal system for the specification of the syntax and translation of computer languages [PDF]
, 1967 John J. Donovan, Henry Ledgard
openalex +1 more source
, 2014 One of the common problems of system development projects is that the system documentation is often outdated and does not describe the latest version of the system.
Mou, Dongyue +2 more
core
Advanced Engineering Materials, EarlyView.This study presents a multimodal characterization method for a prototype metamaterial model structure that features four distinct states of mechanical stiffness and electrical resistivity. Through simulations and experiments, it uncovers insights into the structural behavior, the correlation between changes in electrical resistivity and mechanical ...
Rebecca Kose +3 more
wiley +1 more source
Formal Specification Based Automatic Test Generation for Embedded Network Systems
Journal of Applied Mathematics, 2014 Embedded systems have become increasingly connected and communicate with each other, forming large-scaled and complicated network systems. To make their design and testing more reliable and robust, this paper proposes a formal specification language ...
Eun Hye Choi +7 more
doaj +1 more source