•   Home
  • Proceedings
  • The Conference on Web Based Business Management (WBM 2010 E-...

The Conference on Web Based Business Management (WBM 2010 E-BOOK)

Chengdu,China,9.20-9.22,2010

ISBN: 978-1-935068-18-1 Scientific Research Publishing, USA

E-Book 1342pp Pub. Date: October 2010

Category: Engineering

Price: $80

Title: The First Research for Correctness Proofs under Software Engineering’s Application
Source: The Conference on Web Based Business Management (WBM 2010 E-BOOK) (pp 460-464)
Author(s): Yiqun Dai, Research & Development Dept. ,Neusoft Institute of Information, Dalian, China
Abstract: Software life-cycle models all too frequently include a separate testing phase, after integration and before post-delivery maintenance. Nothing could be more dangerous from the viewpoint of trying to achieve high-quality software. Testing is an integral component of the software process and an activity that must be carried out throughout the life cycle. In this study, the effect of correctness proofs in software engineering. The aim of this study is proved by mathematical proof method in order to prove that the correctness proofs of testing in software engineering are importantly during the testing phrase.
Proceedings by Subjects
Resources
Products
Contact us
book@scirp.org
WhatsApp +86 18163351462(WhatsApp)
Click here to send a message to me 1243940697
Book Publishing WeChat
Follow SCIRP
Free SCIRP Newsletters
Copyright © 2006-2024 Scientific Research Publishing Inc. All Rights Reserved.
Top