This paper describes efforts to develop a transformation-basedsoftware environment that supports the acquisition and validation of software requirements specifications. These requirements may be stated informally at ...
详细信息
We trace the roots of ontology-drive information systems (ODIS) back to early work in artificial intelligence and softwareengineering. We examine the lofty goals of the knowledge-basedsoftware Assistant project from...
详细信息
ISBN:
(纸本)9781586039233
We trace the roots of ontology-drive information systems (ODIS) back to early work in artificial intelligence and softwareengineering. We examine the lofty goals of the knowledge-basedsoftware Assistant project from the 80s, and pose some questions. Why didn't it work? What do we have today instead? What is on the horizon? We examine two critical ideas in softwareengineering: raising the level of abstraction, and the use of formal methods. We examine several other key technologies and show how they paved the way for today's ODIS. We identify two companies with Surprising capabilities that are on the bleeding edge of today's ODIS, and are pointing the way to a bright future. In that future, application development will be opened up to the masses, who will require no computer science background. People will create models in visual environments and the models will be the applications, self-documenting and executing as they are being built. Neither humans nor computers will be writing application code. Most functionality will be created by reusing and combining pre-coded functionality. All application software will be ontology-driven.
Spoken language interfaces are the latest trend in human computer interaction. Users enjoy the newly found freedom but developers face an unfamiliar and daunting task. Creating reactive spoken language interfaces requ...
详细信息
ISBN:
(纸本)9781450357234
Spoken language interfaces are the latest trend in human computer interaction. Users enjoy the newly found freedom but developers face an unfamiliar and daunting task. Creating reactive spoken language interfaces requires skills in natural language processing. We show how a developer can integrate a dialog component in a natural language processing system by means of softwareengineering methods. Our research project PARSE that aims at naturalistic end-user programming in spoken natural language serves as an example. We integrate a dialog component with PARSE without affecting its other components: We modularize the dialog management and introduce dialog acts that bundle a trigger for the dialog and the reaction of the system. We implemented three dialog acts to address the following issues: speech recognition uncertainties, coreference ambiguities, and incomplete conditionals. We conducted a user study with ten subjects to evaluate our approach. The dialog component achieved resolution rates from 23% to 50% (depending on the dialog act) and introduces a negligible number of errors. We expect the overall performance to increase even further with the implementation of additional dialog acts.
Requirements analysis is a knowledge intensive task and it requires an expert to understand what the clients need. In this paper, we introduce a method which contains different artificial intelligence techniques to pe...
详细信息
Requirements analysis is a knowledge intensive task and it requires an expert to understand what the clients need. In this paper, we introduce a method which contains different artificial intelligence techniques to perform this task, and a prototype knowledge-based requirements analysis system, RAKES, is presented to explain our approach. In this approach, not only the ordinary functional requirements are collected, but also some non-traditional information, such as non-functional requirements like the quality of operations or the background information for constructing the requirements, is gathered through a knowledge-based support. Different kinds of information collected are stored and organized in a knowledge base and can be used as the source of the user input in the latter phases of software development. Algorithms and procedures have been developed for constructing the interface language, organizing the knowledge base, and applying the knowledge base to different tasks. RAKES is integrated to an on-going research, called the FRORL methodology, to offer a systematic way toward requirements analysis, specification production, prototype generation, specification debugging, and code transformation.
The 1983 KBSA (knowledge-basedsoftware Assistant) report led to the founding of the KBSE (knowledge-based software engineering conference series. The KBSE conference then changed into the ASE conference in 1997. And ...
详细信息
ISBN:
(纸本)9781450301169
The 1983 KBSA (knowledge-basedsoftware Assistant) report led to the founding of the KBSE (knowledge-based software engineering conference series. The KBSE conference then changed into the ASE conference in 1997. And this year marks the 25th anniversary of the conference *** an author of the KBSA report I was invited to talk here about the report and the beginnings of the conference. I will also discuss my own early research in program synthesis and logic programming, leading up to the KBSA *** will visit some of the goals/milestones in the KBSA report. For example, the report calls for a formal requirements language, executable specifications, and a transformation *** report also calls for a future development process in which "The transformation from requirements to specifications to implementations will be carried out with automated, knowledge-based assistance"; i.e., "the actual implementation will be derived from the formal specification", and "the [software] development and the proof of correctness will be co-derived".Then I will describe recent progress at Kestrel Institute, including a higher-order logic specification of a small operating system.
暂无评论