Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,670,838 papers from all fields of science
Search
Sign In
Create Free Account
Alloy (specification language)
Known as:
Alloy (disambiguation)
In computer science and software engineering, Alloy is a declarative specification language for expressing complex structural constraints and…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
16 relations
APCB
Alloy Analyzer
Computer science
Correctness (computer science)
Expand
Broader (1)
Z notation
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Designing and Conducting Experiments for Optimization of satisfactory Cutting conditions in Micro Turning by using Titanium Alloy
S. Selvakumar
,
R. Ravikumar
,
K. Raja
2012
Corpus ID: 114949175
Micromachining is the basic technology for the production of miniaturized parts and components, which plays an important role in…
Expand
2011
2011
Optimization of homogenizing annealing for Al–Zn5.5–Mg2.5–Cu1.5 alloy
V. Vajsova
2011
Corpus ID: 56136049
In the course of homogenizing annealing of aluminum alloys prepared by continuous or semi-continuous casting, chemical…
Expand
2010
2010
Texture and Plastic Strain Ratio Changes with the Number of Passes of Asymmetric Rolling in AA1050 Al Alloy Sheet
S. K. Nam
,
Hae Bong Jeong
,
Insoo Kim
2010
Corpus ID: 135534308
Abstract The physical and mechanical properties and formability of sheet metals depend on preferred crystallographic orientations…
Expand
2009
2009
Effect of Cooling Conditions on Grain Size of AZ91 Alloy
Z. Ning
,
P. Cao
,
Hao Wang
,
Jian-Fei Sun
,
Di-Jia Liu
2009
Corpus ID: 136326128
The grain size of AZ91 alloy was investigated in terms of the effects of cooling rate, superheat and steel gauze. It was found…
Expand
2006
2006
Alloy, Software Engineering, and Undergraduate Education
M. Lutz
2006
Corpus ID: 55797938
RIT’s undergraduate software engineering program has a strong emphasis on design, including formal mathematical modeling. However…
Expand
2004
2004
Texture and Microstructure of Ti-Ni Melt-Spun Shape Memory Alloy Ribbons
A. Khantachawana
,
H. Mizubayashi
,
S. Miyazaki
2004
Corpus ID: 54778339
The shape memory behavior, texture and microstructure were studied for Ti-Ni ribbons fabricated by a melt-spinning method where…
Expand
2002
2002
Effect of Drilling Processes on Surface Integrity of 7075-Aluminum Alloy Holes
Xu-ming Pei
,
Wu-Yi Chen
,
Bingzhi Ren
,
Yu-Juan Han
2002
Corpus ID: 138032557
Effect of the five drilling processes on the surface quality of fastening holes of 7075 aluminum alloy plate used in aircraft…
Expand
1995
1995
Electrodeposited Ni-P-SiC composite coatings
O. Berkh
,
A. Bodnevas
,
J. Zahavi
1995
Corpus ID: 15585710
Electrodeposited Ni-P-SiC composite coatings containing 5 to 7 wt percent P and as much as 6.5 wt percent of SiC were produced…
Expand
1990
1990
Use of Surface Skimming SH Waves to Measure Thermal and Residual Stresses in Installed Railroad Tracks
G. Alers
,
A. Manzanares
1990
Corpus ID: 53557692
The stress level in a material is usually measured with an electrical resistance strain gage attached permanently to the object…
Expand
1989
1989
Creep Buckling of Cylindrical Shell Under Variable Loading
S. Arnold
,
D. Robinson
,
A. Saleeb
1989
Corpus ID: 122894508
The ability for structural alloys to exhibit recovery of state, i.e., return to a softer state following periods of hardening…
Expand