Cognitive verification and elimination of error sources: Practical methods for quality assurance of computer software (Technical report. Royal Institute of Technology) Review
Tuesday, April 12, 2011
Wednesday, April 6, 2011
ATAM: Method for architecture evaluation (Technical report. Carnegie Mellon University. Software Engineering Institute)
ATAM: Method for architecture evaluation (Technical report. Carnegie Mellon University. Software Engineering Institute) Review
ATAM: Method for architecture evaluation (Technical report. Carnegie Mellon University. Software Engineering Institute) Feature
Rerate Products

Customer Review
Monday, January 24, 2011
SEI architecture analysis techniques and when to use them (Technical note / Carnegie Mellon. Software Engineering Institute)
SEI architecture analysis techniques and when to use them (Technical note / Carnegie Mellon. Software Engineering Institute) Review
SEI architecture analysis techniques and when to use them (Technical note / Carnegie Mellon. Software Engineering Institute) Feature
Rerate Products

Customer Review
Sunday, January 23, 2011
Applicability of general scenarios to the Architecture Tradeoff Analysis Method(sm) (Technical report / Carnegie Mellon University. Software Engineering Institute)
Applicability of general scenarios to the Architecture Tradeoff Analysis Method(sm) (Technical report / Carnegie Mellon University. Software Engineering Institute) Review
Applicability of general scenarios to the Architecture Tradeoff Analysis Method(sm) (Technical report / Carnegie Mellon University. Software Engineering Institute) Feature
Rerate Products

Customer Review
Saturday, January 22, 2011
Using the Architecture Tradeoff Analysis Method[superscript SM] to evaluate a reference architecture: A case study (Technical note / Carnegie Mellon. Software Engineering Institute)
Using the Architecture Tradeoff Analysis Method[superscript SM] to evaluate a reference architecture: A case study (Technical note / Carnegie Mellon. Software Engineering Institute) Review
Using the Architecture Tradeoff Analysis Method[superscript SM] to evaluate a reference architecture: A case study (Technical note / Carnegie Mellon. Software Engineering Institute) Feature
Rerate Products

Customer Review
Thursday, August 12, 2010
Mathematics of Dependable Systems II (Institute of Mathematics and Its Applications Conference Series) (Vol 2)
Mathematics of Dependable Systems II (Institute of Mathematics and Its Applications Conference Series) (Vol 2) Review
Mathematics of Dependable Systems II (Institute of Mathematics and Its Applications Conference Series) (Vol 2) Feature
Mathematics, particularly formal methods, cryptography and reliability modeling, is increasingly pivotal in the development and assessment of complex systems on which society depends, including banking, medical, transportation, and defense systems. This book contains the proceedings of a recent conference on ways to apply these mathematical theories to develop safe, secure, reliable and available computing systems.