14 search results - page 2 / 3 » Languages for Safety-Critical Software: Issues and Assessmen... |
ERLANG
2003
ACM
13 years 10 months ago
2003
ACM
The distributed telecommunications sector not only requires minimal time to market, but also software that is reliable, available, maintainable and scalable. High level programmin...
APSEC
2003
IEEE
13 years 10 months ago
2003
IEEE
Despite a growing awareness of security issues in networked computing systems, most development processes used today still do not take security aspects into account. To address th...
CORR
2006
Springer
13 years 5 months ago
2006
Springer
The Unified Software Development Process (USDP) and Unified Modeling Language (UML) have been now generally accepted as the standard methodology and modeling language for developin...
ASSETS
2009
ACM
14 years 47 min ago
2009
ACM
In this paper, we compare alternative techniques for evaluating a software system for simplifying the readability of texts for adults with mild intellectual disabilities (ID). We ...
VSTTE
2010
Springer
13 years 3 months ago
2010
Springer
A suite of verification benchmarks for software verification tools and techniques, presented at VSTTE 2008 [11], provides an initial catalogue of benchmark challenges for the Verif...