Modelling and Analysing Software in mCRL2.
Jan Friso GrooteJeroen J. A. KeirenBas LuttikErik P. de VinkTim A. C. WillemsePublished in: FACS (2019)
Keyphrases
- software development
- software design
- software maintenance
- software systems
- commercial software
- hardware design
- case study
- source code
- software tools
- design patterns
- uml profile
- software platform
- software package
- simulation environment
- software projects
- data mining
- development process
- computer systems
- website
- decision making
- information systems
- machine learning