1356 search results - page 12 / 272 » The ideal of verified software |
137
click to vote
ECIS
2000
15 years 7 months ago
2000
The software industry is an ideal case of information production with a high importance of knowledge and information management. This paper distinguishes information and knowledge...
159
click to vote
JUCS
2006
15 years 6 months ago
2006
: The size and complexity of software systems are continuously increasing, which makes them difficult and labor-intensive to develop, test and evolve. Since concurrent systems are ...
143
click to vote
FSEN
2007
Springer
15 years 10 months ago
2007
Springer
We formally specify the recent DRM scheme of Nair et al. in the
180
click to vote
ICFEM
1997
Springer
15 years 10 months ago
1997
Springer
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...