First Intelligent Automaed Software Construction Tech

From the perspective of theory and software system, why is it difficult for all other teams to achieve such a high goal? Someone has to climb, and he spent 24 years, almost 17 hours/day (more than 100,000 hours) to climb to the top of computer software technology, solving urgent problems for mankind!
1. One of the core topics in the field of computer software science: the problem of Program (function, semantic) correctness verification , which is almost unsolvable from the perspective of existing mathematics and software theory science. For half a century, hundreds of thousands of software scientists have been thinking about this open research topic, and many people have won the world's highest computer Turing Award for this, but they still have not been able to completely solve it. It has now been completely conquered by us. This topic has been presented and successfully demonstrated at a large SVRC conference (although it is not as profound as the ideas of relativity and Maxwell's equations, but (Needless to say, who has been quietly doing something that is almost impossible to succeed without funding support?) Compared with the Nobel Prize-winning topics that are truly remarkable and explain individual physical and chemical phenomena, its difficulty is not less, {The whole system uses: symbolic algebra (formula simplification); symbolic arithmetic theorem proof (logical reasoning); symbolic program compiler; symbolic program induction (a century-old problem); formal specification (precondition-postcondition)} , and its urgency to society seems to be more urgent!)

2. The world's only successful automated software engineering technology, with book publishing and software downloads, official reception, affirmation and congratulations. (Computer software companies in various countries will also compete to adopt high-efficiency and high-quality software automation production technology. In the current era of fierce competition in the world of artificial intelligence automation, simply introducing successful innovative technologies and calling it advertising-style "boasting" without urgent follow-up will make it difficult for even a very large company to avoid the same embarrassing experience that Kodak, a major film company, encountered!)

3. Enhanced "Generative Artificial Intelligence AI++" can automatically generate programming software products, and can create a complete VC++ high-speed small software from a few words with just a "click of a button"
(created the miracle of software that can be used directly without manual modification of a symbol)

############################################################################################################################################################
In the more than 20 years since 2004, the Internet has honestly reported that our company hslrj.com's automation software technology is currently the only successful one in the world (there is software and theory, the software can be downloaded, and a book has been published). It is undoubtedly an innovative technology that needs to be jointly developed and used in the 21st century. (There is no need to point out which authoritative figures recognize this technology here)
It should be pointed out in particular that any new computer software technology, including AI, is just a good helper for programmers. Celebrities who know little about computer software, don't brag that AI will make programmers unemployed!

1. Our company is the only company in the world that has overcome the difficulty of [Generative Artificial Intelligence] to generate high-quality software in tens of seconds in the future.
It can generate a high-speed, complete, and high-speed software product written in high-level C language from any few words, press a key once, without people typing and adding new program codes!

This kind of software that can be generated in seconds can be used quickly in the controllers of spacecraft far away from people to avoid possible disasters.
In order to attract and train elite scientific and technological talents, any person or organization that can create the same [Generative Artificial Intelligence] software generation method within two years and automatically generate a super-high-speed complete application software product written in C language will be hired as the company's CTO and granted 50% of the company's assets.
(Please note that
a. All software automation technologies are advanced tools used by software programs. Tools cannot replace programmers. I hope that celebrities in other fields who have not used C language to program software for decades will stop shouting that "programmers are no longer needed in the future."
b. The company's innovative technology is too advanced and is not at the same level as other units. There is no intention to compete here, but a desire to cooperate with each other to make up for the gap.)

2. Successful implementation of automated software engineering technology __ 2008. It automatically generates a full set of VD++ design language for large-scale application software from the software order given by the customer in just a few tens of minutes
(It has also tried to automatically generate a full set of Internet platform CGI and mobile phone APP software! Tsinghua University Press published the book "VD++ Design Language" __ 2013)

Top 【Artificial intelligence generates programming software】 download -- The number one in the world！
An international version that popularizes computer culture for mankind and can also be tried by primary school student; it will be used in unmanned spacecraft in the future to modify the spacecraft software in real time

(listening audeo first)The arrival of intelligent automated software generation technology -- The number one in the world！
(its text copy)The arrival of intelligent automated software generation technology -- The number one in the world！

The reality of the world is:
"People live and work today in the twenty-first century,
Ubiquitous access to and use of modern technological tools - computers and their software ! "
About half a century ahead of us, we have realized the unique intelligent automated software engineering technology of this century ahead of schedule,
It will enable countries to fully and quickly enter into a modern society of industrial technology and life.

At the same time, in order to promote young students to learn modern science and technology knowledge, we can one class,
Inspire and guide middle school students to make a high-speed Windows software product with VC++ high-quality program code !

First Intelligent Automaed Software Construction Tech

Go To First Index Page Old Home Page Social Activities

（B）Publish Theoretical Computer Software Science (The first detailed description of the two major problems in computer science, for graduate students and teachers to read)