Sciweavers

67
Voted
ERCIM
2010
39views more  ERCIM 2010»
14 years 10 months ago
Trustworthy Preservation Planning with Plato
Christoph Becker, Hannes Kulovits, Andreas Rauber
99
Voted
ERCIM
2008
94views more  ERCIM 2008»
14 years 11 months ago
Model-Based Development of Distributed Embedded Real-Time Systems
The increasing complexity of distributed embedded systems, as found today in airplanes or cars, becomes more and more a critical cost-factor for their development. Model-based app...
Wolfgang Herzner, Martin Schlager, György Cse...
72
Voted
ERCIM
2008
83views more  ERCIM 2008»
15 years 7 days ago
From Rigorous Requirements Engineering to Formal System Design
Christophe Ponsard, Philippe Massonet, Gautier Dal...
68
Voted
ERCIM
2008
48views more  ERCIM 2008»
15 years 7 days ago
Mathematics and Social Science: A Statistical Mechanics Approach to Immigration
Pierluigi Contucci, Cristian Giardina
82
Voted
ERCIM
2008
41views more  ERCIM 2008»
15 years 7 days ago
Web Services for Accessing Explicit State Space Verification Tools
María-del-Mar Gallardo, Christophe Joubert,...
61
Voted
ERCIM
2008
40views more  ERCIM 2008»
15 years 7 days ago
Understanding the Hidden Web
Pierre Senellart, Serge Abiteboul, Rémi Gil...
79
Voted
ERCIM
2008
78views more  ERCIM 2008»
15 years 7 days ago
Test Coverage Analysis and Preservation for Requirements-Based Testing
The testing process for safety-critical systems is usually evaluated with code coverage criteria such as MC/DC (Modified Condition/Decision Coverage) defined in the standard DO-17...
Raimund Kirner, Susanne Kandl
102
Voted
ERCIM
2008
130views more  ERCIM 2008»
15 years 7 days ago
Mediated Collaborative Learning
Information and Communication Technologies facilitate the emergence of new contexts and practices of learning that educational institutions have to adapt to their pedagogical disc...
Kostas Pentikousis, Carmen Martinez-Carrillo
59
Voted
ERCIM
2008
42views more  ERCIM 2008»
15 years 7 days ago
Evaluation of Natural Language Requirements in the MODCONTROL Project
Antonio Bucchiarone, Stefania Gnesi, Gianluca Tren...
58
Voted
ERCIM
2008
61views more  ERCIM 2008»
15 years 7 days ago
WAGRIT: A Web-based Application for Agricultural and Environmental Monitoring
Umberto Amato, Maria Francesca Carfora, Paolo Cola...