ERCIM 2008 | Sciweavers

8

click to vote

ERCIM
2010

39views more ERCIM 2010»

Trustworthy Preservation Planning with Plato

13 years 3 months ago

Download www.kc.tsukuba.ac.jp

Christoph Becker, Hannes Kulovits, Andreas Rauber

claim paper

Read More »

10

click to vote

ERCIM
2008

94views more ERCIM 2008»

Model-Based Development of Distributed Embedded Real-Time Systems

13 years 4 months ago

Download bernh.net

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...

claim paper

Read More »

11

click to vote

ERCIM
2008

83views more ERCIM 2008»

From Rigorous Requirements Engineering to Formal System Design

13 years 5 months ago

Download deploy-eprints.ecs.soton.ac.uk

Christophe Ponsard, Philippe Massonet, Gautier Dal...

claim paper

Read More »

7

click to vote

ERCIM
2008

48views more ERCIM 2008»

Mathematics and Social Science: A Statistical Mechanics Approach to Immigration

13 years 5 months ago

Download www.win.tue.nl

Pierluigi Contucci, Cristian Giardina

claim paper

Read More »

8

click to vote

ERCIM
2008

41views more ERCIM 2008»

Web Services for Accessing Explicit State Space Verification Tools

13 years 5 months ago

Download users.dsic.upv.es

María-del-Mar Gallardo, Christophe Joubert,...

claim paper

Read More »

7

click to vote

ERCIM
2008

40views more ERCIM 2008»

Understanding the Hidden Web

13 years 5 months ago

Download pierre.senellart.com

Pierre Senellart, Serge Abiteboul, Rémi Gil...

claim paper

Read More »

13

click to vote

ERCIM
2008

78views more ERCIM 2008»

Test Coverage Analysis and Preservation for Requirements-Based Testing

13 years 5 months ago

Download www.vmars.tuwien.ac.at

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

claim paper

Read More »

21

click to vote

ERCIM
2008

130views more ERCIM 2008»

Mediated Collaborative Learning

13 years 5 months ago

Download ipv6.willab.fi

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

claim paper

Read More »

7

click to vote

ERCIM
2008

42views more ERCIM 2008»

Evaluation of Natural Language Requirements in the MODCONTROL Project

13 years 5 months ago