CN105955760B - A kind of bookbinding data automatically generate matching process - Google Patents
A kind of bookbinding data automatically generate matching process Download PDFInfo
- Publication number
- CN105955760B CN105955760B CN201610397848.1A CN201610397848A CN105955760B CN 105955760 B CN105955760 B CN 105955760B CN 201610397848 A CN201610397848 A CN 201610397848A CN 105955760 B CN105955760 B CN 105955760B
- Authority
- CN
- China
- Prior art keywords
- data
- bookbinding
- variable
- file
- name
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Active
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/30—Creation or generation of source code
- G06F8/33—Intelligent editors
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/40—Transformation of program code
- G06F8/41—Compilation
- G06F8/43—Checking; Contextual analysis
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/70—Software maintenance or management
Landscapes
- Engineering & Computer Science (AREA)
- General Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Software Systems (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Management, Administration, Business Operations System, And Electronic Commerce (AREA)
Abstract
A kind of bookbinding data automatically generate matching process, by data meta structure according to capable Sequential Mapping into bookbinding data template file, keep name variable, types of variables, variable annotation, variable classification are constant;Then logging data content obtains bookbinding data input file reference data and opposite offset data according to data classification;Then according to bookbinding data input file automatically generate bookbinding data result file and using bookbinding data source code, by examine matching algorithm ensure read bookbinding data format, order, content correctness and consistency.The present invention will bind data and solidify from each process that result exports is designed into, and simplifies personnel's operation, reduces design difficulty, ensures controlled process.
Description
Technical field
The present invention relates to a kind of bookbinding data to automatically generate matching process.
Background technique
The function of various intelligence single machines is increasingly powerful, and processing data class is more, and processing capacity is strong, data content variation relatively frequency
It is numerous.Taking the design method of program and data separating thus is to solve the effective measures of such application.Although the lattice of external data
Formula, interface definition are not quite similar, but the data format of processor load operating to memory is with uniformity.The data of memory format
For embedded single machine general data, there is broad applicability.For guarantee data transmission reliability and correctness, to transmission data
Carrying out verification is to guarantee the common method of the correct reliability service of data.
By the way of program and data separating, emphasis is needed to solve data correctly matched consistency problem, it is ensured that bookbinding
The consistency of data, avoids data obfuscation, to realize flexible configuration, easy to use.
Summary of the invention
The present invention provides a kind of bookbinding data and automatically generates matching process, will bind data from be designed into result export it is each
A process is solidified, and is simplified personnel's operation, is reduced design difficulty, ensures controlled process.
In order to achieve the above object, the present invention provides a kind of bookbinding data and automatically generates matching process comprising the steps of:
Step S1, the structure of data element is defined;
The structure of each data element includes: name variable, types of variables, variable annotation, variable classification;
Step S2, data meta structure is generated into bookbinding data source template file according to capable Sequential Mapping;
The bookbinding data source template file includes: name variable, variable default value, variable annotation, becomes types of variables
Amount classification, variable separator;
Step S3, according to the numerical parameter of the format typing bookbinding data of bookbinding data source template file, dress is automatically generated
Order data input file;
The bookbinding data input file includes: reference data file and opposite offset data file;The benchmark
Data file and opposite offset data file include name variable, types of variables, variate-value;The reference data file packet
Contain: multiple reference datas;The opposite offset data file includes: a plurality of data code name and multiple data modes relatively partially
Move data;
Step S4, according to bookbinding data input file, it is converted into more set bookbinding data result files automatically and carries out school
It tests and saves;
The bookbinding data result file includes: variable value, data check code and file after time numerical value, conversion
Check code;
Step S5, the source code for loading and checking bookbinding data is automatically generated;
The source code package of the bookbinding data contains: name variable, types of variables, variable annotation, variable classification, syllable sequence
Number, variable check code.
A data include multiple data elements and a variety of typess of variables.
Structure, bookbinding data source template file, bookbinding data input file and the source for binding data of the data element
Name variable in code, types of variables, variable annotation, variable classification are consistent.
The opposite offset data is identical to the type in reference data and the identical numerical value of variable name is changed, or
Person has the variable not having in reference data relatively in offset data, but the variable one is scheduled in bookbinding data source template and exists.
The step S4 comprising the following steps:
Step S4.1, opposite offset data generates different data code names, each data generation according to data mode difference
Number a set of bookbinding data result file is generated plus reference data is corresponding;
Step S4.2, all addition time numerical value, i.e. bookbinding data result are literary automatically in every suit bookbinding data result file
The date Hour Minute Second information that part generates;
Step S4.3, data check value and file verification value are calculated using checking algorithm;
Step S4.4, the bookbinding data result file that memory format saves output is automatically converted to according to variable order;Its
In, the changing content of every suit bookbinding data relative datum data is all contained in opposite offset data.
The checking algorithm is using CRC check or use and verification, or uses even-odd check.
The step S5 comprising the following steps:
Step S5.1, bookbinding data result file is loaded into target machine from local, it is raw for each variable classification
The function of the variable value can be obtained at one;
Step S5.2, variable order, the variable name check code for calculating bookbinding data result file according to variable order, become
Amount name check code reads bookbinding data and decodes the source code for obtaining bookbinding data, is assigned in source code and bookbinding data source mould
Title is identical in plate file and measures the identical variable of type;
Step S5.3, it is matched using the inspection matching algorithm that parameter type judgement and parameter name verification judgement combine
It checks bookbinding data and binds the source code of data.
The bookbinding data result file of load can reach local under in target machine automatically, with local data carry out by
A comparison, if it is different, then thinking to bind corrupt data, convenient for comparing the consistency with input data of bookbinding data.
The invention has the following advantages:
1, template, input, output result and source code are automatically generated according to data meta structure, improve the degree of automation,
Reduce the workload of production bookbinding data.
2, bookbinding data creating process is simple, flexibly, convenient for management and application.User need to only complete a data meta structure
Definition, subsequent need to change data content, and bookbinding data automatically generate.
3, the consistency for binding data is good, is convenient for debugging.Data meta structure, data template, data in source code using becoming
Amount name, types of variables, variable order are consistent, and the verification mode combined using variable name verification and variable order,
Guarantee generation, the conversion, the consistency used of bookbinding data.
4, it can be generated simultaneously under multiple technologies state in such a way that opposite offset data combines using reference data
More set bookbinding data, share master data, avoid repeatedly inputting, economize on resources.
5, has comparing function, it is ensured that bind the correctness of data.After data bookbinding, bookbinding number can be passed down automatically
According to convenient for comparing, the correctness of guarantee bookbinding data.
6, by the way of program and data separating, the flexibility and applicability of bookbinding data are enhanced, while evading
The risk of software modification.
Detailed description of the invention
Fig. 1 is the flow chart that a kind of bookbinding data provided by the invention automatically generate matching process.
Fig. 2 is the exemplary diagram for binding data source template file.
Fig. 3 is the exemplary diagram of reference data and opposite offset data.
Fig. 4 is the exemplary diagram for binding the source code of data.
Specific embodiment
Below according to FIG. 1 to FIG. 4, presently preferred embodiments of the present invention is illustrated.
As shown in Figure 1, the present invention, which provides a kind of bookbinding data, automatically generates matching process comprising the steps of:
Step S1, the structure of data element is defined;
The structure of each data element includes: name variable, types of variables, variable annotation, variable classification etc.;
A data include multiple data elements and a variety of typess of variables, can divide into plurality of classes according to function and usage;
Step S2, data meta structure is generated into bookbinding data source template file according to capable Sequential Mapping;
The bookbinding data source template file includes: name variable, variable default value, variable annotation, becomes types of variables
Amount classification (the affiliated type of variable), variable separator etc.;
Name variable in the bookbinding data source template file, types of variables, variable annotation, variable classification and data
Name variable in meta structure, types of variables, variable annotation, variable classification are consistent;
Step S3, according to the numerical parameter of the format typing bookbinding data of bookbinding data source template file, dress is automatically generated
Order data input file;
The bookbinding data input file includes: reference data file and opposite offset data file;
The reference data file includes: multiple reference datas;
The opposite offset data file includes: the opposite offset data of a plurality of data code name and multiple data modes;
The data code name and data mode corresponds;
The reference data file and opposite offset data file include name variable, types of variables, variate-value etc.;
Opposite offset data can change the numerical value of the identical variable (type is identical, and variable name is identical) in reference data
Become, alternatively, have the variable not having in reference data in opposite offset data, but the variable one is scheduled in bookbinding data source template
In the presence of;
Name variable in the bookbinding data input file, types of variables, variable annotation, variable classification and bookbinding number
According to the name variable in the template file of source, types of variables, variable annotation, variable classification are consistent;
Step S4, according to bookbinding data input file, it is converted into more set bookbinding data result files automatically and carries out school
It tests and saves;
The bookbinding data result file includes: variable value, data check code and file after time numerical value, conversion
Check code;
The step S4 comprising the following steps:
Step S4.1, opposite offset data generates different data code names, each data generation according to data mode difference
Number a set of bookbinding data result file is generated plus reference data is corresponding;
Step S4.2, all addition time numerical value (binds data result file automatically in every suit bookbinding data result file
The date Hour Minute Second information of generation, for recording the Production Time of data result file);
Step S4.3, data check value and file verification value are calculated using checking algorithm;
The checking algorithm can use CRC check or use and verification, or using even-odd check etc.;
Step S4.4, the bookbinding data result file that memory format saves output is automatically converted to according to variable order;
Wherein, the changing content of every suit bookbinding data relative datum data is all contained in opposite offset data;
Step S5, the source code for loading and checking bookbinding data is automatically generated;
The step S5 comprising the following steps:
Step S5.1, bookbinding data result file is loaded into target machine (i.e. embedded single machine) from local, for every
One variable classification generates the function that can obtain the variable value;
Step S5.2, variable order, the variable name check code for calculating bookbinding data result file according to variable order, become
Amount name check code reads bookbinding data and decodes the source code for obtaining bookbinding data, is assigned in source code and bookbinding data source mould
The corresponding variable of plate file (i.e. title identical, the identical variable of types of variables);
Wherein, after calculative variable name check code bookbinding data input file determines, each of variable name is used
The ASCII character of letter does CRC algorithm and variable order, variable name check code is calculated;
Step S5.3, it is matched using the inspection matching algorithm that parameter type judgement and parameter name verification judgement combine
It checks bookbinding data and binds the source code of data;
The source code package of the bookbinding data contains: name variable, types of variables, variable annotation, variable classification, syllable sequence
Number, variable check code etc.;
The name variable of the source code of the bookbinding data, types of variables, variable annotation, variable classification and bookbinding data
Name variable in the template file of source, types of variables, variable annotation, variable classification are consistent, enhancing readable program code,
Trackability.
A kind of bookbinding data provided by the invention automatically generate in matching process, and the bookbinding data result file of load can
Automatically local is reached under in target machine, is compared one by one with local data, if it is different, then thinking that binding data goes out
Mistake, convenient for comparing the consistency with input data of bookbinding data.
Step of the invention is illustrated below according to embodiment:
1, data meta structure is defined.
Data meta structures is according to the requirement defined variable title of design document, types of variables and provides the annotation of variable and says
It is bright, by data meta structure according to capable Sequential Mapping into bookbinding data template, keep types of variables, variable name, variable annotation
It is constant, and classify according to variable generic.
As shown in table 1, types of variables can be basic floating point type f40, or array type mf40 can also be millisecond
Time type t32;Each variable name is different, and has annotation to each variable, and enhancing is readable;One group of variable composition one
Class, such as constant unit, IMUA parameter.
Table 1
As shown in Fig. 2, data element structure mapping is generated bookbinding data source template file.It binds in data source template file
It is variable classification first, every kind is all with one function of definition.Such as variable classification " Func Zd_Constant ();// constant
Unit " defines constant unit function " Zd_Constant () ";Followed by one bookbinding data of every row.Bind the lattice of data
Formula is shaped like " f40gCoef_GM=0;// Gravitational coefficient of the Earth ".Bind data source template file include types of variables, variable name,
Variable default value, variable annotation, the affiliated type of variable, variable separator etc..After the completion of a class variable, restart lower one kind
Variable binds about 600 data of data count until all bookbinding data definitions map.
2, value data parameter is bound in typing.
According to bookbinding data source template file, the bookbinding in typing bookbinding data source template file is required according to design document
The numerical value of data, typing bookbinding data are originally inputted numerical value.
3, bookbinding data input file is automatically generated.
According to bookbinding data source template file, according to the technical requirements automatic classifying of bookbinding data for benchmark data and relatively
Offset data.
Master data includes all reference datas, all variations of relative datum data body in opposite offset data
It is existing.As shown in figure 3, deviation data the first row illustrates data code name and data mode.Subsequent data are that relative datum data have
The data of variation, every row indicate a data, until the data mode is completed.Such as " FILE id_30001 text_ state 1
Data ", mark data code name are " 30001 ", and data meaning is " 1 data of state ".The bookbinding data for completing a state are opposite
After offset, start the data of next state, until the data of all opposite offsets are completed.Include in opposite offset data file
The offset data of multiple states.
4, according to bookbinding data input file, it is converted into more set bookbinding data result files automatically.
As shown in table 2, the bookbinding data of standard are generated according to reference data.Opposite offset data according to data mode not
With the bookbinding data for generating different data code name.The changing content of every suit bookbinding data relative datum data is all contained in relatively
In offset data.Bookbinding data are automatically converted to memory formatted data according to variable order, and calculate data school using CRC algorithm
Test value and inspection of document value.
Table 2
5, the source code for loading and checking bookbinding data is automatically generated.
As shown in figure 4, automatically generating the source code for obtaining bookbinding data, one is generated for the classification of each data variable
Function reads bookbinding data according to the order and variable name check code of bookbinding parameter and decodes, is assigned to the corresponding variable of code.
For convenience of debugging, variable name and data meta structure can be kept to define consistent, enhance readable program code, trackability.
The present invention automatically generates bookbinding data source template file according to data meta structure, binds in data source template file and protects
Hold the consistency of variable name, types of variables;User only needs the numerical value of the bookbinding data in typing bookbinding data source template file,
Remaining format remains unchanged;In the bookbinding data input file generated by bookbinding data source template file, automatically according to data
The state of characterization divides into reference data and opposite offset data;Bind data input file in variable name, types of variables with
It is consistent in bookbinding data source template file, bookbinding data output destination file, which is generated, using the preservation of memory format is convenient for processor
It uses.And guarantee to bind the consistency of data by the way of data check, file verification, bind order, the type, change of data
It measures title and defines holding matching with data meta structure.
The invention has the following advantages:
1, template, input, output result and source code are automatically generated according to data meta structure, improve the degree of automation,
Reduce the workload of production bookbinding data.
2, bookbinding data creating process is simple, flexibly, convenient for management and application.User need to only complete a data meta structure
Definition, subsequent need to change data content, and bookbinding data automatically generate.
3, the consistency for binding data is good, is convenient for debugging.The definition of data meta structure, data template, data use source code
Middle variable name, types of variables, variable order are consistent, and the verification side combined using variable name verification and variable order
Formula guarantees generation, the conversion, the consistency used of bookbinding data.
4, it can be generated simultaneously under multiple technologies state in such a way that opposite offset data combines using reference data
More set bookbinding data, share master data, avoid repeatedly inputting, economize on resources.
5, has comparing function, it is ensured that bind the correctness of data.After data bookbinding, bookbinding number can be passed down automatically
According to convenient for comparing, the correctness of guarantee bookbinding data.
6, by the way of program and data separating, the flexibility and applicability of bookbinding data are enhanced, while evading
The risk of software modification.
It is discussed in detail although the contents of the present invention have passed through above preferred embodiment, but it should be appreciated that above-mentioned
Description is not considered as limitation of the present invention.After those skilled in the art have read above content, for of the invention
A variety of modifications and substitutions all will be apparent.Therefore, protection scope of the present invention should be limited to the appended claims.
Claims (7)
1. a kind of bookbinding data automatically generate matching process, which is characterized in that comprise the steps of:
Step S1, the structure of data element is defined;
The structure of each data element includes: name variable, types of variables, variable annotation, variable classification;
Step S2, data meta structure is generated into bookbinding data source template file according to capable Sequential Mapping;
The bookbinding data source template file includes: name variable, types of variables, variable default value, variable annotation, variable point
Class, variable separator;
Step S3, according to the numerical parameter of the format typing bookbinding data of bookbinding data source template file, bookbinding number is automatically generated
According to input file;
The bookbinding data input file includes: reference data file and opposite offset data file;The reference data
File and opposite offset data file include name variable, types of variables, variate-value;The reference data file includes:
Multiple reference datas;Described includes relative to offset data file: the opposite offset of a plurality of data code name and multiple data modes
Data;The opposite offset data is identical to the type in reference data and the identical numerical value of variable name is changed, alternatively,
There is the variable not having in reference data in opposite offset data, but the variable one is scheduled in bookbinding data source template and exists;
Step S4, according to bookbinding data input file, be converted into more set bookbinding data result files automatically and carry out verification and
It saves;
The bookbinding data result file includes: variable value, data check code and file verification after time numerical value, conversion
Code;
Step S5, the source code for loading and checking bookbinding data is automatically generated;
The source code package of the bookbinding data contains: name variable, types of variables, variable annotation, variable classification, byte serial number,
Variable check code.
2. bookbinding data automatically generate matching process as described in claim 1, which is characterized in that a data include multiple numbers
According to member and a variety of typess of variables.
3. bookbinding data automatically generate matching process as described in claim 1, which is characterized in that the knot of the data element
Structure, bookbinding data source template file bind data input file and bind the name variable in the source code of data, variable class
Type, variable annotation, variable classification are consistent.
4. bookbinding data automatically generate matching process as described in claim 1, which is characterized in that the step S4 is specifically wrapped
Containing following steps:
Step S4.1, opposite offset data generates different data code names, each data code name adds according to data mode difference
Upper reference data is corresponding to generate a set of bookbinding data result file;
Step S4.2, all addition time numerical value, i.e. bookbinding data result file are raw automatically in every suit bookbinding data result file
At date Hour Minute Second information;
Step S4.3, data check value and file verification value are calculated using checking algorithm;
Step S4.4, the bookbinding data result file that memory format saves output is automatically converted to according to variable order;Wherein, often
The changing content of a set of bookbinding data relative datum data is all contained in opposite offset data.
5. bookbinding data automatically generate matching process as claimed in claim 4, which is characterized in that the checking algorithm uses
CRC check or use and verification, or use even-odd check.
6. bookbinding data automatically generate matching process as described in claim 1, which is characterized in that the step S5 is specifically wrapped
Containing following steps:
Step S5.1, bookbinding data result file is loaded into target machine from local, generates one for each variable classification
A function for obtaining the variable value;
Step S5.2, variable order, the variable name check code for calculating bookbinding data result file, according to variable order, variable name
Check code reads bookbinding data and decodes the source code for obtaining bookbinding data, is assigned in source code and bookbinding data source template text
Title is identical in part and measures the identical variable of type;
Step S5.3, it is checked using the inspection matching algorithm that parameter type judgement and parameter name verification judgement combine
It binds data and binds the source code of data.
7. the bookbinding data as described in any one of claim 1-6 automatically generate matching process, which is characterized in that load
Bookbinding data result file can reach local under in target machine automatically, be compared one by one with local data, if not
Together, then it is assumed that bookbinding corrupt data, convenient for comparing the consistency with input data of bookbinding data.
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201610397848.1A CN105955760B (en) | 2016-06-07 | 2016-06-07 | A kind of bookbinding data automatically generate matching process |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201610397848.1A CN105955760B (en) | 2016-06-07 | 2016-06-07 | A kind of bookbinding data automatically generate matching process |
Publications (2)
Publication Number | Publication Date |
---|---|
CN105955760A CN105955760A (en) | 2016-09-21 |
CN105955760B true CN105955760B (en) | 2019-03-15 |
Family
ID=56909112
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201610397848.1A Active CN105955760B (en) | 2016-06-07 | 2016-06-07 | A kind of bookbinding data automatically generate matching process |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN105955760B (en) |
Families Citing this family (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN110309538B (en) * | 2019-05-24 | 2023-05-12 | 北京卫星制造厂有限公司 | Spacecraft process template and implementation system, method and application thereof |
Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN1920837A (en) * | 2006-09-14 | 2007-02-28 | 东北大学 | Complex equipment faced multi-subject design software integrated parameter mapping method |
CN103019742A (en) * | 2012-12-31 | 2013-04-03 | 清华大学 | Method for generating automatic codes on multiple DSP (Digital Signal Processor) platform |
CN104361139A (en) * | 2014-12-10 | 2015-02-18 | 用友软件股份有限公司 | Data importing device and method |
CN104932905A (en) * | 2015-07-14 | 2015-09-23 | 北京神舟航天软件技术有限公司 | Automatic code generation method from AADL to C language |
-
2016
- 2016-06-07 CN CN201610397848.1A patent/CN105955760B/en active Active
Patent Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN1920837A (en) * | 2006-09-14 | 2007-02-28 | 东北大学 | Complex equipment faced multi-subject design software integrated parameter mapping method |
CN103019742A (en) * | 2012-12-31 | 2013-04-03 | 清华大学 | Method for generating automatic codes on multiple DSP (Digital Signal Processor) platform |
CN104361139A (en) * | 2014-12-10 | 2015-02-18 | 用友软件股份有限公司 | Data importing device and method |
CN104932905A (en) * | 2015-07-14 | 2015-09-23 | 北京神舟航天软件技术有限公司 | Automatic code generation method from AADL to C language |
Also Published As
Publication number | Publication date |
---|---|
CN105955760A (en) | 2016-09-21 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US10372422B2 (en) | Performance verification device for verifying performance of program, method, and recording medium having program recorded thereon for causing computer to perform the method | |
KR101314949B1 (en) | Integration environment generator | |
WO2021208288A1 (en) | Program implementation method and system capable of separating code and configuration data | |
CN103902456B (en) | Test script processing meanss, system and method | |
US7506175B2 (en) | File language verification | |
TWI577539B (en) | Computer-implemented method, computer-readable storage memory, and system for runtime system | |
CN105468797B (en) | A kind of information processing method and device | |
CN107741903A (en) | Application compatibility method of testing, device, computer equipment and storage medium | |
CN102968370A (en) | Test data generating method and device | |
CN107133502B (en) | A kind of processing method and processing device of application program | |
CN107766130A (en) | The method and apparatus that virtual machine migrates to container | |
CN108595187A (en) | Method, device and the storage medium of Android installation kit integrated software development kit | |
TW201642058A (en) | Program generation device, program generation method, and program generation program | |
JP6440895B2 (en) | Software analysis apparatus and software analysis method | |
CN109918075A (en) | Utilize the SDK packaging method, packing plug-in unit and corresponding terminal for being packaged plug-in unit | |
CN109918338B (en) | Safety chip operating system testing device | |
CN109446096A (en) | A kind of intelligence contract adjustment method, device and its storage medium | |
CN105955760B (en) | A kind of bookbinding data automatically generate matching process | |
CN103365772B (en) | Software test automatic evaluation device and method | |
CN104281471A (en) | Multi-version software OTA (on the air) updating method | |
CN112214256B (en) | Machine learning operation control method and device, electronic equipment and storage medium | |
CN108664254A (en) | A kind of Software package method and device | |
CN105718434A (en) | Natural language formula editing method and system | |
CN110941932B (en) | Demand modeling and verifying method for hardware logic design | |
CN104539697B (en) | A kind of client, server and the method for making Android mobile application |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
C06 | Publication | ||
PB01 | Publication | ||
C10 | Entry into substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
GR01 | Patent grant | ||
GR01 | Patent grant |