Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleJuly 2009
Engaging students in specification and reasoning: "hands-on" experimentation and evaluation
- Murali Sitaraman,
- Jason O. Hallstrom,
- Jarred White,
- Svetlana Drachova-Strang,
- Heather K. Harton,
- Dana Leonard,
- Joan Krone,
- Rich Pak
ACM SIGCSE Bulletin (SIGCSE), Volume 41, Issue 3September 2009, Pages 50–54https://doi.org/10.1145/1595496.1562899We introduce a "hands-on" experimentation approach for teaching mathematical specification and reasoning principles in a software engineering course. The approach is made possible by computer-aided analysis and reasoning tools that help achieve three ...
Also Published in:
ITiCSE '09: Proceedings of the 14th annual ACM SIGCSE conference on Innovation and technology in computer science education: ISBN 9781605583815, July 2009 - research-articleJune 2009
Security testing: mind the knowledge gap
ACM SIGCSE Bulletin (SIGCSE), Volume 41, Issue 2June 2009, Pages 99–102https://doi.org/10.1145/1595453.1595484Considerable reliance and trust is placed on software performing as expected, even when subjected to malicious treatment. Arguably, the most significant consequences to both the software vendor and the user result from security vulnerabilities being ...
- research-articleMarch 2009
Seattle: a platform for educational cloud computing
ACM SIGCSE Bulletin (SIGCSE), Volume 41, Issue 1March 2009, Pages 111–115https://doi.org/10.1145/1539024.1508905Cloud computing is rapidly increasing in popularity. Companies such as RedHat, Microsoft, Amazon, Google, and IBM are increasingly funding cloud computing infrastructure and research, making it important for students to gain the necessary skills to work ...
Also Published in:
SIGCSE '09: Proceedings of the 40th ACM technical symposium on Computer science education: ISBN 9781605581835, March 2009 - review-articleNovember 2008
Functional testing for students: a practical approach
ACM SIGCSE Bulletin (SIGCSE), Volume 40, Issue 4December 2008, Pages 58–62https://doi.org/10.1145/1473195.1473221Testing is an integral part of software engineering. When teaching this discipline, educators choose testing approaches to be implemented in their classes. But many of these approaches, no matter how well devised or comprehensive, fall short of being ...
- columnNovember 2008
Math counts: software correctness and a SIGCSE 2008 BoF
ACM SIGCSE Bulletin (SIGCSE), Volume 40, Issue 4December 2008, Pages 27–28https://doi.org/10.1145/1473195.1473211Interesting how the term "software correctness" keeps popping up in this column. What is correct software, and can it be achieved -- if so how? The Math CountS columns strive to provide some insights into answering the latter question. One example I ...
-
- research-articleMarch 2008
Moving beyond security tracks: integrating security in cs0 and cs1
ACM SIGCSE Bulletin (SIGCSE), Volume 40, Issue 1March 2008, Pages 320–324https://doi.org/10.1145/1352322.1352246In response to the national computer security crisis, colleges and universities have developed security tracks and specialized security courses. While security tracks are effective at producing security experts, they only reach a small subset of ...
Also Published in:
SIGCSE '08: Proceedings of the 39th SIGCSE technical symposium on Computer science education: ISBN 9781595937995, March 2008 - research-articleMarch 2008
Microwulf: a beowulf cluster for every desk
ACM SIGCSE Bulletin (SIGCSE), Volume 40, Issue 1March 2008, Pages 121–125https://doi.org/10.1145/1352322.1352178A Beowulf cluster is a distributed memory multiprocessor built from commodity off-the-shelf PC hardware, an inexpensive network for inter-process communication, and open-source software. Today's multi-core CPUs make it possible to build a Beowulf ...
Also Published in:
SIGCSE '08: Proceedings of the 39th SIGCSE technical symposium on Computer science education: ISBN 9781595937995, March 2008 - articleJune 2007
Failures in complex systems: case studies, causes, and possible remedies
ACM SIGCSE Bulletin (SIGCSE), Volume 39, Issue 2June 2007, Pages 180–184https://doi.org/10.1145/1272848.1272905Computers are the pervasive technology of our time. As computers become critically tied to human life, it also becomes more important that interactions with them are under control. They are no longer a novelty, but are integrated into the fabric of our ...
- articleJune 2006
A tool for helping teach a programming method
ACM SIGCSE Bulletin (SIGCSE), Volume 38, Issue 3September 2006, Pages 212–216https://doi.org/10.1145/1140123.1140181We present and discuss a tool that checks the correctness of simple programs constructed according to the structured programming method. The tool is intended to provide interesting feedback to students learning the programming method: it detects ...
Also Published in:
ITICSE '06: Proceedings of the 11th annual SIGCSE conference on Innovation and technology in computer science education: ISBN 1595930558, June 2006 - articleDecember 2005
A software testing course for computer science majors
ACM SIGCSE Bulletin (SIGCSE), Volume 37, Issue 4December 2005, Pages 50–53https://doi.org/10.1145/1113847.1113876The ability to program is a fundamental skill for Computer Science (CS) majors, and most CS programs introduce programming concepts through a sequence of courses. In fact, "programming courses offer skills and training that meets many of the needs ...
- articleJune 2005
Comprehending large code bases - the skills required for working in a "brown fields" environment
ACM SIGCSE Bulletin (SIGCSE), Volume 37, Issue 2June 2005, Pages 12–14https://doi.org/10.1145/1083431.1083439In the search for answers to the effective teaching of programming at the beginner level, we are now seeing broader programs of research investigate the distinctions between reading, comprehending and writing small programs [1], [2]. In New Zealand we ...
- articleFebruary 2005
Interpreting Java program runtimes
ACM SIGCSE Bulletin (SIGCSE), Volume 37, Issue 12005, Pages 36–40https://doi.org/10.1145/1047124.1047372Many instructors use program runtimes to illustrate and reinforce algorithm complexity concepts. Hardware, operating systems and compilers all influence the runtimes, but generally not to the extent of making the data difficult to interpret. The Java ...
Also Published in:
SIGCSE '05: Proceedings of the 36th SIGCSE technical symposium on Computer science education: ISBN 1581139977, February 2005 - articleMarch 2004
A reusable, academic-strength, metrics-based software engineering process for capstone courses and projects
ACM SIGCSE Bulletin (SIGCSE), Volume 36, Issue 1March 2004, Pages 492–496https://doi.org/10.1145/1028174.971465This paper describes a mature Software Engineering Process that may be applied to capstone courses, student projects, and research projects in a university environment. This process, based in part on the Team Software Process of the Software Engineering ...
Also Published in:
SIGCSE '04: Proceedings of the 35th SIGCSE technical symposium on Computer science education: ISBN 1581137982, March 2004 - articleMarch 2004
The 2003 model curriculum for a liberal arts degree in computer science: preliminary report
ACM SIGCSE Bulletin (SIGCSE), Volume 36, Issue 1March 2004, Pages 282–283https://doi.org/10.1145/1028174.971400Also Published in:
SIGCSE '04: Proceedings of the 35th SIGCSE technical symposium on Computer science education: ISBN 1581137982, March 2004 - articleMarch 2004
Writing efficient programs: performance issues in an undergraduate CS curriculum
ACM SIGCSE Bulletin (SIGCSE), Volume 36, Issue 1March 2004, Pages 275–279https://doi.org/10.1145/1028174.971396Performance is an essential aspect of many software systems, and it is important for programmers to understand performance issues. However, most undergraduate curricula do not explicitly cover performance issues---performance monitoring and profiling ...
Also Published in:
SIGCSE '04: Proceedings of the 35th SIGCSE technical symposium on Computer science education: ISBN 1581137982, March 2004 - articleJune 2003
Studying program correctness by constructing contracts
ACM SIGCSE Bulletin (SIGCSE), Volume 35, Issue 3September 2003, Pages 129–133https://doi.org/10.1145/961290.961548Because the concept of program correctness is generally taught as an activity independent of the programming process, most introductory computer science (CS) students perceive it as unnecessary and even irrelevant. The concept of contracts, on the other ...
Also Published in:
ITiCSE '03: Proceedings of the 8th annual conference on Innovation and technology in computer science education: ISBN 1581136722, June 2003 - articleJune 2003
Measuring effectiveness of constructivist and behaviourist assignments in CS102
ACM SIGCSE Bulletin (SIGCSE), Volume 35, Issue 3September 2003, Pages 40–44https://doi.org/10.1145/961290.961526Two approaches to setting programming assignments are compared, using actual assignment and solutions from two distinct CS102 lecture sections during the same semester. The complexity and effort represented by the solutions is compared using software ...
Also Published in:
ITiCSE '03: Proceedings of the 8th annual conference on Innovation and technology in computer science education: ISBN 1581136722, June 2003 - articleJune 2002
Specific proposals for the use of petri nets in a concurrent programming course
ACM SIGCSE Bulletin (SIGCSE), Volume 34, Issue 3September 2002, Pages 165–167https://doi.org/10.1145/637610.544463Concurrency is a difficult subject to teach and learn. This paper presents a set of recipes for the use of Petri nets as a teaching aid of some fundamental concurrency concepts, in the context of an introductory concurrent programming course. Classroom ...
Also Published in:
ITiCSE '02: Proceedings of the 7th annual conference on Innovation and technology in computer science education: ISBN 1581134991, June 2002 - articleFebruary 2001
Integrating testing into the curriculum — arsenic in small doses
ACM SIGCSE Bulletin (SIGCSE), Volume 33, Issue 1March 2001, Pages 337–341https://doi.org/10.1145/366413.364617Testing accounts for 50% of the cost of software, yet it receives little treatment in most curricula. This paper presents some approaches to giving all students multiple, incremental exposures to software testing throughout the curriculum. A unifying ...
Also Published in:
SIGCSE '01: Proceedings of the thirty-second SIGCSE technical symposium on Computer Science Education: ISBN 1581133294, February 2001 - articleAugust 1998
Using the BURKS 2 CD-ROM in a principles of programming languages course
ACM SIGCSE Bulletin (SIGCSE), Volume 30, Issue 3Sept. 1998, Pages 239–242https://doi.org/10.1145/290320.283555In this paper, we describe the use of the BURKS 2 CD-ROM in a principles of programming languages course. The CD-ROM contains compilers and documentation for many programming languages. The course described in this paper emphasises principles and ...
Also Published in:
ITiCSE '98: Proceedings of the 6th annual conference on the teaching of computing and the 3rd annual conference on Integrating technology into computer science education: Changing the delivery of computer science education: ISBN 1581130007, August 1998