Software Engineering Commons^™

Object Oriented Program Correctness With Oosiml, José M. Garrido

Faculty Articles

Software reliability depends on program correctness and robustness and these are extremely important in developing high-quality software. Correctness is also essential when considering aspects of software security. However, experience applying these concepts, associated methods, and supporting software with Eiffel and Java have shown that students find some diffculty learning program correctness and in learning the software tools provided. We have developed an experimental language, OOSimL, that includes an assertion notation similar to that of Eiffel but which has much more flexibility, and that provides the same semantics as Java.

The first part of this paper provides an overview of concepts …

An Exploratory Overview Of Teaching Computer Game Development, Mario Guimaraes, Meg C. Murray

Faculty Articles

The computer game industry has exploded reaching sales of several billion dollars a year and, consequently, a majority of college students are familiar with the gaming environment. In fact, videogame development has been cited as one way to motivate students to explore the world of Computer Science. However, most videogames are extremely complex computer programs created by a team of developers including programmers and graphic artists and represent thousands of hours of work. Fortunately there are software tools available that provide a way for simple computer games to be created fairly easily using a building block approach. This paper discusses …

Move To Component Based Architectures: Introducing Microsoft's .Net Platform Into The College Classroom, Meg C. Murray

Faculty Articles

A transformation has been occurring in the architectural model for computer-based application intense software systems. This new model, software-as-a-service, will have a profound impact on the design and development of software for many years to come and as such college level computing curriculums will need to incorporate the concepts and methodologies associated with this new architecture. The platform is built upon a view of interrelated, distributed peer-level software modules and components that work in tandem to achieve specified functional goals. From Microsoft's viewpoint, migration to the new platform requires a radical shift in the software development lifecycle. It is becoming …

An Is Capstone Project: The Mywick Property Management System, Martha Myers

Faculty Articles

This paper describes a project suitable for use in an upper division course requiring the completion of analysis, design and implementation of a software system. It is especially useful for illustrating multiple cycles through the development process, as well as for integrating key concepts from a number of fundamental knowledge clusters in a typical undergraduate IS program of study. These knowledge clusters include database management, project management, programming principles, and system analysis and design. In the pilot class, students employed use case analysis as well as standard object-oriented techniques such as class diagrams and sequence diagrams. Students followed a modified …