53302 search results - page 67 / 10661 » On the design of a |
SIGCSE
1998
ACM
14 years 2 days ago
1998
ACM
act In teaching object oriented design, it is important for students to work on projects that use a variety of design patterns, interaction between objects, and provide the opportu...
SEAAI
1998
Springer
14 years 2 days ago
1998
Springer
Abstract. This paper introduces conceptual designing within an F-B-S framework. It then goes on to describe a number of models of designing before introducing the notions of situat...
DAC
1994
ACM
13 years 12 months ago
1994
ACM
This tutorial introduces several methods of formal hardware veri cation that could potentially have a practical impact on the design process. The measure of success in integrating...
EURODAC
1995
IEEE
13 years 11 months ago
1995
IEEE
In this paper, we present a new model for concurrency control that supports cooperation of design tools and designers in a design environment. We capture characteristic access and...
FLAIRS
2008
13 years 10 months ago
2008
The paper discusses a proposal of a formal description of ARD+ a conceptual design and hierarchical refinement method for knowledge-based systems. Formalization of method syntax i...