Skip to search formSkip to main contentSkip to account menu

Alloy Analyzer

Known as: Alloy language 
In computer science and software engineering, the Alloy Analyzer is a software tool which can be used to analyze specifications written in the Alloy… 
Wikipedia (opens in a new tab)

Related topics

Related topics

8 relations
Alloy (specification language)Boolean satisfiability problemComputer scienceMenthor Editor

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Taguchi-Grey computation methodology for optimum multiple performance measures on machining titanium alloy in WEDM process
Since the wire electrical discharge machining (WEDM) process involves with more than one performance measures, conventional… 
2014
2014
The Formal Semantics of a Domain-Specific Modeling Language for Semantic Web Enabled Multi-Agent Systems
Development of agent systems is without question a complex task when autonomous, reactive and proactive characteristics of agents… 
2012
2012
Corrosión atmosférica de aceros patinables de nueva generación
Los aceros patinables, "low alloy steels" o "weathering steels" como se les denomina en la literatura sajona, describen una clase… 
2012
2012
FST Based Morphological Analyzer for Hindi Language
Hindi being a highly inflectional language, FST (Finite State Transducer) based approach is most efficient for developing a… 
2010
2010
Prediction of fracture toughness temperature dependance from tensile test parameters
The reference temperature localizing the fracture toughness temperature diagram on temperature axis was predicted based on… 
2009
2009
Abrasive Wear Characteristics of Carbon and Low Alloy Steels for Better Performance of Farm Implements
2004
2004
Cu-Based Bulk Glass Formation in the Cu-Zr-Ga Alloy System and Their Mechanical Properties
  • Wei ZhangA. Inoue
  • 2004
  • Corpus ID: 55695152
The thermal stability, glass-forming ability (GFA) and mechanical properties of a new Cu-based glassy alloy in Cu-Zr-Ga ternary… 
2002
2002
An implantable analyzer of bio-impedance dynamics: mixed signal approach [telemetric monitors]
An on-chip implantable lock-in analyzer of variations of the electrical bio-impedance has been designed, and pilot ASICs have… 
1986
1986
Ordering and decomposition in semiconductor alloys
The stability of ordered semiconductor alloys has been studied, using total energy pseudopotential calculations. The ordered… 
1968
1968
THE INFLUENCE OF NITROGEN, TITANIUM, AND ZIRCONIUM ON THE BORON HARDENABILITY EFFECT IN CONSTRUCTIONAL ALLOY STEELS.