Results 101 to 110 of about 526,453 (338)
Compiler generation using formal specification of procedure-oriented and machine languages [PDF]
, 1967 Philip Gilbert, William G. McLellan
openalex +1 more source
Advanced Engineering Materials, EarlyView.Fe‐ and Mn‐containing AlSi alloys undergo aluminothermic reaction with Mn oxide in sessile‐drop and crucible experiments forming poor‐wetting Al2O3 while Mn enriches in the alloy. Primary Fe‐containing particles are preferentially attached to the Mn oxide.
Hanka Becker +6 more
wiley +1 more source
Advanced Engineering Materials, EarlyView.In the present study, metastable CrMnNi steels with varying chemical compositions and a concomitantly altered stacking fault energy are processed via directed energy deposition and afterwards tested via tensile tests at different temperatures. The present study shows the influence of the manufacturing process on the elemental deformation mechanisms for
Julia Richter +8 more
wiley +1 more source
Formal specification of fault-tolerance and its relation to computer security [PDF]
, 1989 Dorian Weber
openalex +1 more source
ARIES: Acquisition of Requirements and Incremental Evolution of Specifications [PDF]
This paper describes a requirements/specification environment specifically designed for large-scale software systems. This environment is called ARIES (Acquisition of Requirements and Incremental Evolution of Specifications). ARIES provides assistance to
Roberts, Nancy A.
core +1 more source
Advanced Engineering Materials, EarlyView.A simulative evaluation of triply periodic minimal surface (TPMS) structures for an elastocaloric application under compressive load is performed. For the evaluation of the structure's performance, surface/volume ratio, generated heat and invested mechanical work are taken into account and are compared to a tube as a reference specimen.
Michael Fries +3 more
wiley +1 more source
A Technique for Analyzing the Effects of Changes in Formal Specifications [PDF]
, 1992 D. Richard Kuhn
openalex +1 more source
Single‐Crystal Castability of CM186LC Nickel‐Based Superalloy
Advanced Engineering Materials, EarlyView.The optimal conditions to obtain single‐crystal (SX) castings of the directional solidification nickel‐based superalloy CM186LC, are investigated. Cylindrical samples are cast via a proprietary SX Bridgman process. The effect of solidification rates (V) ranging from 1 to 10 mm⋅min−1 on the microstructure is explored.
André Baldissera +3 more
wiley +1 more source