Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,741,320 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.
2019
2019
Strength and electrical conductivity behavior of nanoparticles reaction on new alumina dispersion-strengthened copper alloy
Yabo Fu
,
Qin-Yan Pan
,
Z. Cao
,
Shufeng Li
,
Y. Huo
Journal of Alloys and Compounds
2019
Corpus ID: 182061789
2015
2015
A viscoplastic-fatigue-creep damage model for tin-based solder alloy
B. Métais
,
A. Kabakchiev
,
+6 authors
S. Weihe
International Conference on Thermal, Mechanial…
2015
Corpus ID: 17976990
During the past decade the demand for high performance automotive electronics is steadily increasing. An efficient development of…
Expand
2007
2007
Decidable Fragments of Many-Sorted Logic
Aharon Abadi
,
A. Rabinovich
,
Shmuel Sagiv
Logic Programming and Automated Reasoning
2007
Corpus ID: 1315836
We investigate the possibility of developing a decidable logic which allows expressing a large variety of real world…
Expand
2005
2005
Pulsed laser crystallization of silicon–germanium films
T. Sameshima
,
H. Watakabe
,
H. Kanno
,
T. Sadoh
,
M. Miyao
2005
Corpus ID: 55760249
2004
2004
Automating commutativity analysis at the design level
Gregory D. Dennis
,
Robert Seater
,
Derek Rayside
,
D. Jackson
International Symposium on Software Testing and…
2004
Corpus ID: 10345082
Two operations commute if executing them serially in either order results in the same change of state. In a system in which…
Expand
2003
2003
TestEra A Novel Framework for Testing Java Programs y
S. Khurshid
,
D. Marinov
2003
Corpus ID: 15513393
TestEra is a novel framework for automated specification-based testing of Java programs. Given a formal specification for a…
Expand
2001
2001
Supporting Formal Verification of Crosscutting Concerns
T. Nelson
,
D. Cowan
,
P. Alencar
Reflection
2001
Corpus ID: 22032168
This paper presents an approach to formal verification of the properties of systems composed of multiple crosscutting concerns…
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
1988
1988
On the Role of Crack Closure Mechanisms in Influencing Fatigue Crack Growth Following Tensile Overloads in a Titanium Alloy: Near Threshold Versus Higher Δ K Behavior
C. Ward-Close
,
R. Ritchie
1988
Corpus ID: 55553096
: A comparative study has been made of the transient fatigue crack growth rate behavior following tensile overloads at low (near…
Expand
1974
1974
Safety in the preparation of multimetallic catalysts
J. Cusumano
Nature
1974
Corpus ID: 4285899
THERE is presently an extensive research effort in the field of catalysis concerned with alloy systems. Many researchers are…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE