Alloy: a language and tool for exploring software designs.
Daniel JacksonPublished in: Commun. ACM (2019)
Keyphrases
- software tools
- software package
- object oriented programming language
- analysis tool
- software platform
- software systems
- design tools
- software application
- search based software testing
- script language
- programming tool
- software environment
- specification language
- language learning
- software architecture
- programming language
- graphical user interface
- scripting language
- software development
- software design
- modeling language
- graphical user interfaces
- computer systems
- highly modular
- user interface
- mysql database
- natural language