Sciweavers

3176 search results - page 398 / 636
» Strategic product development
Sort
View
RSP
1999
IEEE
15 years 11 months ago
System Design Validation Using Formal Models
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and ...
Peter Henderson, Robert John Walters
VL
1999
IEEE
103views Visual Languages» more  VL 1999»
15 years 11 months ago
ZASH: A Browsing System for Multi-Dimensional Data
This paper described a browsing system for movie database. The system, named ZASH, was designed and developed to explore the following features: (1) the use of multiple 2D planes ...
Emiko Orimo, Hideki Koike
SIGCSE
1998
ACM
99views Education» more  SIGCSE 1998»
15 years 10 months ago
The ExCon project: advocating continuous examination
In this paper it is claimed that traditional examination often is destructive to the process of learning. It does not matter how good intentions educators have, it is the way they...
Urban Nuldén
COMPSAC
1997
IEEE
15 years 10 months ago
Task.o object modeling approach for robot workcell programming
Robot workcell programming is an application where object-oriented programming paradigms can be effectively applied to handle the issues such as concurrency and autonomy. In this ...
Gyu-Tae Kim, Sung Deok Cha, Doo-Hwan Bae
ICSE
1998
IEEE-ACM
15 years 10 months ago
Calibrating the COCOMO II Post-Architecture Model
The COCOMO II model was created to meet the need for a cost model that accounted for future software development practices. This resulted in the formulation of three submodels for...
Bradford Clark, Sunita Devnani-Chulani, Barry W. B...