1031 search results - page 140 / 207 » On the Formal Development of Safety-Critical Software |
103
Voted
POPL
2010
ACM
15 years 10 months ago
2010
ACM
Many large software systems originate from untyped scripting language code. While good for initial development, the lack of static type annotations can impact code-quality and per...
91
Voted
FASE
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. E-government services usually process large amounts of confidential data. Therefore, security requirements for the communication between components have to be adhered in...
143
Voted
APSEC
2007
IEEE
15 years 7 months ago
2007
IEEE
Executable UML allows precisely describing the softtem at a higher level of abstraction. It bridges the semantics gap between the UML design models and the implementation. The exe...
125
click to vote
INTERACTION
2009
ACM
15 years 5 months ago
2009
ACM
In this paper, we present the core concept and the benefits of an approach called RoboEarth which will be highly beneficial for future robotic applications in science and industry...
134
Voted
APAQS
2001
IEEE
15 years 4 months ago
2001
IEEE
With the increasing emphasis on dependability in complex, distributed systems, it is essential that system development can be done gradually and at different levels of detail. In ...