Sciweavers

7380 search results - page 550 / 1476
» Engineering Software Intensive Systems
Sort
View
172
Voted
ISSRE
2003
IEEE
15 years 11 months ago
Early Warning of Failures through Alarm Analysis - A Case Study in Telecom Voice Mail Systems
-- This paper presents three principles for alarm analysis to develop early warnings of failure. The concepts are illustrated with real data and experience drawn from Comverse Voic...
Dorron Levy, Ram Chillarege
170
Voted
ENTCS
2010
111views more  ENTCS 2010»
15 years 3 months ago
Modular Verification of Interactive Systems with an Application to Biology
We propose an automata-based formalism for the description of biological systems that allows properties expressed in the universal fragment of CTL to be verified in a modular way....
Peter Drábik, Andrea Maggiolo-Schettini, Pa...
SAFECOMP
2005
Springer
15 years 12 months ago
Are High-Level Languages Suitable for Robust Telecoms Software?
In the telecommunications sector product development must minimise time to market while delivering high levels of dependability, availability, maintainability and scalability. High...
Jan Henry Nyström, Philip W. Trinder, David J...
KBSE
1995
IEEE
15 years 10 months ago
A Transformation System for Interactive Reformulation of Design Optimization Strategies
Numerical design optimization algorithms are highly sensitive to the particular formulation of the optimization problems they are given. The formulation of the search space, the o...
Thomas Ellman, John Keane, Takahiro Murata, Mark S...
ICSM
2005
IEEE
15 years 12 months ago
Object-Oriented Reengineering: Patterns and Techniques
Surprising as it may seem, many of the early adopters of the object-oriented paradigm already face a number of problems typically encountered in large-scale legacy systems. Softwa...
Serge Demeyer, Stéphane Ducasse, Oscar Nier...