9110 search results - page 403 / 1822 » Formally-Based Design Evaluation |
147
click to vote
IVS
2006
15 years 6 months ago
2006
This paper describes a prototype called CoMem (Corporate Memory) that supports the finding and understanding of useful items in large hierarchical repositories. The particular dom...
177
click to vote
JCAL
1998
15 years 6 months ago
1998
The paper presents the main design issues of a distance learning course on Business on the Internet. The instructional design is based on a learner centered instructional stratedy...
204
click to vote
TAPOS
1998
15 years 6 months ago
1998
Building and maintaining the class hierarchy has been recognized as an important but one of the most difficult activities of object-oriented design. Concept (or Galois) lattices a...
183
click to vote
TSE
1998
15 years 6 months ago
1998
—We describe and analyze the process of requirements development in scenario-based design through consideration of a case study. In our project, a group of teachers and system de...
167
click to vote
JCC
2011
15 years 1 months ago
2011
: The Nucleic Acid Package (NUPACK) is a growing software suite for the analysis and design of nucleic acid systems. The NUPACK web server (http://www.nupack.org) currently enables...