|
Wednesday, |
|
|
|
· Improving reliability and adaptability via program
steering, Lee Lin and Michael D. Ernst
· A software reliability estimation framework for
extreme programming, Nachiappan Nagappan and
Laurie Williams · Formal semantics for reliability modeling languages:
a case study on BDMPs, Robert Painter · Building reliable compilers with a formal methods
framework, Nathaniel Gray, Cristian Tapus, Aleksey Nogin and Jason Hickey · Dynamic stimulation tool for improved performance
modeling and resource provisioning of enterprise servers, Kesari Mishra and Kenny Gross · Considering use case dependencies in
architectural-level risk analysis based on UML specifications, Walid Abdelmoez,
Ahmed Hassan, Ajith Guedem, Katerina Goseva-Popstojanova and Hany Ammar · A systematic procedure for testing UML designs, Trung Thanh Dinh Trong · Fault detection effectiveness of UML design model
test adequacy criteri,a Nilesh Kawane · Successful software review meetings, Yuk Kuen Wong
· A domain model and architecture for software systems
interoperability testing, Maxwell Chi
· Reasoning about the value of software dependability:
the iDAVE model, LiGuo Huang and Barry Boehm · Developing a practical software project simulator
based on system dynamics model, Xiaoning Li, Sousuke Amasaki, Daisuke Shimoda, Osamu Mizuno, And Tohru
Kikuno · Apply software failure mode and effect analysis to
product families, Dingding Lu |