ý kiến bạn đọc

Tác giả: Jean-Louis Boulanger

Chủ đề: Software

Kiểu tài liệu: Tài liệu Điện tử

Chuyên ngành: Khoa Công Nghệ Thông Tin

Ngày cập nhật: 8/31/2013 8:54:45 AM

Từ khóa: Software

Ngôn ngữ: English

Kích cỡ: 19 MB

Chương trang: 340 p.

Nguồn: http://it-ebooks.info/

Table of  contents: Chapter 1. Formal techniques for verification and validation; Chapter 2. Airbus: Formal verification in avionics; Chapter 3. Polyspace; Chapter 4. Software robustness with regards to dysfunctional values from static analysis; Chapter 5. CodePeer – beyond bug-finding with static analysis; Chapter 6. Formal methods and compliance to the DO-178C/ED-12C standard in aeronautics; Chapter 7. Efficient method developed by thales for safety evaluation of real-to-integer discretization and overflows in SIL4 software;...

Tác giả: James J. Nutaro

Chủ đề: Software & C++ & Algorithms & Simulation

Kiểu tài liệu: Tài liệu Điện tử

Chuyên ngành: Khoa Công Nghệ Thông Tin

Ngày cập nhật: 8/28/2013 3:07:11 PM

Từ khóa: Software; Simulation; Algorithms; C++

Ngôn ngữ: English

Kích cỡ: 6.55 MB

Chương trang: 359 p.

Nguồn: http://it-ebooks.info/

1. Introduction; 2. First example: Simulation a robotic tank; 3. Discrete-time systems; 4. Discrete-event systems; 5. Hybrid systems; 6. Applications.

Tác giả: Basem S. El-Haik, Adnan Shaout

Chủ đề: Software & C#

Kiểu tài liệu: Tài liệu Điện tử

Chuyên ngành: Khoa Công Nghệ Thông Tin

Ngày cập nhật: 4/2/2013 7:45:29 AM

Từ khóa: C#, Computer, Software design, Six sigma, A roadmap for excellence

Ngôn ngữ: Tiếng Anh

Kích cỡ: 5.57 MB

Chương trang: 554 p.

Nguồn: http://tailieu.duytan.edu.vn

1. Software quality concepts; 2. Traditional software development processes; 3. Design process of real-time operating systems(RTOS); 4. Software design methods and representations; 5. Design for six sigma(DFSS) software measurement and metrics; 6. Statistical techniques in software six sigma and design for six sigma(DFSS); …

Tác giả: Henry H. Liu

Chủ đề: Software & C#

Kiểu tài liệu: Tài liệu Điện tử

Chuyên ngành: Khoa Công Nghệ Thông Tin

Ngày cập nhật: 4/2/2013 12:00:00 AM

Từ khóa: C#, Computer, Software performance, Scalability, A quantitative approach

Ngôn ngữ: Tiếng Anh

Kích cỡ: 6.92 MB

Chương trang: 401 p.

Nguồn: http://tailieu.duytan.edu.vn

1. Hardware platform; 2. Software platform; 3. Testing software performance and scalability; 4. Introduction to queuing theory; 5. Case study I: Queuing theory applied to SOA; 6. Case study II: Queuing theory applied to optimizing and tuning software performance and scalability; ...

Tác giả: Dorothy Graham, Erik Van Veenendaal, Isabel Evans, Rex Black

Chủ đề: Software

Kiểu tài liệu: Tài liệu Điện tử

Chuyên ngành: Khoa Công Nghệ Thông Tin

Ngày cập nhật: 3/12/2013 8:13:57 AM

Từ khóa: Software engineering, Modeling system, Feasibility study, Project plan, Structured methodology

Ngôn ngữ: Tiếng Anh

Kích cỡ: 2.62 MB

Chương trang: 258 p.

Nguồn: http://tailieu.duytan.edu.vn

