201 search results - page 8 / 41 » PRIMA - a DBMS Prototype Supporting Engineering Applications |
RE
2001
Springer
13 years 11 months ago
2001
Springer
Evolutionary prototyping focuses on gathering a correct and consistent set of requirements. The process lends particular strength to building quality software by means of the ongo...
CBSE
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. The use of software component models has become popular during the last decade, in particular in the development of software for desktop applications and distributed info...
SCS
2004
13 years 8 months ago
2004
Limitations in scope but also difficulties with the efficiency and scalability of present algorithms seem to have so far limited the industrial uptake of existing automated FMEA t...
KBSE
2005
IEEE
14 years 28 days ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
AVI
2008
13 years 9 months ago
2008
In this paper we present a software framework which supports the construction of mixed-fidelity (from sketch-based to software) prototypes for mobile devices. The framework is ava...