Javy:: Virtual environment for case-based teaching of Java']Java Virtual Machine

被引：0

作者：

Gómez-Martín, PP ^{[1
]}

Gómez-Martín, MA ^{[1
]}

González-Calero, PA ^{[1
]}

机构：

[1] Univ Complutense Madrid, Dept Sistemas Informat & Programac, E-28040 Madrid, Spain

来源：

KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 1, PROCEEDINGS | 2003年 / 2773卷

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

Knowledge-based learning environments have become an ideal solution to provide an effective learning, Those systems base their teaching techniques upon constructivist problem solving, to supply an engaged learning environment. The students axe presented with more and more challenging exercises, selected from a set of different scenarios depending on their knowledge. This paper presents a new of such systems, which aims to teach Java compilation with the help of a metaphorical virtual environment that simulates the Java Virtual Machine.

引用

页码：906 / 913

页数：8

共 50 条

[41] CEJVM: "Cluster enabled Java']Java virtual machine"
Janjua, MU
Yasin, M
Sher, F
Awan, K
Hassan, I
[J]. 2002 IEEE INTERNATIONAL CONFERENCE ON CLUSTER COMPUTING, PROCEEDINGS, 2002, : 389 - 393
[42] Introducing TakaTuka - A Java']Java Virtual Machine for Motes
Aslam, Faisal
Schindelhauer, Christian
Ernst, Gidon
Spyra, Damian
Meyer, Jan
Zalloom, Mohannad
[J]. SENSYS'08: PROCEEDINGS OF THE 6TH ACM CONFERENCE ON EMBEDDED NETWORKED SENSOR SYSTEMS, 2008, : 399 - 400
[43] Towards an algebraic specification of the Java']Java Virtual Machine
Stephenson, K
[J]. PROSPECTS FOR HARDWARE FOUNDATIONS, 1998, 1546 : 236 - 277
[44] Adaptable Runtime Monitoring for the Java']Java Virtual Machine
Rosa, Andrea
Zheng, Yudi
Sun, Haiyang
Javed, Omar
Binder, Walter
[J]. LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: DISCUSSION, DISSEMINATION, APPLICATIONS, ISOLA 2016, PT II, 2016, 9953 : 531 - 546
[45] Venus: A Visual Java']Java Virtual Machine Framework
Wu, Weimin
Cao, Yongfeng
Su, Qing
Zhang, Yonghe
Li, Kailun
[J]. ICCSSE 2009: PROCEEDINGS OF 2009 4TH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE & EDUCATION, 2009, : 884 - +
[46] Java']Java Virtual Machine support for object serialization
Breg, F
Polychronopoulos, CD
[J]. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2003, 15 (3-5): : 263 - 275
[47] Dynamic class loading in the Java']Java™ virtual machine
Liang, S
Bracha, G
[J]. ACM SIGPLAN NOTICES, 1998, 33 (10) : 36 - 44
[48] PicoJava']Java-I: The Java']Java virtual machine in hardware
OConnor, JM
Tremblay, M
[J]. IEEE MICRO, 1997, 17 (02) : 45 - 53
[49] Defining the Java']Java Virtual Machine as platform for provably correct Java']Java compilation
Börger, E
Schulte, W
[J]. MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 1998, 1998, 1450 : 17 - 35
[50] Security Enhanced Java']Java: Mandatory Access Control for the Java']Java Virtual Machine
Venelle, Benjamin
Briffaut, Jeremy
Clevy, Laurent
Toinard, Christian
[J]. 2013 IEEE 16TH INTERNATIONAL SYMPOSIUM ON OBJECT/COMPONENT/SERVICE-ORIENTED REAL-TIME DISTRIBUTED COMPUTING (ISORC), 2013,

← 1 2 3 4 5 →