410 search results - page 37 / 82 » Tool Support for Invariant Based Programming |
IWPC
2005
IEEE
14 years 1 months ago
2005
IEEE
Source code can be viewed in many ways, with each view facilitating access to different information contained within the code. In this working session, we will explore the role th...
COMPSAC
2008
IEEE
14 years 2 months ago
2008
IEEE
Architecture-based software development is the implementation of a software system in terms of its architectural constructs (e.g., components, connectors, ports). It has been show...
WICSA
2008
13 years 9 months ago
2008
Architecture-based software development is the implementation of a software system in terms of its architectural constructs (e.g., components, connectors, ports). It has been show...
CHI
2011
ACM
12 years 11 months ago
2011
ACM
Providing good education is one of the major challenges for humanity. In many developing regions in the world improving educational standards is seen as a central building block f...
CODES
2010
IEEE
13 years 5 months ago
2010
IEEE
The last years have shown that there is no way to disregard the advantages provided by multiprocessor System-on-Chip (MPSoC) architectures in the embedded systems domain. Using mu...