1988 search results - page 43 / 398 » Engineering formal metatheory |
COMPSAC
2002
IEEE
14 years 1 months ago
2002
IEEE
The paper discusses a formal approach for specifying time-dependent Web applications and proposes a Markov model for reliability prediction. Measures for predicting reliability ar...
VMCAI
2010
Springer
14 years 3 months ago
2010
Springer
RE
2001
Springer
14 years 1 months ago
2001
Springer
In many software application domains, constant evolution is the dominant problem, shaping both software design and the software process. Telecommunication software is the prototyp...
JUCS
2007
13 years 8 months ago
2007
: This paper outlines the emergence of formal techniques, explaining why they were slow to take on an industrially acceptable form. The contemporary scene, in which formal techniqu...
SDL
2007
13 years 10 months ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...