Sciweavers

1057 search results - page 108 / 212
» Testing from Formal Specifications, a Generic Approach
Sort
View
DAGSTUHL
2006
13 years 10 months ago
A User-Oriented Approach to Music Information Retrieval
Search and retrieval of specific musical content such as emotive or sonic features has become an important aspect of Music Information Retrieval system development, but only little...
Micheline Lesaffre, Marc Leman, Jean-Pierre Marten...
FLAIRS
2006
13 years 10 months ago
Explicating Semantic Relations in Non-Monotonic Theories to Facilitate Validation Analysis
The inherent vagueness and ambiguity of non-monotonic reasoning makes it impossible to formulate detailed specifications to validate KBS performance by using traditional test-case...
Neli Zlatareva
EWSPT
2001
Springer
14 years 1 months ago
Towards a Living Software Development Process Based on Process Patterns
A Software Development Process for a certain enterprise and/or a certain project will usually integrate elements from a variety of existing process models, comprising generic stand...
Michael Gnatz, Frank Marschall, Gerhard Popp, Andr...
PROFES
2001
Springer
14 years 1 months ago
Modular Process Patterns Supporting an Evolutionary Software Development Process
Change and evolution of business and technology imply change and evolution of development processes. Besides that for a certain enterprise and/or project we will usually integrate ...
Michael Gnatz, Frank Marschall, Gerhard Popp, Andr...
CSCWD
2006
Springer
14 years 21 days ago
Collaborative Multidisciplinary Design in Virtual Environments
The application designers can usually define their own "virtual environments" by selecting the appropriate computing resources required, or reuse and compose existing en...
Toan Nguyen, Vittorio Selmin