By classifying programs according to their relationship to the environment in which they are
executed, the paper identifies the sources of evolutionary pressure on computer applications …

" Specification and transformation of programs" is short for a methodology of software
development where, from a formal specification of a problem to be solved, programs …

Abstraction Techniques in Modern Programming Page 1 Abstraction Techniques in Modern
Programming Languages Mary Shaw, Carnegie-Mellon University The major issues of modern …

Requirements-Engineering befasst sich mit Vorgehensweisen zur Präzisierung der
Problemstellung am Beginn einer Systementwicklung. Es ist eine Teildisziplin im …

Any software development now will probably use open source software and large language
models (LLMs) or generative AI (genAI) for hel** in some of the tasks. The open source …

This paper surveys techniques for the expression of software requirements and
specifications. A distinction is developed between requirements and two types of …

Much as a building architect specifies the structure and construction of a building (see
Figure 1), the software architect must specify the structure and construction of a program …

It is noted that large system development and government contracts still adhere to a
classical life-cycle approach to software development. A major problem in the classical …

Bei der Reorganisation eines Unternehmens muß die Einhaltung eines komplexen
organisatorischen Regelwerks gewährleistet sein. Als eine mögliche Methode bietet sich die …

Human activity recognition (HAR) plays a central role in health-care, fitness and sport
applications because of its potential to enable context-aware human monitoring. With the …