3255 search results - page 170 / 651 » Usage-Centered Design and Software Engineering: Models for I... |
133
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
Software systems are subject to increasing complexity and in need of efficient structuring. Multi-agent system research has come up with approaches for an organization-oriented co...
131
click to vote
TAICPART
2006
IEEE
15 years 10 months ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
116
click to vote
COMPSAC
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper empirically explores the correlations between a suite of structural stability metrics for object-oriented designs and post-release defect density. The investigated stab...
138
click to vote
IRI
2006
IEEE
15 years 10 months ago
2006
IEEE
Safeguarding practices for networked systems involves decisions in at least three areas: identification of welldefined security policies, selection of cost-effective defense strat...
143
Voted
DATE
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper describes first results from the AutoMoDe (Automotive Model-Based Development) project. The overall goal of the project is to develop an integrated methodology for mode...