1799 search results - page 78 / 360 » The Logic of Correctness in Software Engineering |
194
click to vote
CBSE
2005
Springer
15 years 11 months ago
2005
Springer
State-of-the-art middleware for component-based distributed applications requires openness to support a broad and varying range of services. It also requires powerful and maintaina...
179
click to vote
ERLANG
2003
ACM
15 years 11 months ago
2003
ACM
In this paper, some experiences of using the concurrent functional language Erlang to implement a classical vertical application, a risk management information system, are present...
157
click to vote
SEKE
2007
Springer
16 years 3 days ago
2007
Springer
Some machine learning applications are intended to learn properties of data sets where the correct answers are not already known to human users. It is challenging to test such ML ...
155
click to vote
ADAEUROPE
2010
Springer
15 years 10 months ago
2010
Springer
The technology for building dependable computing systems has advanced dramatically. Nevertheless, there is still no complete solution to building software for critical systems in w...
164
click to vote
ICSM
2005
IEEE
15 years 11 months ago
2005
IEEE
In the context of software maintenance, legacy software systems are continuously re-engineered in order to correct errors, provide new functionality, or port them into modern plat...