Domains as a Prerequisite for Requirements and Software Domain Perspectives and Facets, Requirements Aspects and Software Views

Architectural Support for Software Performance in Continuous Software Engineering: A Systematic Mapping Study

“…RQ1: What research areas and target systems have been investigated?. The aim of this research question is two-fold: i) to highlight the research areas that are focused on providing solutions in this field; and ii) to extract the subject systems on which the application or technique is intended to apply (we refer to this by the term "target system" [37,38]).…”

“…A large number of papers (37) provides a tool support to aid in performance engineering research. In addition, a considerable number of approaches have cosidered a continuous engineering framework (27) .…”

A formal approach for the construction and verification of railway control systems

“…For the development of a domain-specific language and support tools our suggestion is to follow the TripTych dogma by Dines Bjørner (see for instance [Bjø06c]) making a domain model describing the concepts of the application domain prior to the actual development of applications. Apart from separating the concern of describing what there is from the concern of describing what there should be (the applications), this ensures that different applications are based on the same conceptual understanding.…”

“…Our work has been inspired by Dines Bjørner's TripTych dogma and formal techniques for software development described in [Bjø06a,Bjø06b,Bjø06c,Bjø03a,Bjø06d,Bjø07].…”

What Is ‘Mathematicalness’ in Software Engineering?

“…Another very ambitious and quite interesting works on more macro-scale structures is Dines Bjørner's Domain Theory (1997 and1998), where Bjørner tries to develop theories on various application domains of software by describing each application domain by a formal specification language RSL to standardize the vocabulary of the domain, then analyzing properties of each domain very rigorously (in fact, formally) and finally obtaining its properties (invariants of the application domain and many useful lemmata) in the form of formal sentences in RSL.…”