1121 search results - page 25 / 225 » Building Formal Requirements Models for Reliable Software |
154
click to vote
MSR
2011
ACM
14 years 9 days ago
2011
ACM
Software readability is a property that influences how easily a given piece of code can be read and understood. Since readability can affect maintainability, quality, etc., prog...
ADC
2007
Springer
15 years 3 months ago
2007
Springer
A huge diversity of biological databases is available via the Internet, but many of these databases have been developed in an ad hoc manner rather than in accordance with any data...
ICONS
2009
IEEE
15 years 4 months ago
2009
IEEE
Most recent software related accidents have been system accidents. To validate the absence of system hazards concerning dysfunctional interactions, industrials call for approaches...
72
Voted
COMPSAC
2004
IEEE
15 years 1 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...
74
Voted
SIGADA
2005
Springer
15 years 2 months ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...