Sciweavers

2274 search results - page 221 / 455
» Qualitative Modeling for Requirements Engineering
Sort
View
VL
2010
IEEE
209views Visual Languages» more  VL 2010»
15 years 4 months ago
Automatically Inferring ClassSheet Models from Spreadsheets
Many errors in spreadsheet formulas can be avoided if spreadsheets are built automatically from higher-level models that can encode and enforce consistency constraints. However, d...
Jacome Cunha, Martin Erwig, Joao Saraiva
WSC
2008
15 years 8 months ago
A simulation framework for assessing the performance of cooperative transportation planning algorithms
In this paper, we suggest a framework that allows for the simulation-based performance assessment of algorithms for cooperative transportation planning. Therefore, we consider a c...
Ralf Sprenger, Lars Mönch
SIS
2004
15 years 7 months ago
Towards a Systematic Development of Secure Systems
In this paper we outline a new process model for security engineering. This process model extends object oriented, use case driven software development by the systematic treatment ...
Ruth Breu, Klaus Burger, Michael Hafner, Gerhard P...
MODELS
2007
Springer
16 years 19 days ago
Scenario Integration via the Transformation and Manipulation of Higher-order Graphs
The integration of different models, such as scenarios, is an important component of the requirements engineer’s work. If manually performed, the integration operation is error-...
Hongzhi Liang
CIKM
2007
Springer
16 years 21 days ago
Predictive user click models based on click-through history
Web search engines consistently collect information about users interaction with the system: they record the query they issued, the URL of presented and selected documents along w...
Benjamin Piwowarski, Hugo Zaragoza