The Java programming language has gained substantial popularity in the past two years. Java's networking features, along with the growing number of Web browsers that execute J...
This paper introduces design-driven compilation, an approach in which the compiler uses design information to drive its analysis and verify that the program conforms to its design....
Abstract -- This paper describes the use of a hierarchical design representation standard, CHDStd, as part of the architecture of the Chip Hierarchical Design System (CHDS). Detail...
S. Grout, G. Ledenbach, R. G. Bushroe, P. Fisher, ...
Large and complex software systems contain a variety of entities objects and a complex control system transformationfunction. The pure object-orienteddesign and structured des...
In this paper, we describe three key areas in the literature where sketching has been seen as being beneficial to designers. We applied this knowledge in the user interface design...