7380 search results - page 80 / 1476 » Engineering Software Intensive Systems |
BTLAB
1997
Springer
14 years 1 months ago
1997
Springer
Software agents help people with time consuming activities. One increasingly popular application for software agents is electronic commerce, namely having agents buy and sell good...
SIGADA
2005
Springer
14 years 2 months ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
HCW
2000
IEEE
14 years 1 months ago
2000
IEEE
Applications that use collections of very large, distributed datasets have become an increasingly important part of science and engineering. With high performance wide-area networ...
QEST
2005
IEEE
14 years 2 months ago
2005
IEEE
SIGSOFT
2010
ACM
13 years 6 months ago
2010
ACM
Legislation is constantly affecting the way in which software developers can create software systems, and deliver them to their users. This raises the need for methods and tools t...