1099 search results - page 7 / 220 » A Formal Approach to Domain-Oriented Software Design Environ... |
ICECCS
2009
IEEE
15 years 4 months ago
2009
IEEE
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...
99
Voted
ICFEM
1997
Springer
15 years 1 months ago
1997
Springer
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
VL
2010
IEEE
14 years 7 months ago
2010
IEEE
Visual representations are widely used to describe modern-day software systems, but, in most cases, they lack rigour. This paper addresses the problems of formality, rigour and co...
APSEC
2004
IEEE
15 years 1 months ago
2004
IEEE
Domain testing, a technique for testing software or portions of software dominated by numerical processing, is intended to detect domain errors that usually arise from incorrect i...
ENTCS
2008
14 years 9 months ago
2008
We present the current state of our STSLib project. This project aims at defining an environment to formally specify and execute software components. One important feature is that...