1937 search results - page 84 / 388 » Starting B Specifications from Use Cases |
109
click to vote
ICMI
2005
Springer
15 years 10 months ago
2005
Springer
 Synthetic characters are an effective modality to convey messages to the user, provide visual feedback about the system internal understanding ofÂ...
140
click to vote
ENTCS
2006
15 years 4 months ago
2006
This paper presents VyrdMC, a runtime verification tool we are building for concurrent software components. The correctness criterion checked by VyrdMC is refinement: Each executi...
152
click to vote
PAKM
2000
15 years 5 months ago
2000
The core of the new product development [NPD] process centers on knowledge creation, utilization and the management of knowledge. This manuscript uses a software firm case to esta...
164
click to vote
BMCBI
2005
15 years 4 months ago
2005
Background: NemaFootPrinter (Nematode Transcription Factor Scan Through Philogenetic Footprinting) is a web-based software for interactive identification of conserved, non-exonic ...
115
click to vote
CSDA
2008
15 years 4 months ago
2008
The most often used approaches to obtaining and using residuals in applied work with time series models, are unified and documented with both partially-known and new features. Spe...