Sciweavers

1565 search results - page 197 / 313
» Teaching
Sort
View
TFM
2004
Springer
118views Formal Methods» more  TFM 2004»
15 years 11 months ago
A Beginner's Course on Reasoning About Imperative Programs
Formal Methods teaching at undergraduate level has been going on at Manchester for a good number of years.We have introduced various courses based on different approaches.We have e...
Kung-Kiu Lau
XPU
2004
Springer
15 years 11 months ago
Roles in Agile Software Development Teams
One of the key elements in describing a software development method is the roles that are assigned to the members of the software team. This article describes our experience in ass...
Yael Dubinsky, Orit Hazzan
XPU
2004
Springer
15 years 11 months ago
Human Aspects of Software Engineering: The Case of Extreme Programming
As with to other agile methods, which value "Individuals and interactions over processes and tools" (http://agilemanifesto.org/), Extreme Programming (XP) cares about th...
Orit Hazzan, James E. Tomayko
ACSC
2003
IEEE
15 years 11 months ago
A Web Based Environment for Learning to Program
The purpose of this paper is to describe in detail the current development status of the innovative Environment for Learning to Program (ELP) which provides an interactive web-bas...
Nghi Truong, Peter Bancroft, Paul Roe
HICSS
2003
IEEE
125views Biometrics» more  HICSS 2003»
15 years 11 months ago
Facilitator's Invisible Expertise and Supra-Situational Activities in a Telelearning Environment
The paper reports a study of a videoconference-based environment in decentralized university education and factors determining the success of teaching and learning in the environm...
Ulf Hedestig, Victor Kaptelinin