7209 search results - page 87 / 1442 » Software Engineering for Multi-Agent Systems |
IWPC
2008
IEEE
14 years 3 months ago
2008
IEEE
REportal is an existing web-based reverse engineering portal web site that provides access to a suite of reverse engineering and program comprehension tools via a web This abstrac...
CISIS
2010
IEEE
13 years 7 months ago
2010
IEEE
The new generation of open networked IT systems poses particular challenges to software engineering due to their evolving nature and their high quality requirements. In particular...
ICSE
2000
IEEE-ACM
14 years 15 days ago
2000
IEEE-ACM
The construction of a large class of distributed systems can be simplified by leveraging middleware, which is layered between network operating systems and application components....
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...
QEST
2005
IEEE
14 years 2 months ago
2005
IEEE