171 search results - page 15 / 35 » Experience report: using RESOLVE C for commercial software |
CASES
2005
ACM
13 years 9 months ago
2005
ACM
In this work, we propose and investigate the idea of enhancing a System-on-Chip (SoC) communication architecture (the fabric that integrates system components and carries the comm...
ICRA
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— Creatively misquoting Thomas Hobbes, the process of software debugging is nasty, brutish, and all too long. This holds all the more true in robotics, which frequently i...
UML
2005
Springer
14 years 27 days ago
2005
Springer
Analysis and design by contract allows the definition of a formal agreement between a class and its clients, expressing each party’s rights and obligations. Contracts written in ...
MOBISYS
2010
ACM
13 years 9 months ago
2010
ACM
Sensor networks have been conventionally defined as a network of sensor motes that collaboratively detect events and report them to a remote monitoring station. This paper makes a...
IWPC
2007
IEEE
14 years 1 months ago
2007
IEEE
Programmers need tools to help explore large software systems when performing software evolution tasks. A variety of tools have been created to improve the effectiveness of such e...