Sciweavers

234 search results - page 1 / 47
» Teaching Software Engineering in a Compiler Project Course
Sort
View
ICSM
2006
IEEE
13 years 11 months ago
Teaching Evolution of Open-Source Projects in Software Engineering Courses
In the traditional software engineering courses, the students develop small programs from scratch. This does not correspond to industry practice where programmers spend most of th...
Joseph Buchta, Maksym Petrenko, Denys Poshyvanyk, ...
VMCAI
2012
Springer
12 years 24 days ago
Teaching Semantics with a Proof Assistant: No More LSD Trip Proofs
We describe a course on the semantics of a simple imperative programming language and on applications to compilers, type systems, static analyses and Hoare logic. The course is ent...
Tobias Nipkow
CSEE
2000
Springer
13 years 9 months ago
Lessons Learned from Teaching Software Engineering to Adult Students
Teaching provides many challenges. Presenting Software Engineering to students brings a teacher face to face with a most unwieldy subject. Packaging this subject for delivery to a...
James J. Cusick
ICSE
2005
IEEE-ACM
14 years 5 months ago
Process issues in course projects
Defined software engineering process help teaching and guiding software engineering courses projects. However, using them raises several issues related to process and course featu...
Wilson P. Paula Filho