This paper gives an overview of the development of the field of Knowledge Engineering over
the last 15 years. We discuss the paradigm shift from a transfer view to a modeling view and …

Software systems are becoming increasingly complex. Their ubiquitous presence makes
users more dependent on their correctness in many aspects of daily life. As a result, there is …

Essentially a software system's utility is determined by both its functionality and its non-
functional characteristics, such as usability, flexibility, performance, interoperability and …

Context: In scientific domains, definitions provide a precise description of fundamental
concepts. Although the debate within the philosophy of computer science regarding the …

The paper describes the MIKE (Model-based and Incremental Knowledge Engineering)
approach for developing knowledge-based systems. MIKE integrates semiformal and formal …

This paper explores the formal roles of non-functional requirements'(NFR) elicitation,
definition, and verification in the early stages of an engineering design project. This is …

Problem solving methods (PSMs) describe the reasoning components of knowledge-based
systems as patterns of behavior that can be reused across applications. While the …

The Knowledge Acquisition and Representation Language (KARL) combines a description
of a knowledge based system at the conceptual level (a so called model of expertise) with a …

Existing evaluation benchmarks of language models of code (code LMs) focus almost
exclusively on whether the LMs can generate functionally-correct code. In real-world …

Requirements engineers are in a unique position to encourage the consideration of
sustainability at a formative phase in the software development life cycle. In this paper, we …