During the past six years, the authors have experimented with various modeling and quality control techniques while teaching software engineering to university students. The first group of experiments compared UML to natural languages (e.g. English); the second group modeled the entire software development process as a sequence of translations from more abstract languages to more formal languages (e.g. from English to UML, from UML to C++, etc.). In these experiments the authors and their students discovered new approaches to increasing productivity of software developers. On this basis, the authors have developed the framework that extends traditional development processes. The framework is built upon two simple, yet powerful principles: Reverse Semantic Traceability (RST) and Speechless Modeling.The authors have over two years of experience of using RST in computing curricula, and also have over six years of experience of applying Speechless Modeling in teaching computer science and software engineering. Both approaches resulted in improving the quality of education and generated positive feedback from students. Some students started to practice the authors' framework in their professional careers. In this paper, the authors present their experience of integrating RST and Speechless Modeling into university computer science/software engineering curricula.
The article is devoted to the solution of key issues arising in the course of practical implementation of the artificial intelligence system elements. Based on the need to distribute tasks among several developers and ensure scalability, the structure of the system, the programming language and the data transfer protocol of the program modules were determined. The structure of the software package is conditioned by the requirement to modify and expand its capabilities by connecting additional software modules or completely replacing them. A refined algorithm for receiving and processing a command from the external environment is presented. The choice of the programming language is based on the availability of already developed libraries that solve the tasks of artificial intelligence, as well as the need to ensure cross-platform software. The choice of the programming language is based on the availability of already developed libraries that solve the tasks of artificial intelligence, as well as the need to ensure cross-platform software. The choice of the protocol for exchanging data between the individual program modules of the system was carried out proceeding from the need to transfer data of arbitrary size.
The multi-agent systems involved in the conflict and the agents belonging to them are considered. The concept of a super-system is introduced. The axioms of agents belonging to several systems with mismatching goals are introduced for agents, multi-agent systems and super-systems. The objective is to determine the way the introduced axioms affect the studied processes. The theory of reflexive control of conflicting systems is considered. The concepts of stratagem, simulacrum as well as the nudge technology are analyzed. The tasks of forecasting interstate conflicts are considered. It is shown how the formulation of such forecasting problems changes in case the affiliation of systems (states) to various super-systems (coalitions) is taken into account. The introduced axioms offer a new point of view on forecasting tasks. It is proved that the advantage in the conflict belongs to the system in which the decision-maker, with equal degrees of reflection, has more information about the systems that include agents.
The complex organizational and technical systems that are in a state of competition are considered. The situation when competing systems have a common goal, the achievement of which is undesirable for both systems is analyzed. The aggravation of the situation in conflicts such as hybrid wars is supposed. A formal interaction model of the conflicting systems is built. The conditions of achieving goals by the system are considered, when the processed information is inaccurate, contradictory, incomplete, and there are no statistical data. It is argued that under such conditions, the onset of a special period of the systems functioning is possible. The axioms of the systems functioning are introduced, the implementation of which leads to the simultaneous achievement of undesirable goals by both systems. An algorithm for this achievement is given. A simulation model based on modified Kaufman NK-automaton is built. The results of experiments are given in which ensembles of modified Kaufman NKautomaton participate, interacting with each other as conflicting systems.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.