Sciweavers

10874 search results - page 314 / 2175
» An Improvement in Sugeno-Yasukawa Modeler
Sort
View
ICSM
2009
IEEE
16 years 1 months ago
Predicting change impact from logical models
To improve the ability of predicting the impact scope of a given change, we present two approaches applicable to the maintenance of object-oriented software systems. Our first ap...
Sunny Wong, Yuanfang Cai
TFM
2009
Springer
136views Formal Methods» more  TFM 2009»
16 years 1 months ago
On Teaching Formal Methods: Behavior Models and Code Analysis
Abstract. Teaching formal methods is a challenging task for several reasons. First, both the state-of-the-art knowledge and the tools are rapidly evolving. Second, there are no com...
Jan Kofron, Pavel Parizek, Ondrej Sery
ER
2009
Springer
104views Database» more  ER 2009»
16 years 1 months ago
Modelling Safe Interface Interactions in Web Applications
Abstract. Current Web applications embed sophisticated user interfaces and business logic. The original interaction paradigm of the Web based on static content pages that are brows...
Marco Brambilla, Jordi Cabot, Michael Grossniklaus
VAMOS
2009
Springer
16 years 1 months ago
Functional Variant Modeling for Adaptable Functional Networks
The application of functional networks in the automotive industry is still very slowly adopted into their development processes. Reasons for this are manifold. A functional networ...
Cem Mengi, Ibrahim Armaç
SBP
2010
Springer
16 years 1 months ago
Calibrating Subjective Probabilities Using Hierarchical Bayesian Models
Abstract. A body of psychological research has examined the correspondence between a judge’s subjective probability of an event’s outcome and the event’s actual outcome. The ...
Edgar C. Merkle