Software product development method
A software, software code technology
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
Method used
Image
Examples
Embodiment 1
[0020] A software product development method, comprising the steps of:
[0021] Step 10, carry out preliminary software design, including selecting development platform and development language, designing interface and algorithm;
[0022] Step 21, converting the content of the algorithm into UML graphics (or a flow chart or a combination of words or words and pictures);
[0023] Step 22, input the converted UML graphic (or the combination of flow chart or text or text and figure) into a pre-designed Rodin platform analysis plug-in to analyze, generate pseudocode, and the shown analysis plug-in is used to UML The graphics in the graphics and the relationship between the graphics are analyzed to obtain corresponding pseudocodes, and the analysis plug-in is implemented based on the B language;
[0024] Step 23, using the Rodin platform to carry out a logic test on the pseudo-code, the logic test is a logical judgment based on the mathematical basis of meta-sets and binary predic...
Embodiment 2
[0026] A software product development method, comprising the steps of:
[0027] Step 10, carry out preliminary software design, including selecting development platform and development language, designing interface and algorithm;
[0028] Step 20, directly write the pseudocode according to the content of the algorithm, and utilize the Rodin platform to carry out a logic test on the pseudocode. The logic test is a logical judgment based on the mathematical basis of the meta-set and binary predicate logic. If If the test is successful, enter the phase of software code development and testing; otherwise, modify the algorithm (that is, the algorithm in step 10), and repeat step 20.
[0029] Among them, the Rodin platform is an IDE platform developed based on the Eclipse platform for Event-B (Event_B is a formal language based on traditional predicate calculus and theorem proving), which provides high-efficiency security for Event-B Supported by mathematical evidence, this platfor...
PUM
Abstract
Description
Claims
Application Information
- R&D Engineer
- R&D Manager
- IP Professional
- Industry Leading Data Capabilities
- Powerful AI technology
- Patent DNA Extraction
Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.
© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com