Sentence examples for dependable software from inspiring English sources

We use Model-Driven Engineering (MDE) to describe dependability patterns and a methodology for developing dependable software systems using these patterns.

Developing automated reasoning techniques to facilitate the construction of high-performance, dependable software.

These challenges are under active research, with notable progress made in the support for dependable software design and management.

The papers are organized in topical sections on surveys, dependable software, dependable computing, and dependable networks.

Formal methods, and particularly formal verification, is becoming more feasible to use in the engineering of large highly dependable software-based systems, but so far has had little rigorous empirical study.

Component-based software engineering often relies on libraries of trusted components that are combined to build dependable and secure software systems.

Given higher numbers of robots, writing dependable control software becomes more complex and thus more expensive.

The technologies of model-based design and dependability analysis in the design of dependable systems, including software intensive systems, have advanced in recent years.

Much of the development of model-based design and dependability analysis in the design of dependable systems, including software intensive systems, can be attributed to the application of advances in formal logic and its application to fault forecasting and verification of systems.

The formal specification and verification strategies, methods, and techniques presented in this work contribute to the development of more dependable component-based software systems, in a modular way.

Garcia et al. ([2001]) present a comparative study of exception handling mechanisms for building dependable object-oriented software.