2008-7-20
 
Account:
  
Password:
      
Home | E-Business | Technology | Software Engineering | Security | Education | Outsourcing
Engineering
Software Process ...
Light Weight ...
Methodology
Software ...
Project Management
XPM/APM
Team Work
Peopleware
Requirement ...
Software Quality
OOAD Methods
Complier 
Software Design
SOA
FOP
CBD/CBSE
Software Patterns
Eclipse
Best SE Practices
Usability Engineering
Human Computer Interaction
SE Standards
Useful Document ...
Case tools
Software Factory
Experience Factory
Software Engineering Center
Technology Transfer
Technology Transition
Software Product Evaluation
Software Analysis & Verification
Model Driven Development
Temporal Logic & SE
Web Engineering
Data Base Design
OO Database
DB Programming
SE Resources
Software Construction
Software Maintenance
 
 Content
Experts  
Industry Report
Shanghai SPIN  
Services
 Column
Tom Gilb
Q & A
Advanced Inspections
Inspection Economics
Evo Project Management
 
Verification and Validation
 
A Method for Evaluation of Performance of Requirements Inspection
http://www.escom.co.uk/conference2000/kantoriwitz.pdf
Independent Verification and Validation (IV&V)
http://www.ivv.nasa.gov/iso9000/isodocs/IVV_09-1.pdf
Information System Verification and Validation During Requirement Analysis Using Petri Nets
http://www.informatik.uni-hamburg.de/TGI/pnbib/s/sakthivel_s1.html
A Validation Toolset for UML
http://www.eecs.umich.edu/~wwshen/tool/tool.html
 
 

 Links: ACM || CiteSeer || CMU SEI || Construx || Cutter || IEEE-CS || itmWEB
Shanghai IT || Shanghai Economic Commission || SSIA || Shanghai Component Repository
LJYW || SPRT || PKSPIN || CCW Shanghai || China IT Outsourcing Summit more 
contribution guide | FAQ | about | copyright | contact
last update on 2005-04-08
better use IE 5.0 or above (800*600 or above)
© 2000-2005 Software Export and IT Transfer Center, ASTI Shanghai
All Rights Reserved.