1288 search results - page 108 / 258 » On Analysis of Design Component Contracts: A Case Study |
151
click to vote
ECMDAFA
2009
Springer
15 years 8 months ago
2009
Springer
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...
126
click to vote
ICSE
2005
IEEE-ACM
16 years 1 months ago
2005
IEEE-ACM
Software systems evolve over time due to changes in requirements, optimization of code, fixes for security and reliability bugs etc. Code churn, which measures the changes made to...
100
click to vote
PRIMA
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Software systems are becoming more and more part of human life influencing organizational and social activities. This introduces the need of considering the design of a ...
122
click to vote
RAID
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Monitoring unused or dark IP addresses offers opportunities to significantly improve and expand knowledge of abuse activity without many of the problems associated with ...
115
click to vote
INFOCOM
2007
IEEE
15 years 8 months ago
2007
IEEE
—The implementation of distributed network utility maximization (NUM) algorithms hinges heavily on information feedback through message passing among network elements. In practic...