An Intelligent Tutoring System for the Dijkstra-Gries Methodology (English)
- New search for: Ng, F.
- New search for: Ng, F.
- New search for: Butler, G.
- New search for: Kay, J.
In:
IEEE transactions on software engineering
;
21
, 5
; 415-428
;
1995
-
ISSN:
- Article (Journal) / Print
-
Title:An Intelligent Tutoring System for the Dijkstra-Gries Methodology
-
Contributors:
-
Published in:IEEE transactions on software engineering ; 21, 5 ; 415-428
-
Publisher:
- New search for: IEEE
-
Place of publication:New York, NY [u.a.]
-
Publication date:1995
-
ISSN:
-
ZDBID:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:English
- New search for: 54.00 / 54.52
- Further information on Basic classification
-
Keywords:
-
Classification:
-
Source:
Table of contents – Volume 21, Issue 5
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 389
-
Compiling real-time programs with timing constraint refinement and structural code motionGerber, R. / Seongsoo Hong, et al. | 1995
- 405
-
Test-execution-based reliability measurement and modeling for large commercial softwareTian, J. / Peng Lu, / Palma, J. et al. | 1995
- 415
-
An intelligent tutoring system for the Dijkstra-Gries methodologyNg, F. / Butler, G. / Kay, J. et al. | 1995
- 429
-
Analyzing expected time by scheduler-luck gamesDolev, S. / Israeli, A. / Moran, S. et al. | 1995
- 440
-
Modeling and improving an industrial software processBandinelli, S. / Fuggetta, A. / Lavazza, L. / Loi, M. / Picco, G.P. et al. | 1995
- 455
-
Software dependability in the Tandem GUARDIAN systemInhwan Lee, / Iyer, R.K. et al. | 1995
- 468
-
Measures of the potential for load sharing in distributed computing systemsSriram, M.G. / Singhal, M. et al. | 1995
- 475
-
Effective analysis for engineering real-time fixed priority schedulersBurns, A. / Tindell, K. / Wellings, A. et al. | 1995
- 481
-
Call for Papers - 18th International Conference on Software Engineering| 1995
- 483
-
IEEE Copyright Form| 1995