Logic-based Software Modeling with FOML.
Mira BalabanIgal KhitronMichael KiferPublished in: J. Object Technol. (2020)
Keyphrases
- modeling language
- software development
- computer systems
- software maintenance
- software tools
- three dimensional
- multiscale
- information technology
- knowledge representation
- embedded systems
- software platform
- data sets
- commercial software
- software package
- modeling framework
- software components
- software systems
- control system
- decision trees
- multimedia
- information retrieval