Even an illiterate elderly neighbor woman might chuckle and state a simple, common-sense truth:
"If you put one of your robots in my basement—isolated, with no human contact—and let it learn on its own, would it destroy humanity after ten years?"
To date, our company has successfully developed two tool systems based on software engineering automation technology:
(A) The world's only successful SDDA automation technology—both the underlying principle and the system itself—which directly transforms the extremely complex, large-scale software orders provided by clients into software products written in standard computer programming languages, just as if they had been coded by humans!
Between 2001 and 2008, 2013, and beyond, the Internet has frequently reported on
our company's innovative creation of a high-level logic language for computer programming,
enabling us to establish a broadly applicable SDDA software automation technology and theory.
Here, SDDA stands for: S (Software), D (Design), &D (Development), A (Automation)
To date, SDDA automation technology has successfully tackled three major types of automated software generation systems,
including automated generation products for enterprise management software (available for download and study since 2008),
as well as feasibility testing for automated app generation for Internet platforms and mobile devices.
(B) "Software products automatically generated (with AI assistance)," completed by the end of 2025.
A new AI technology for the automatic generation of computer software,
A new category that replaces traditional customer software design specifications with responses derived from AI-processed keyword queries,
enabling a fully automated transition from design requirements to executable program code—without any human intervention!
It completely independently, fully, and automatically generats a high-speed, highly reliable software product.
It also marks the first successful creation of a tool—usable even by elementary school students—that holds genuine, widespread significance and value.
(In contrast, when utilizing the massive software modules ‘comprising hundreds of thousands of lines of code’
that other AI companies have amassed through immense computing power and algorithms,
programmers must meticulously read and test the code themselves.
In particular, assembling software by stitching these components together introduces numerous critical reliability issues,
all of which demand a significant investment of time and effort.)
Our innovative technology has fully realized a 21st-century revolution—a breakthrough that stands unrivaled—achieving the complete automation of software engineering!
Successful application software companies of the future will inevitably adopt rigorous, universal industrial automation DESING-DEVELOP software technologies and methodologies—
rapidly upgrading their existing software production systems to achieve fully automated software production as quickly and thoroughly as possible.
In my view:
A robot's self-learning (including recursive self-learning) can only ever occur under the control of logical code written by humans!
Computer programmers are ready to take on the challenge:
Anyone claiming to be a "thinker" is welcome to engage in a dialogue with us—programmers with decades of experience independently designing and coding large-scale software systems—
regarding the fact that a robot's self-learning—or so-called recursive deep self-learning—proceeds entirely under the control of the programmatic commands and statements we, as senior software professionals, have written.
It is evident, then, that people should stop spreading alarmist rhetoric about robots "destroying humanity."
Robots are no exception; humanity will treat them with the same seriousness applied to viruses or atomic bombs.
Note: The author is a mathematical logic scholar of recursion theory,
a former director of a university computer manufacturing plant (1969–1979), and
a scientist specializing in modern program semantic correctness and automated software engineering:
Mr. Tang, tonggaotang@gmail.com, Pittsburgh, USA
The First Intelligent Automated Software Construction Technology Company
www.hslrj.com/epotang/epotang_software_download.html,
From the late 20th century into the 21st century, computer technology has been adopted to implement automation across almost every field. Today, even automobiles are beginning to use computers for complete, fully autonomous driving.
Undoubtedly, the production of the software running on these computers should also be automated. To this end, the IEEE/ACM International Conference on Automated Software Engineering has been held continuously for approximately 38 editions since 1986.
This challenge still awaits a thorough solution. Now, even AI systems like ChatGPT are entering this arena—arguably the final and most difficult frontier of software automation—aiming to automatically generate code for computer "program" modules in the future.
(We are still some time away from the complete, fully automated generation of application software products!)
Clearly, the rapid production of large quantities of highly reliable application software—for which there is an urgent need—will be a highly competitive and unavoidable challenge facing software companies across the globe.
Over the course of the 20th and 21st centuries, hundreds upon hundreds of elite experts from various nations attempted to crack the following three core challenges in computer software science. Ultimately, Mr. Tang resolved them all over the span of more than twenty years using methods based on mathematical logic: 【 Driven by extraordinary research passion and a profound sense of historical responsibility, mathematical logician Mr. Tang has—since 2001—toiled for over twenty years without external funding, programming almost daily from 9:00 AM until 3:00 AM and sleeping only four to five hours a night. 】
1. The world's only successful development of a brand-new "Generative Artificial Intelligence (AI)" technology, which can automatically generate high-speed software in programming languages. Users only need to "press a button" and input six or seven key intention words as a query,
without manually modifying any code, to immediately and automatically generate reliable software of millions to tens of millions of bytes as an answer. IBM, Microsoft, Oracle, OPEN-AI, GOOGLE, APPLE, and other companies are all competing for this kind of "AI-generated software" technology in the current AI technology competition. It is extremely difficult for even large companies to fully implement this technology in a short period of time, even with tens of millions of dollars. (This project sincerely seeks cooperation with other AI companies to explore new research and application areas!)
2. The world's only successful intelligent automated software, theory and engineering technology, which has been successfully used to automatically create a complete set of Windows software, a complete set of Internet website platform software,
and the automatic generation of some application APP software for personal mobile phones. In addition, there are published books and software downloads, and it has received official recognition and congratulations.
(Computer application software companies in various countries, Microsoft, Companies like Oracal and IBM should also be quick to adopt highly efficient and reliable software automation technologies. Their existing application software development processes can be 70-80% automated. This achieves high reliability and reusability, and, most importantly, the crucial characteristic of software: zero maintenance with arbitrary update capabilities. In the current era of fierce competition in artificial intelligence and automation, even a large company will find it difficult to avoid the same embarrassing fate as the film giant Kodak if it doesn't quickly learn and keep up with the times! Semi-automated business models are further developing and accelerating. Microsoft, Oracle, IBM, Google, and European SAP will all encounter a revolutionary type of automated software technology in the latter half of the 21st century. Those who fail in this automation competition will find it difficult to compete for significant profits with other application software companies. (This project sincerely seeks cooperation with companies that have numerous products, providing them with the ability to automatically create more new [zero-management and maintenance] application software!)
3. One of the most central themes in the field of computer software science is the challenging problem of **program (function, semantic) correctness verification**, which, from the perspective of existing mathematics and software theory, is almost unsolvable. For half a century,
hundreds of software scientists have pondered this open research topic, and many have received the world's highest Turing Award for their work, yet it remains unresolved.
We have now completely conquered this problem. In the future, universities with the necessary resources will develop large-scale verification tools for specific languages. This topic has already been presented and successfully demonstrated at a large SVRC conference (Although it may not match the intellectual depth of Einstein's theory of relativity or Maxwell's equations,
it shouldn't be compared to typical Nobel Prize-winning topics that explain individual physical and chemical phenomena. However, the degree of advancement of research results can be judged by the number of people involved in the research throughout history, its difficulty, and its value.)
{The entire system utilizes: 1. Symbolic algebra (formula simplification); 2. Symbolic arithmetic theorem proving; 3. Symbolic program compiler; 4. Symbolic program induction (a historical challenge: the conquest of a generalized induction method for proving non-mathematical formulas, which is extremely difficult to imagine); 5. Formal specifications (pre- and post-conditions)} ,
but this topic is often more directly relevant to improving the safety of human life and production!). (This project, after transferring all research materials from Unix computers to PC Windows computers, will publish papers in collaboration with interested renowned British universities!)
############################################################################################################################################################
*To restore the Windows best compiler tool VC6 nmake.exe directory, you need to install Visual Studio6.0 once with all programming languages selected, and once with only programming language VC98 selected.
############################################################################################################################################################
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)
In the decades since 2004, the Internet has reported that our company hslrj.com’s automation software technology is the only one in the world (it has software and theory, the software can be downloaded, and a book has been published), and no company can surpass it before 2050.
The global super "software automatic generation" technology, methods and theory are summarized as follows (full web page introduction): It is particularly important to point out that all new technologies are programmers' helpers. Don't bullshit them and put programmers out of work!
For decades since 2004, the Internet has reported that our company hslrj.com's automated software technology is the only one in the world (there are software and theories, the software can be downloaded, and a book has been published), and no company can surpass it before 2050.
The world's super "software automatic generation" technology, methods and theories are summarized as follows (full webpage introduction): It should be pointed out in particular that all new technologies are helpers for programmers. Don't brag about them and make programmers unemployed!
From the end of the twentieth century to the 21st century, computer technology was
used to automate almost all areas. Nowadays even cars are using computers to
automate their driving. There is no doubt that although the automation of
computer software production has not been completely solved in the last
century, in any case, the software production of the computer itself should be
automated. Software that is automatically produced with the best Patterns is
the highest quality and benefit. For different project projects, software
automation tools can be easily assembled and expanded by some advanced software
personnel to develop "special interface coding, new function algorithms,
and dedicated program module components" to maximize the completion of the
overall project. . Needless to say, the comprehensive use of SDDA automation
technology combined with advanced software personnel manual programming skills,
apparently it is a historical trend that fully utilizes the wisdom of the
program personnel and makes full use of the high-speed automatic generation of
software code.
Our historical mission:
The way to create “application software”, from hand workshop processing innovation to factory machine automation production!
[Preface of the times]:
The way humans compile computer software, from the "blank paper and on the screen" hand-written program in the 1960s,
Improvements to the extensive use of the Edit System in this century. Various layout editing software released before,
can help programmers to write various language codes.
And can help to piece together into a big program. In the future,
we must have the energy and time to develop more advanced and advanced software (artificial intelligence to the smart world).
The way of computer software production can not but begin to embark on the era of development of fully automated tools.
[Unbelievable Enterprise Economic Efficacy]:The usual software, in addition to a small number of dedicated algorithms
and dedicated modules, use our SDDA to automatically generate software (code),
which can generate software more than 500 times faster than ordinary manual programming (coding);
use our integrated Intelligent The software design tool "Visual D++ Language" is also much more reliable
than the usual manual design software approach,
and the design efficiency is approximately three to five times higher.
[Technological innovation]:The SDDA System is a fully automated system for software design and production.
It can produce software that can be used for intra-enterprise window management,
external enterprise management and management of Internet web pages,
and their unified composite system. These automatically generated enterprise and personal application software systems include:
database operations, data transfer, Process flowcharts, flowcharts for window graphs, operational displays for web graphs, and more.
It can be seen that in the era when countries are strongly emphasizing high-tech automation and artificial intelligence,
in the field of producing a large number of common application software,
large companies limited to manual programming code will have to gradually withdraw from the application software market
due to low production efficiency. . Large companies that are limited to using "Business Model intepreted-Method" technology
will also have a significant reduction in the market share of their applications due to the creation of new software
that is running too slow. To this end, the “International Conference on Automated Software Engineering”
launched in 1986 foreshadows this:: Create a non-research application software, most of which is automatically built by the computer.
The remaining small number of dedicated algorithms and special modules are compiled by the software staff.
After our company obtained the right amount of venture capital fund, the company expanded its membership and
began to produce various kinds of window application software for customers.
****************************************************************************** 【Trailer of International Conference】:
2020 The 35rd IEEE/ACM International Conference on Automated Software Engineering
(智能的自动化软件工程)will be held at Melbourne September 21, 2020 to September 25, 2020
【comment and perception】:The real essence of automation software engineering: is looking for
a "model - to - code" system theoretical methods and tools. It can convert application software design files directly
into the computer software executable code, rather than the flow chart intepreted-method,a Partially-Automated tool.
"Clearly, the historical significance and practical value of software automation are very great.
Since 1986, the world thirty-three years, computer software industry extremely huge outstanding scientific and technological workers
to spare no effort to solve the "software engineering automation" historical topics, showing the difficulty of this issue
and the importance of this issue in doctrinal countries in science and technology development.
The difficulty of the problem is that
1) the need to have visual specification language to define "software full functions and all operations of each control"
2) the need a learning software tool and
3) finally the need a system to build a new generation of software
******************************************************************************
This software historical problems has been solved by the logician and computer scientist
Tong-Gao Tang & photo:
Its theory has been built in 2004, and its a intelligent utility system has been completed in 2008 .
Since he since 2001, ten years time, He created using:
(A) the establishment of a highlayer of "logic model" language , The software can be used to "manual and automatic learning
(B) to establish a unified visualization "software specification language" for the comprehensive and in-depth specification of the software
Without software specification language, People only can automatically generated some extreme narrow one example application,
absolutely can not become generalized method!
(C) based on model theory of "Software design and development of automated system" SDDA tools for software "model - to-code "fully constructed. )
The following books reported by such major findings:
Official confirmation (10/21/2017 www.modtosoft.com)
Software Engineering Automatid Method Succeded In Wide Fields
From January 2001 to 2004, SDDA theory discussion and feasibility test were completed. From 2004 to October 2017,
we used the VD++ software design language based on SDDA technology, a computer theory scientist and mathematics without funding support
has produced three "software production automation" tools for three of the world's largest computer applications: enterprise management,
the Internet, and mobile phone applications. It goes without saying that under the conditions of many excellent computer software workers
all over the world, as long as there are funds and requirements, the "software generation automation" in other fields is much simpler.
At this point, we officially began to confirm: "Visual D++ software design language based on SDDA technology, it is a revolutionary technology that
people have dreamed of in this century can be widely used in a variety of "software automation generation" software engineering methodology.
Obviously, the companies and enterprises in which countries are the first to use SDDA technology, the companies and enterprises in this country,
the technology of their software engineering has entered the world's most advanced level in advance. At present, our company has done a lot of product
demonstrations. And published books, the purpose is to help young people to carry out new entrepreneurial activities, but also for small and
medium-sized software companies that do not have their own software architecture technology, to facilitate the adoption of new software automation
technology. They can teach themselves through teaching counseling and books. Achieve the goal of mastering the use of software automation tools.
Software company's existing old technology infrastructure may updated
to
21st century software automation systems
We are willing to help any international super-large company in about three to five years,
keep your company's original "Advanced Architecture Technology" unchanged,
and simply change your manual programming or Partially-Automated programming to machine automation production.
the way. Help you adopt a fully automated software generation system, which is one of the company's business services.
For example, FDC's original "Advanced Architecture Technology" software programming, HP, IBM's large company Tuxedo Distributed System,
and large companies such as SAP and Oracal provide customers with old Business Workflow intepreted-Method semi-automatic execution technology
that can and should be updated to automatic Generate high speed system software.
Help the company to achieve major software automation production technology. In order for us to help the company succeed,
we must provide conditional assistance:
(1) You should learn to use the "Visual D Language" release company,
you can fully understand the "Windows application" more complex Window system by (aware)
(2) You have your own architecture technology
and generate a large number of client applications for manual operation through machine learning.
We put the Pattern into the computer system (a large number of customers who need to engage in automation are worth);
( 3) For the first time, meet with our technology creator Mr.Tang, the CEO/CTO of your company.
(4) Our limited manpower. We recommend that the company update the technology to artificial intelligence software that automates the process.
You can first set up the company's highest technical level of three to five people to form a research organization software automation technology team
for five years to see if you can invest in us. The old technology architecture has been transformed into a new fully automated system.
In the past, your automation of software was not successful. Now we have a precedent for the success of accidental and fortunate automation.
The newly formed technical research team is full of confidence, and the possibility of successful automation technology companies is greatly increased.
If you want to automate tens of millions of dollars in software automation, we will help you.
Software Auto-Construction Tech Software Construction/Software Machine Technology & Products
The World First Completely Solved Software Automation via Created A Generalized Logic Pattern Technology
The newly established Pattern Logic theory for the "feasibility test" for software automation was successful in 2004,
especially the 2008 tool system for visual software design and development automation.
Then, why did I not accept venture capital, research funding, or carry out Businees activities abroad so that the society can generally use it?
The reason is: This complex Pattern artifact that "automates a large number of software productions" is really amazing.
In long time of the early days of use, I watched a large number of new software codes thoses automatically popped out,
Excited and scared, always worried about what went wrong? Fortunately, no big problem.
I deeply feel that the major new technology must be treated with extreme caution and prudent treatment.
Although there is a preliminary complete tool system, it should not be casually sold in market.
If the consideration is not thoughtful, the damage is extremely serious. From 2008 onwards,
all aspects of the new technology were further evaluated, confirming that "the theoretical thinking of the new technology is correct and reasonable,
the implementation of the line is right, and the logical considerations are as complete as possible."
As a result, the new technology has been used repeatedly for nearly ten years. In teaching and in exploring new applications,
it has proved the basic integrity of Pattern Logic theory, and the visual software design tool is also widely applicable.
What's more gratifying is that the visual software design and development of the automated tool system,
the use of a wide range of automatically generated software code is efficient, low error rate.
The reliability of the generated software is greatly improved.
____ Tong-Gao Tang
The following two products have been completed till 2008 :
Entire Web-Business Application Server Side Software Designing & Auto-Generator ____ SDDA_web System
Our "SDDA_web" system can:
(a) automatically generate a customer desired 'designing document' after loading customer submitted web pages (such as html files ).
(b) automatically generate the entire business application software codes by our model-to-code technology
(except fewer manual coding if it needs for some unknown-special algorithm).
Video For Tutorial Essential ( old not updated )
[Note] Send xinwanzhan@yahoo.com to refind a new location of "Software Construction Tech" Web side if it was stolend by a hosting service.
初学六个月右手闭眼钢琴随意曲:
【My_Piano.3gp下载】