Formal Evaluation Methodology of Educational Scenario in Distance Learning
Abstract
References
Index Terms
- Formal Evaluation Methodology of Educational Scenario in Distance Learning
Recommendations
Structured methodology+object-oriented methodology+formal methods: methodology of SOFL
ICECCS '95: Proceedings of the 1st International Conference on Engineering of Complex Computer SystemsThere is a growing disappointment that formal methods have not been widely adopted in industry. One reason for this is that their application consumes prohibitive amounts of resource. Much research on the integration of available formal methods (e.g. Z, ...
A formal approach to scenario integration
The scenario technique is an interesting approach for eliciting requirements. A formal approach to scenario generation has made it even more attractive. The next logical step is to integrate several scenarios into one single, consistent, specification. ...
Comments
Information & Contributors
Information
Published In
![cover image Guide Proceedings](/cms/asset/a3aa827e-4119-4c21-b449-b1a33247aaf7/2941621.cover.jpg)
Publisher
Springer-Verlag
Berlin, Heidelberg
Publication History
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Other Metrics
Citations
View Options
View options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in