7209 search results - page 1353 / 1442 » Software Engineering for Multi-Agent Systems |
134
Voted
SAC
2009
ACM
15 years 9 months ago
2009
ACM
Software developers use testing to gain and maintain confidence in the correctness of a software system. Automated reduction and prioritization techniques attempt to decrease the...
140
Voted
CODES
2009
IEEE
15 years 9 months ago
2009
IEEE
A growing number of applications, with diverse requirements, are integrated on the same System on Chip (SoC) in the form of hardware and software Intellectual Property (IP). The d...
144
Voted
IFIP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Applying changes to software engineering processes in organisations usually raises many problems of varying nature. Basing on a real-world 2-year project and a simultaneo...
134
Voted
SAC
2010
ACM
15 years 15 days ago
2010
ACM
Verification conditions (VCs) are logical formulae whose validity implies the correctness of a program with respect to a specification. The technique of checking software properti...
107
Voted
DAC
2006
ACM
16 years 3 months ago
2006
ACM
Simulation and verification using electronic design automation (EDA) tools are key steps in the design process for communication and signal processing systems. The synchronous dat...