Sciweavers

2527 search results - page 287 / 506
» Software development with imperfect information
Sort
View
CCE
2006
15 years 6 months ago
Sensitivity analysis of differential-algebraic equations and partial differential equations
Sensitivity analysis generates essential information for model development, design optimization, parameter estimation, optimal control, model reduction and experimental design. In...
Linda R. Petzold, Shengtai Li, Yang Cao, Radu Serb...
FM
2009
Springer
153views Formal Methods» more  FM 2009»
15 years 4 months ago
Iterative Refinement of Reverse-Engineered Models by Model-Based Testing
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...
Neil Walkinshaw, John Derrick, Qiang Guo
EWSA
2004
Springer
15 years 12 months ago
An Architecture Description Language for Mobile Distributed Systems
Mobile software applications have to meet new requirements directly arising from mobility issues. To address these requirements at an early stage in development, an architecture d...
Volker Gruhn, Clemens Schäfer
BMCBI
2011
15 years 1 months ago
OrthoInspector: comprehensive orthology analysis and visual exploration
Background: The accurate determination of orthology and inparalogy relationships is essential for comparative sequence analysis, functional gene annotation and evolutionary studie...
Benjamin Linard, Julie D. Thompson, Olivier Poch, ...
ICSE
2011
IEEE-ACM
14 years 10 months ago
Miler: a toolset for exploring email data
Source code is the target and final outcome of software development. By focusing our research and analysis on source code only, we risk forgetting that software is the product of...
Alberto Bacchelli, Michele Lanza, Marco D'Ambros