ICECCS 2008 | Sciweavers

1633

ICECCS
2008
IEEE

3385views Hardware» more ICECCS 2008»

Contract-Based Approach to Analyze Software Components

14 years 7 months ago

Component-based software development focuses on building large software systems by integrating existing software components to reduce cost, risk and time. However, behavioural and...

Abdelhafid Zitouni, Lionel Seinturier, Mahmoud Bou...

claim paper

Read More »

36

click to vote

ICECCS
2008
IEEE

168views Hardware» more ICECCS 2008»

Ubiquitous Service Regulation Based on Dynamic Rules

14 years 7 months ago

Download winslab.cnu.ac.kr

Ubiquitous computing systems can be regarded as open systems where heterogeneous and previously unknown entities may spontaneously interact, due to intrinsic mobility of users and...

José Viterbo Filho, Markus Endler, Jean-Pie...

claim paper

Read More »

30

click to vote

ICECCS
2008
IEEE

87views Hardware» more ICECCS 2008»

Verified Software: Theories, Tools, Experiments

14 years 7 months ago

Download vstte.ethz.ch

Tony Hoare

claim paper

Read More »

24

click to vote

ICECCS
2008
IEEE

115views Hardware» more ICECCS 2008»

Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework

14 years 7 months ago

Download eprints.eemcs.utwente.nl

This paper discusses the requirements that a suitable formalism for dependability modeling/evaluation should possess. We also discuss the outline of Arcade, an architectural depen...

Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haver...

claim paper

Read More »

32

click to vote

ICECCS
2008
IEEE

91views Hardware» more ICECCS 2008»

Global Software Engineering Research in a Small Country

14 years 7 months ago

Download www.lero.ie

Kevin Ryan

claim paper