[ACM Press the 2nd International Workshop - Saarbrücken, Germany (2016.07.21-2016.07.21)] Proceedings of the 2nd International Workshop on Quality-Aware DevOps - QUDOS 2016 - A tool for verification of big-data applications
- 作者Bersani, Marcello M.; Marconi, Francesco; Rossi, Matteo; Erascu, Madalina
- 文件大小364.94KB
- 发表时间2016
- DOI10.1145/2945408.2945419
- 页码44-45
METEOR: Exploring model elimination theorem provingOwen Astrachan · 1994
Bubble sortAstrachan, Owen · ACM SIGCSE Bulletin · 2003
Out-of-the-boxAstrachan, Owen · ACM SIGCSE Bulletin · 2009
Pictures as invariantsAstrachan, Owen · ACM SIGCSE Bulletin · 1991
Cutting apron stringsAstrachan, Owen · ACM SIGCSE Bulletin · 2007
CS education in the U.S.Dewar, Robert; Astrachan, Owen · Crossroads · 2009
Themes and tapestriesArnow, David; Astrachan, Owen; Kiper, James; Workman, Robert; Whitlock, Paula; Auernheimer, Brent; Rager, John · ACM SIGCSE Bulletin · 1994
Update on the CS Principles projectAstrachan, Owen; Briggs, Amy · ACM SIGCSE Bulletin · 2011
Teaching software engineering through game designClaypool, Kajal; Claypool, Mark · ACM SIGCSE Bulletin · 2005
Teaching students to hackLogan, Patricia Y.; Clarkson, Allen · ACM SIGCSE Bulletin · 2005
Using puzzles in teaching algorithmsLevitin, Anany; Papalaskari, Mary-Angela · ACM SIGCSE Bulletin · 2002
The CSedRes toolboxAlmstrum, Vicki L.; Wu, Cheng-Chih · ACM SIGCSE Bulletin · 1993
Introducing recursion by parking carsWirth, Michael · ACM SIGCSE Bulletin · 2008
Programming by choiceMaloney, John H.; Peppler, Kylie; Kafai, Yasmin; Resnick, Mitchel; Rusk, Natalie · ACM SIGCSE Bulletin · 2008
Guiding students through programming puzzlesRoss, John Minor · ACM SIGCSE Bulletin · 2002
Kinesthetic learning in the classroomBegel, Andrew; Garcia, Daniel D.; Wolfman, Steven A. · ACM SIGCSE Bulletin · 2004