979 search results - page 38 / 196 » Generating a Prototype from a UML Model of System Requiremen... |
AMOST
2005
ACM
14 years 2 months ago
2005
ACM
The combinatorial approach to software testing uses models to generate a minimal number of test inputs so that selected combinations of input values are covered. The most common c...
FM
2009
Springer
13 years 6 months ago
2009
Springer
Abstract. This paper details a collaboration between Aalborg University and NOVO Nordisk in developing an automatic model-based test generation tool for system testing of the graph...
DAGSTUHL
2007
13 years 10 months ago
2007
iary models in order to bridge the semantic gap between high-level, abstract user requirements and low-level, concrete programs and to support a stepwise refinement process. This d...
GI
2008
Springer
13 years 10 months ago
2008
Springer
Abstract: The present contribution deals with the experiences of introducing a modelbased software development method for device driver families used in electronic control units in...
ECIR
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. This paper presents first steps towards building a music information system like last.fm, but with the major difference that the data is automatically retrieved from the ...