Sciweavers

9006 search results - page 200 / 1802
» Modeling Software
Sort
View
TREC
2001
15 years 7 months ago
Challenges of Multi-Mode IR Software
Web track results are presented. A software project, IRTools, is described. IRTools is intended to enable information retrieval (IR) experimentation by incorporating methods for m...
Gregory B. Newby
STTT
2002
69views more  STTT 2002»
15 years 5 months ago
Program model checking as a new trend
This paper introduces a special section of the STTT journal containing a selection of papers that were presented at the 7th International SPIN workshop, Stanford, August 30 - Septe...
Klaus Havelund, Willem Visser
IJWIS
2008
150views more  IJWIS 2008»
15 years 6 months ago
COTS-based software product line development
ed Abstract: Purpose of this paper Software Product Line (SPL) is at the forefront among the techniques for reducing costs, decreasing schedule time, and ensuring commonality of fe...
Luiz Fernando Capretz, Faheem Ahmed, Shereef Al-Ma...
SPLC
2008
15 years 7 months ago
On Controlled Visualisations in Software Product Line Engineering
Ongoing research in Software Product Line Engineering (SPLE) emphasises the derivation of a concrete product based on a given variant configuration as one of the most promising ar...
Florian Heidenreich, Ilie Savga, Christian Wende
IASTEDSE
2004
15 years 7 months ago
Towards a model-based and incremental development process for service-based systems
In this paper we introduce the concept of service-based modeling and integrate the modeling techniques into existing development processes. We focus on services in the different p...
Martin Deubler, Johannes Grünbauer, Chris Sal...