A study on user-friendly formal specification languages for requirements formalization.
Cheng PangAntti PakonenIgor BuzhinskyValeriy VyatkinPublished in: INDIN (2016)
Keyphrases
- user friendly
- specification languages
- highly interactive
- formal specification
- graphical user interface
- graphical interface
- software package
- web services
- user interface
- back end
- senior citizens
- databases
- object oriented programs
- interactive data mining
- command line
- formal model
- building blocks
- natural language
- information systems