Sciweavers

3763 search results - page 278 / 753
» Component-Based Software Engineering Processes
Sort
View
170
Voted
ESEM
2007
ACM
15 years 10 months ago
An Approach to Global Sensitivity Analysis: FAST on COCOMO
There are various models in software engineering that are used to predict quality-related aspects of the process or artefacts. The use of these models involves elaborate data coll...
Stefan Wagner
ASWSD
2006
Springer
15 years 10 months ago
TestML - A Test Exchange Language for Model-Based Testing of Embedded Software
Abstract. Test processes in the automotive industry are tool-intensive and affected by technologically heterogeneous test infrastructures. In the industrial practice a product has ...
Juergen Grossmann, Ines Fey, Alexander Krupp, Mirk...
IICAI
2007
15 years 8 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
AMAST
2006
Springer
15 years 10 months ago
Data Movement Optimisation in Point-Free Form
Programs written in point-free form express computation purely in terms of functions. Such programs are especially amenable to local transformation. In this paper, we describe a pr...
Brad Alexander, Andrew L. Wendelborn
147
Voted
TAPSOFT
1995
Springer
15 years 10 months ago
On the Category of Petri Net Computations
Abstract. We introduce the notion of strongly concatenable process as a refinement of concatenable processes [3] which can be expressed axiomatically via a functor Q[ ] from the c...
Vladimiro Sassone