Alloy: A Language and Tool for Exploring Software Designs.
The author discusses the programming language Alloy. He mentions its use in designing software systems, previous software development tools including theorem provers and model checkers, and how Alloy uses relational logic, small scope analysis, and translation to a satisfiability solver to function.
| Publicado en: | Communications of the ACM Vol. 62; no. 9; pp. 66 - 77 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Association for Computing Machinery
Sep2019
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=138293525&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 138293525 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00010782 ACM jtl: Communications of the ACM issn: 00010782 maglogo: N pubinfo: dt: Sep2019 vid: 62 iid: 9 pid: 68 pub: Association for Computing Machinery artinfo: ui: 138293525 10.1145/3338843 ppf: 66 ppct: 11 formats: tig: atl: Alloy: A Language and Tool for Exploring Software Designs. aug: au: JACKSON, DANIEL affil: Professor of computer science at the Massachusetts Institute of Technology, Cambridge, MA, USA Associate Director of the Computer Science and Artificial Intelligence Laboratory at the Massachusetts Institute of Technology, Cambridge, MA, USA su: Software architecture Programming languages Software development tools Computer logic Computer software sug: subj: Software architecture Programming languages Software development tools Computer logic Computer software ab: The author discusses the programming language Alloy. He mentions its use in designing software systems, previous software development tools including theorem provers and model checkers, and how Alloy uses relational logic, small scope analysis, and translation to a satisfiability solver to function. pubtype: Periodical doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2019 holdings: @attributes: islocal: N |
|---|