3792 search results - page 258 / 759 » Techniques for Trusted Software Engineering |
151
click to vote
OOPSLA
2005
Springer
16 years 2 days ago
2005
Springer
An approach to managing the architecture of large software systems is presented. Dependencies are extracted from the code by a conventional static analysis, and shown in a tabular...
189
click to vote
SOFTVIS
2003
ACM
15 years 12 months ago
2003
ACM
An active research area in telecommunications concerns how to specify and control the addition of new services, such as call waiting or instant messaging, into existing software. ...
166
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
on models are abstract representations of systems one wants to study through computer simulation. In multiagent based simulation, such models usually represent agents and their re...
180
click to vote
DAC
2005
ACM
15 years 8 months ago
2005
ACM
This paper focuses on designing network processing software for embedded processors. Our design flow CRACC represents an efficient path to implementation based on a modular applic...
261
click to vote
ICSE
2012
IEEE-ACM
13 years 9 months ago
2012
IEEE-ACM
—The wide variety of software development tools available today have a great potential to improve the way developers make software, but that potential goes unfulfilled when deve...