Search Sciweavers | Sciweavers

10669 search results - page 213 / 2134

» Software - Implemented Self-healing System

178

click to vote

FLAIRS
2000

134views Artificial Intelligence» more FLAIRS 2000»

Formal Software Development in the Verification Support Environment (VSE)

15 years 8 months ago

Download www.aaai.org

The paper presents a survey of the VSE system, a kind of CASE-tool for formal software development. It is a summary of a tutorial presentation describing methodology, formalisms, ...

Dieter Hutter, Georg Rock, Jörg H. Siekmann, ...

claim paper

Read More »

228

click to vote

TASE
2010
IEEE

224views Software Engineering» more TASE 2010»

Intelligent Component-Based Automation of Baggage Handling Systems With IEC 61499

15 years 1 months ago

Download www.ece.auckland.ac.nz

Airport Baggage Handling is a field of automation systems that is currently dependent on centralised control systems and conventional automation programming techniques. In this and...

Geoff Black, Valeriy Vyatkin

claim paper

Read More »

200

click to vote

ECOOP
2004
Springer

110views Programming Languages» more ECOOP 2004»

A Reflective Approach to Dynamic Software Evolution

15 years 10 months ago

Download www.disi.unige.it

In this paper, we present a solution that allows systems to remain active while they are evolving. Our approach goes out from the principle of separated concerns and has two steps....

Peter Ebraert, Tom Tourwé

claim paper

Read More »

127

click to vote

ICEIS
2008
IEEE

112views Information Technology» more ICEIS 2008»

Improving Software Test Strategy with a Method to Specify Test Cases (MSTC)

16 years 1 months ago