1356 search results - page 12 / 272 » The ideal of verified software |
ECIS
2000
15 years 1 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...
JUCS
2006
14 years 11 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 ...
FSEN
2007
Springer
15 years 3 months ago
2007
Springer
We formally specify the recent DRM scheme of Nair et al. in the
FOSSACS
2004
Springer
15 years 5 months ago
2004
Springer
117
click to vote
ICFEM
1997
Springer
15 years 3 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...