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.
2017
2017
Aqueous solubility of Cr(VI) compounds in ferrochrome bag filter dust and the implications thereof
The production of ferrochrome (FeCr) is a reducing process. However, it is impossible to completely exclude oxygen from all of… 
2017
2017
Surface Modification of Ni-Cr-Mo Steel by Multifunction Cavitation
The multifunction cavitation (MFC) technique is referred to as a mechanical-electrochemical cavitation method because it includes… 
2014
2014
Verifying Modelling Languages using Lightning: a Case Study
The formal language Alloy was developed to provide fully automatic analysis of software designs. By providing immediate feedback… 
2008
2008
Lightweight Modeling of Java Virtual Machine Security Constraints using Alloy
. The Java programming language has been widely described as secure by design. Nevertheless, a number of serious security… 
2007
2007
Optimisation of the rivet joints of the CFRP composite material and aluminium alloy
Purpose: The project included analysis of strain, cracking, and failure of riveted joints of plate elements made from the carbon… 
2005
2005
Pulsed laser crystallization of silicon–germanium films
2004
2004
Plastic surface strain mapping of bent sheets by image correlation
A technique using a single CCD camera, a precision rotation/translation stage, a telecentric zoom lens, and digital image… 
2000
2000
Microstructural development inside the stress induced martensite variant in a Ti-Ni-Nb shape memory alloy
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… 
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)