Alloy in action.

• Localización: Scientific American, ISSN 0036-8733, Vol. 294, Nº. 6, 2006, págs. 71-71
• Idioma: inglés
• Texto completo no disponible (Saber más ...)
• Resumen

  • A chart reviewed the design and performance of alloy code in software design is presented. The author reviews how the code provides a language that clarifies a computer program's structure and an automated analyzer that searches the vast numbers of possible executions. The three steps of alloy code operation, including object definition, operation models and requirement analysis, are discussed.