Using Semiformal and Formal Methods in Software Design: An Integrated Approach for Intelligent Learning Management System.
Souvik SenguptaRanjan DasguptaPublished in: ACSS (2) (2014)
Keyphrases
- software design
- formal methods
- learning management systems
- software engineering
- learning objects
- higher education
- distance learning
- software systems
- software development
- learning styles
- e learning
- online learning
- learning process
- formal analysis
- artificial intelligence
- formal specification
- model checking
- knowledge based systems
- content delivery
- design patterns
- educational software
- learning technologies
- safety critical
- learning path
- learning materials
- blended learning
- learning design
- development lifecycle
- reverse engineering
- object oriented
- software components
- black box
- learning experience
- multi agent systems
- real world
- data sets
- scorm compliant
- database