1031 search results - page 45 / 207 » On the Formal Development of Safety-Critical Software |
APSEC
2005
IEEE
14 years 1 months ago
2005
IEEE
When requirements models are developed in an iterative and evolutionary way, requirements validation becomes a major problem. In order to detect and fix problems early, the speci...
IESA
2007
13 years 9 months ago
2007
Increased performance is the key reason for developing software with virtual teams but the research efforts to date are limited. Difficulties for a formal, generic approach are mul...
COMPSAC
2004
IEEE
13 years 11 months ago
2004
IEEE
Many developers who could benefit from building and analysing formal models of their systems are deterred from doing so by the process algebra style input languages of formal mode...
COMPSAC
2003
IEEE
14 years 27 days ago
2003
IEEE
RDT is a graphical formal modelling language in which the modeller works by constructing diagrams of the processes in their model which they then join together to form complete sy...
ICRE
2000
IEEE
14 years 1 hour ago
2000
IEEE
Unless you have a complete and precise description of your product’s requirements, it is very unlikely that you will satisfy those requirements. A requirements document that is ...