Sciweavers

726 search results - page 60 / 146
» Formal Requirements Engineering: Learning from the Students
Sort
View
C5
2005
IEEE
15 years 5 months ago
Suggestions for New Features to Support Collaborative Learning in Virtual Worlds
The authors have some experience in building virtual worlds for education purposes, in archaeology and for language learning. However, many mainstream world-building applications ...
Erik Champion, Sachiyo Sekiguchi
AI
2007
Springer
14 years 12 months ago
Learning action models from plan examples using weighted MAX-SAT
AI planning requires the definition of action models using a formal action and plan description language, such as the standard Planning Domain Definition Language (PDDL), as inp...
Qiang Yang, Kangheng Wu, Yunfei Jiang
SIGCSE
2009
ACM
194views Education» more  SIGCSE 2009»
16 years 12 days ago
Integrating pedagogical code reviews into a CS 1 course: an empirical study
Formal code inspections are employed by teams of professional software engineers to identify software defects and improve the quality of software. After reviewing a piece of code ...
Christopher D. Hundhausen, Anukrati Agrawal, Dana ...
HICSS
2002
IEEE
87views Biometrics» more  HICSS 2002»
15 years 4 months ago
Challenges to Collaborative Tool Adoption in a Manufacturing Engineering Setting: A Case Study
This study examined a collaborative tool intervention within a geographically-distributed, engineering-design team in a large manufacturing company. Baseline data collection to de...
Elizabeth E. Wierba, Thomas A. Finholt, Michelle P...
ICWL
2004
Springer
15 years 5 months ago
The Agile Teaching/Learning Methodology and Its e-Learning Platform
Abstract. The Agile Teaching/Learning Methodology (ATLM) is a teaching/learning methodology designed for higher-education based on the best practices and ideas from the field of so...
Andy Hon Wai Chun