1

2 “...Software is used in many safety- and security-critical systems. Software development is, however...”

3 Subjects: “...Software Development...”

4 Subjects: “...Software engineering...”

5 Subjects: “...Software engineering...”

6 Subjects: “...AnyLogic software for computer simulation of translation machine...”

7 Table of Contents: “... in High-Quality Software Design -- A Complete Neural Network Algorithm for HORN-SAT -- Nondeterministic...”

8 “... 2022, which was held as part of Software Technologies: Applications and Foundations, STAF 2022...”

9 Table of Contents: “.... Axioms of Distinction in Social Software; Vincent F. Hendricks -- 9. Publication/Citation: A Proof...”

10 “... of STAF 2023, a federation of conferences on Software Technologies, Applications and Foundations, which...”

11 “.... There is an increasing interest in artifIcial intelligence, philosophy, psychol­ ogy, software engineering...”

12 “... of activity. Agents of various kinds compare by placing things next to one another, by using software programs...”

13 “... discourse, ranging from the theoretical level up to applications in language recognition software. Audience...”

14 “... notions of proof and belief; formal methods in software and hardware development; logical approach...”

15 “...-based software environment for modeling linguistic processes. This book has the potential...”

16 “... 'social software', which studies patterns of social interaction using techniques from logic and computer...”