12107 search results - page 122 / 2422 » Software That Can Think |
ICSE
2001
IEEE-ACM
14 years 21 days ago
2001
IEEE-ACM
Software maintenanceand evolutionare the dominantactivities in the software lifecycle. Modularization can separate design decisions and allow them to be independently evolved, but...
SAFECOMP
1998
Springer
13 years 12 months ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
JIPS
2006
13 years 8 months ago
2006
: Large portion of embedded system development process is the integration of hardware and software. Unfortunately, the communication across the hardware/software boundary is tediou...
KBSE
2008
IEEE
14 years 2 months ago
2008
IEEE
Text-based approaches to the analysis of software evolution are attractive because of the fine-grained, token-level comparisons they can generate. The use of such approaches has, ...
CORR
2011
Springer
13 years 3 months ago
2011
Springer
The context of a software developer is something hard to define and capture, as it represents a complex network of elements across different dimensions that are not limited to th...