Method of construction 009

Source: Internet
Author: User

The law of construction taught me a lot of things, not necessarily programming skills, but the way of thinking.

The formal method is based on strict mathematics, the goal is to make the system have high credibility and correctness, and can make the system has a good structure, make it easy to maintain, the key is to better meet the needs of users. Although the term "formal method" has been widely used, it has different meanings in different degrees because of the different understanding. Generally speaking, formal method refers to a method with solid mathematical Foundation, it is the application of mathematics synthesis, analysis technology, used to develop computer control system, often has the support of inference tools, it can provide a rigorous and effective way for model design and analysis.

In the study of this book, I learned what the code specification is, how to be considered the code, Code space requirements and other related issues. Learning to test by writing unit tests, the quality of the module can be stable, quantitative guarantee. I learned how to test the use case to ensure the quality of the program. I also learned about PSP, by writing a PSP table to record the time that I spent on the development of each module of the program. I also have a clearer understanding of teamwork.

Now because of the development of the Internet, people will always turn to the software in order to solve various problems in real society and life. In order to fully and accurately find the requirements of software, we generally follow the following steps. 1. Acquiring and directing requirements, 2. Analyzing and defining requirements, 3. Verifying requirements; 4. Managing requirements in the SOFTWARE PRODUCT lifecycle. While the software team analyzes software requirements, it is also necessary to consider a number of stakeholders, such as users, customers, market analysts, regulators, software engineers, we can not meet the requirements of all stakeholders, but we need to enable the relevant role at this stage to participate in and present their needs and opinions.

We as a future software engineer, let us work together for the future of the software engineering industry!

Method of construction 009

Contact Us

The content source of this page is from Internet, which doesn't represent Alibaba Cloud's opinion; products and services mentioned on that page don't have any relationship with Alibaba Cloud. If the content of the page makes you feel confusing, please write us an email, we will handle the problem within 5 days after receiving your email.

If you find any instances of plagiarism from the community, please send an email to: info-contact@alibabacloud.com and provide relevant evidence. A staff member will contact you within 5 working days.

A Free Trial That Lets You Build Big!

Start building with 50+ products and up to 12 months usage for Elastic Compute Service

  • Sales Support

    1 on 1 presale consultation

  • After-Sales Support

    24/7 Technical Support 6 Free Tickets per Quarter Faster Response

  • Alibaba Cloud offers highly flexible support services tailored to meet your exact needs.