Exploring the Role of Logic and Formal Methods in Information Systems Education.
Anna ZamanskyEitan FarchiPublished in: SEFM Workshops (2015)
Keyphrases
- formal methods
- information systems
- model checker
- formal analysis
- model checking
- formal specification
- information technology
- software engineering
- knowledge based systems
- safety critical
- e learning
- distance learning
- provably correct
- database
- artificial intelligence
- national level
- information and communication technologies
- modal logic
- higher education
- life cycle
- asynchronous circuits
- systems analysts
- machine learning