Abstract. We describe a system designed to provide database programming support for Oberon programmers. The system is based on a generic object-oriented data model which supports r...
We show how the formal description language LOTOS can be used to de ne software architectures and how patterns over LOTOS can serve to characterize architectural styles. We charact...
Many approaches to learning and teaching rely upon students working in groups. Formation of optimal groups can be a time consuming and complex task, particularly when the list of ...
We present Zeus, an environment designed to aid in the creation of a repository of digital theses. Zeus is an asynchronous cooperative toolset which allows the revision and annota...
This paper presents a model and an analysis done to predict enemy force closure. The simulation replaces a pencil and ruler method that has been used by Department of Defense plan...