Sciweavers

1620 search results - page 25 / 324
» Use Case Level Pointcuts
Sort
View
FAC
2011
51views more  FAC 2011»
14 years 4 months ago
Retrenchment for Event-B: UseCase-wise development and Rodin integration
UseCase-wise Development, an ‘Agile Method’ which introduces functionality into an application stage by stage, with each stage being carried through (ideally) to implementation...
Richard Banach
77
Voted
FM
2003
Springer
136views Formal Methods» more  FM 2003»
15 years 2 months ago
Improving Safety Assessment of Complex Systems: An Industrial Case Study
The complexity of embedded controllers is steadily increasing. This trend, stimulated by the continuous improvement of the computational power of hardware, demands for a correspond...
Marco Bozzano, Antonella Cavallo, Massimo Cifaldi,...
101
Voted
ADAPTIVE
2007
Springer
15 years 3 months ago
Case-Based Recommendation
Abstract. Data Mining, or Knowledge Discovery as it is also known, is becoming increasingly useful in a wide variety of applications. In the following paper, we look at its use in ...
Barry Smyth
GECCO
2007
Springer
183views Optimization» more  GECCO 2007»
15 years 3 months ago
Search-based testing of service level agreements
The diffusion of service oriented architectures introduces the need for novel testing approaches. On the one side, testing must be able to identify failures in the functionality ...
Massimiliano Di Penta, Gerardo Canfora, Gianpiero ...
FGCS
2006
101views more  FGCS 2006»
14 years 9 months ago
Evaluating architectures for independently auditing service level agreements
Web and grid services are quickly maturing as a technology that allows for the integration of applications belonging to different administrative domains, enabling much faster and ...
Ana Carolina Barbosa, Jacques Philippe Sauvé...