53302 search results - page 67 / 10661 » Designing |
125
Voted
SIGCSE
1998
ACM
15 years 6 months 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...
109
click to vote
SEAAI
1998
Springer
15 years 6 months 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...
111
Voted
DAC
1994
ACM
15 years 6 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...
118
click to vote
EURODAC
1995
IEEE
15 years 6 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...
110
Voted
FLAIRS
2008
15 years 4 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...