Fundamental Approaches to Software Engineering

computer software maintenance; computer software selection and evaluation; formal logic; formal methods; formal specification; programming languages; semantics; software engineering; specifications; verificatio

Competing communities of users and developers of computer software: competition between open source software and commercial software

The open source movement is a group of volunteer programmers that has recently caused quite a stir in the software market. The volunteers of this group develop computer operating systems, programming languages, and other software. They work together in teams that communicate via the Internet. Their goal is to develop useful software that is available for free and that users can change at will. To enable users to change and improve the software, they distribute their software not only in compiled form (that a computer needs to actually run the software), but also in its source code (the lines of code that programmers write). This cooperation breaks through the usual barriers that separate corporate suppliers from their buyers. This may represent the first example where the Internet enables cooperation on a scale that changes market dynamics. This paper studies the interaction between the network dynamics of the open source movement and the dynamics of a commercial software supplier. It makes our first step in identifying conditions that support a successful development of open source software. We focus on one particular set of projects within the open source movement, namely the Linux computer operating system.management and organization theory ;

Some research advances in computer graphics that will enhance applications to engineering design

Research in man/machine interactions and graphics hardware/software that will enhance applications to engineering design was described. Research aspects of executive systems, command languages, and networking used in the computer applications laboratory are mentioned. Finally, a few areas where little or no research is being done were identified

Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

authentication; computer science; computer software selection and evaluation; cryptography; data privacy; formal logic; formal methods; formal specification; internet; privacy; program compilers; programming languages; security analysis; security systems; semantics; separation logic; software engineering; specifications; verification; world wide we

Introduction to Iltis: An Interactive, Web-Based System for Teaching Logic

Logic is a foundation for many modern areas of computer science. In artificial intelligence, as a basis of database query languages, as well as in formal software and hardware verification --- modelling scenarios using logical formalisms and inferring new knowledge are important skills for going-to-be computer scientists. The Iltis project aims at providing a web-based, interactive system that supports teaching logical methods. In particular the system shall (a) support to learn to model knowledge and to infer new knowledge using propositional logic, modal logic and first-order logic, and (b) provide immediate feedback and support to students. This article presents a prototypical system that currently supports the above tasks for propositional logic. First impressions on its use in a second year logic course for computer science students are reported