Sciweavers

3281 search results - page 144 / 657
» An Approach to use Executable Models for Testing
Sort
View
114
Voted
ICSM
2002
IEEE
15 years 8 months ago
Combining Software Quality Predictive Models: An Evolutionary Approach
During the past ten years, a large number of quality models have been proposed in the literature. In general, the goal of these models is to predict a quality factor starting from...
Salah Bouktif, Houari A. Sahraoui, Balázs K...
LREC
2008
112views Education» more  LREC 2008»
15 years 4 months ago
Modeling Document Dynamics: an Evolutionary Approach
News articles about the same event published over time have properties that challenge NLP and IR applications. A cluster of such texts typically exhibits instances of paraphrase a...
Jahna Otterbacher, Dragomir R. Radev
SPIN
2010
Springer
15 years 1 months ago
Enacting Declarative Languages Using LTL: Avoiding Errors and Improving Performance
In our earlier work we have proposed using the declarative language DecSerFlow for modeling, analysis and enactment of processes in autonomous web services. DecSerFlow uses constra...
Maja Pesic, Dragan Bosnacki, Wil M. P. van der Aal...
CAI
2010
Springer
15 years 21 days ago
SMA - The Smyle Modeling Approach
Abstract. This paper introduces the model-based software development lifecycle model SMA--the Smyle Modeling Approach--which is centered around Smyle. Smyle is a dedicated learning...
Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern...
110
Voted
ACSD
2005
IEEE
126views Hardware» more  ACSD 2005»
15 years 9 months ago
Modelling and Analysis of Distributed Simulation Protocols with Distributed Graph Transformation
This paper presents our approach to model distributed discrete event simulation systems in the framework of distributed graph transformation. We use distributed typed attributed g...
Juan de Lara, Gabriele Taentzer