Research on formalization of efficient query application problems with compound condition in software development

被引：0

作者：

Yang Yuchen ^{[1
,2
]}

Wang Xiaofang ^{[1
,2
]}

Yin Guisheng ^{[1
]}

机构：

[1] College of Computer Science and Technology,Harbin Engineering University

[2] National Engineering Laboratory for E-Government Modeling and Emulation,Harbin Engineering University

来源：

The Journal of China Universities of Posts and Telecommunications | 2017年 / 02期

关键词：

automatic programming; formal specification; requirements-based programming; compound condition query;

D O I：

暂无

中图分类号：

TP311.52 [];

学科分类号：

081202 ; 0835 ;

摘要：

This paper provides a formalized definition of the application problem of compound condition query(CCQ) and a formal method of applying requirements elicitation based on trace information space derived from trace algebra. With the formalized process of solving the application problem of CCQ, formal requirements specification of application of CCQ is given, a formalized and automatic mapping of the results of requirements elicitation to the formal requirements specification is performed, the software system model and the application code are developed. Through a sample application of comprehensive query on housing information, the feasibility of formalized and automatic software development for the application problem of CCQ is proved. The result has important implications for the other problems regarding formalization and automatic software development.

引用

页码：18 / 30

页数：13

共 50 条

[1] Research on formalization of efficient query application problems with compound condition in software development
Yang Yuchen
Wang Xiaofang
Yin Guisheng
TheJournalofChinaUniversitiesofPostsandTelecommunications, 2017, 24 (02) : 18 - 30
[2] Research on the Application of Software Engineering Theory in Software Development
Lin, Longjian
AGRO FOOD INDUSTRY HI-TECH, 2017, 28 (01): : 3030 - 3032
[3] Methods Research and Software Development for Parameters Formalization of the Assignment Task Applicable to the Target Distribution
Beloglazov, Denis Aleksandrovich
Finaev, Valery Ivanovich
Soloviev, Victor Vladimirovich
Pavlenko, Elena Nikolaevna
JOURNAL OF ROBOTICS, 2020, 2020
[4] Research on Application of Computational Thinking to Software Development
Kwon, Jungin
BASIC & CLINICAL PHARMACOLOGY & TOXICOLOGY, 2020, 127 : 84 - 85
[5] AOP technology application in software development research
Tong, Zhang Yu
2015 SEVENTH INTERNATIONAL CONFERENCE ON MEASURING TECHNOLOGY AND MECHATRONICS AUTOMATION (ICMTMA 2015), 2015, : 174 - 177
[6] Research on the Application of Stratification Technology in Computer Software Development
Zou, Weiguo
PROCEEDINGS OF THE 2016 4TH INTERNATIONAL CONFERENCE ON ELECTRICAL & ELECTRONICS ENGINEERING AND COMPUTER SCIENCE (ICEEECS 2016), 2016, 50 : 1217 - 1220
[7] A Computer Audit Office Software Research, Development and Application
Bin, Wang
2011 INTERNATIONAL CONFERENCE ON APPLIED SOCIAL SCIENCE (ICASS 2011), VOL 1, 2011, : 367 - 371
[8] Communication Problems in Software Development - A Model and Its Industrial Application
Pernstal, Joakim
Feldt, R.
Gorschek, T.
Floren, D.
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2019, 29 (10) : 1497 - 1538
[9] Research on the Application of Computer Software Development Technology in the New Period
Zhang, Shufeng
You, Lantao
Liu, Zheng
2019 4TH INTERNATIONAL WORKSHOP ON MATERIALS ENGINEERING AND COMPUTER SCIENCES (IWMECS 2019), 2019, : 43 - 47
[10] THE RESEARCH, DEVELOPMENT AND APPLICATION OF A COMPREHENSIVE NUTRITIONAL SOFTWARE, MEDITRITION, BY A GASTROENTEROLOGIST
HOLLIS, JB
GASTROENTEROLOGY, 1994, 106 (04) : A610 - A610

← 1 2 3 4 5 →