Sciweavers

1622 search results - page 38 / 325
» Deriving Software Process Simulation Model from SPEM-based S...
Sort
View
IICAI
2007
15 years 3 months ago
Automated Test Generation from Models Based on Functional Software Specifications
The paper presents first results of a project that aims at building a model-based tool for functional testing of control software for passenger vehicles. The objective is that this...
Michael Esser, Peter Struss
MODELS
2009
Springer
15 years 8 months ago
Towards systematic ensuring well-formedness of software product lines
Variability modelling with feature models is one key technique for specifying the problem space of software product lines (SPLs). To allow for the automatic derivation of a concre...
Florian Heidenreich
SIGSOFT
2000
ACM
15 years 6 months ago
The universe model: an approach for improving the modularity and reliability of concurrent programs
We present the universe model,a new approach to concurrencymanagement that isolates concurrency concerns and represents them in the modular interface of a component. This approach...
Reimer Behrends, Kurt Stirewalt
110
Voted
AAI
2007
66views more  AAI 2007»
15 years 2 months ago
Simulation and Analysis of Controlled Multi-Representational Reasoning Processes
Multi-representation reasoning processes often show a variety of reasoning paths that can be followed. To analyse such reasoning processes with special attention for differences b...
Tibor Bosse, Catholijn M. Jonker, Jan Treur
ISPW
2007
IEEE
15 years 8 months ago
Effects of Architecture and Technical Development Process on Micro-process
Current software development methodologies (such as agile and RUP) are largely management-centred, macro-process life-cycle models. While they may include some fine-grained micro-p...
Liming Zhu, D. Ross Jeffery, Mark Staples, Ming Hu...