1. Fundamentals of testing; 2. Testing throughout the software life cycle; 3. Static techniques; 4. Test design techniques; 5. Test management; 6. tool support for testing; 7. ISTQB foundation exam.

Tác giả: Edward Hasted

Chủ đề: Software

Kiểu tài liệu: Tài liệu Điện tử

Chuyên ngành: Khoa Công Nghệ Thông Tin

Ngày cập nhật: 1/14/2013 8:25:21 AM

Từ khóa: Software, Software project

Ngôn ngữ: English

Kích cỡ: 8.18 MB

Chương trang: 380p.

Nguồn: http://tailieu.duytan.edu.vn

Contents: Chapter 1: How winners spot winners; Chapter 2: What successful people ask; Chapter 3: Plan for success; Chapter 4: I want to work here!; Chapter 5: Raising cash and kind; Chapter 6: Development; Chapter 7: How not to reinvent the wheel;...

Tác giả: Pankaj Jalote

Chủ đề: Software

Kiểu tài liệu: Tài liệu Điện tử

Chuyên ngành: Khoa Công Nghệ Thông Tin

Ngày cập nhật: 11/30/2011 3:01:50 PM

Từ khóa: Software, project management

Ngôn ngữ: Tiếng Anh

Kích cỡ: 1.2 MB

Chương trang: 288 p.

Nguồn: http://timsach.com.vn

Aimed at developers and IT managers alike, Software Project Management in Practice offers an invaluable guide to using lightweight software processes in real projects. Filled with sample documents, this book can benefit any organization seeking to improve the ways it manages software..

Tác giả: Louis Poulin

Chủ đề: Software

Kiểu tài liệu: Tài liệu Điện tử

Chuyên ngành: Khoa Công Nghệ Thông Tin

Ngày cập nhật: 11/30/2011 11:45:04 AM

Từ khóa: Software, Reducing risk

Ngôn ngữ: English

Kích cỡ: 2.8 MB

Chương trang: 289 p.

Nguồn: http://timsach.com.vn

Reducing Risk with Software Process Improvement recommends the critical practices that aid in the successful delivery of software products and services. The author describes the observations that he made over a period of ten years in IT projects and organizations. He focuses on the areas of software development and maintenance, highlighting the most frequently encountered problems that occur due to poor processes. The author derives recommendations from 40 comprehensive assessments of IT organizations..

Tác giả: Hongji Yang

Chủ đề: Software & UML & XML

Kiểu tài liệu: Tài liệu Điện tử

Chuyên ngành: Khoa Công Nghệ Thông Tin

Ngày cập nhật: 11/30/2011 9:22:26 AM

Từ khóa: Software evolution, uml, xml

Ngôn ngữ: Tiếng Anh

Kích cỡ: 6.2 MB

Chương trang: 375 p.

Nguồn: http://timsach.com.vn

Advances in UML and XML-Based Software Evolution reports recent advances in applications of two popularly used languages, UML and XML, in the field of software evolution. This book covers topics such as: visualizing legacy systems with UML, augmenting UML.

Tác giả: Boris Beizer

Chủ đề: Software

Kiểu tài liệu: Tài liệu Điện tử

Chuyên ngành: Khoa Công Nghệ Thông Tin

Ngày cập nhật: 11/16/2011 2:54:40 PM

Từ khóa: Software

Ngôn ngữ: English

Kích cỡ: 2.7 MB

Chương trang: 500 p

Nguồn: http://www.ebook4u.vn

Contents: 1. Introduction; 2. The taxonomy of bugs; 3. Flowgraphs and path testing; 4. Transaction- flow testing; 5. Data-flow testing; 6. Domain testing; 7. Metrics and complexity; 8. Paths, path products and regular expressions; 9. Syntax testing; 10. Logic-based testing; 11. States, state graphs and transition testing; 12. Graph matrices and applications; 13. Implementation; 14. Cited references and bibliography; 15. Appendix – Bug statistics and taxonomy; 16. Glossary/ Index.