3176 search results - page 180 / 636 » Strategic product development |
163
click to vote
HASKELL
2006
ACM
16 years 16 days ago
2006
ACM
We propose a development methodology for designing and prototyping high assurance microkernels, and describe our application of it. The methodology is based on rapid prototyping a...
160
click to vote
PSD
2004
Springer
15 years 12 months ago
2004
Springer
The development of new disclosure protection techniques is useful only insofar as those techniques are adopted by statistical agencies. In order for technical experts in disclosure...
174
click to vote
SIGSOFT
1995
ACM
15 years 10 months ago
1995
ACM
—We conducted a long-term experiment to compare the costs and benefits of several different software inspection methods. These methods were applied by professional developers to ...
197
click to vote
CASCON
2007
15 years 8 months ago
2007
We present preliminary work on an IDE for formal software development using tabular expressions as the basis for precise specifications and descriptions of software behaviour. 1 ...
166
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
Abstract. The intent of this position paper is to present the focus of interest of our end-user development (EUD) related research at SAP Research CEC Darmstadt, enabling other par...