Sciweavers

4917 search results - page 389 / 984
» Software Engineering is Not Computer Science
Sort
View
VISSOFT
2005
IEEE
15 years 9 months ago
DependencyViewer - A Tool for Visualizing Package Design Quality Metrics
DependencyViewer helps to control package dependencies to avoid degeneration of package designs. To this end it computes design quality metrics including stabilabstractness for ea...
Michael Wilhelm, Stephan Diehl
SIGSOFT
2004
ACM
15 years 9 months ago
A type system for object models
A type system for object models is described that supports subtypes and allows overloading of relation names. No special features need be added to the modelling language; in parti...
Jonathan Edwards, Daniel Jackson, Emina Torlak
SCAM
2003
IEEE
15 years 9 months ago
Barrier Slicing and Chopping
One of the critiques on program slicing is that slices presented to the user are hard to understand. This is partly due to bad user interfaces, but mainly related to the problem t...
Jens Krinke
AUIC
2002
IEEE
15 years 9 months ago
Tangible User Interaction Using Augmented Reality
This paper describes a novel use of augmented reality for the visualisation of virtual objects as part of the move towards pervasive computing. It uses fiducial markers as switche...
Bruce H. Thomas, Hannah Slay, Rudi Vernik
TACS
2001
Springer
15 years 8 months ago
Fixed-Point Logic with the Approximation Modality and Its Kripke Completeness
Abstract. We present two modal typing systems with the approximation modality, which has been proposed by the author to capture selfreferences involved in computer programs and the...
Hiroshi Nakano