Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

16 relations
APCBAlloy AnalyzerComputer scienceCorrectness (computer science)

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
2015
2015
A viscoplastic-fatigue-creep damage model for tin-based solder alloy
During the past decade the demand for high performance automotive electronics is steadily increasing. An efficient development of… 
2007
2007
Decidable Fragments of Many-Sorted Logic
We investigate the possibility of developing a decidable logic which allows expressing a large variety of real world… 
2005
2005
Pulsed laser crystallization of silicon–germanium films
2004
2004
Automating commutativity analysis at the design level
Two operations commute if executing them serially in either order results in the same change of state. In a system in which… 
2003
2003
TestEra A Novel Framework for Testing Java Programs y
TestEra is a novel framework for automated specification-based testing of Java programs. Given a formal specification for a… 
2001
2001
Supporting Formal Verification of Crosscutting Concerns
This paper presents an approach to formal verification of the properties of systems composed of multiple crosscutting concerns… 
1990
1990
Use of Surface Skimming SH Waves to Measure Thermal and Residual Stresses in Installed Railroad Tracks
The stress level in a material is usually measured with an electrical resistance strain gage attached permanently to the object… 
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
: A comparative study has been made of the transient fatigue crack growth rate behavior following tensile overloads at low (near… 
1974
1974
Safety in the preparation of multimetallic catalysts
THERE is presently an extensive research effort in the field of catalysis concerned with alloy systems. Many researchers are… 
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)