English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

The research area “Integration of Software Specification Techniques for Applications in Engineering” has been subject of the Priority Program SoftSpez of the German Research Foundation (DFG) in the years 1998–2004 and of the international INT workshops as satellite events of the ETAPS conferences in 2000, 2002, and 2004. In this paper, we present an overview of aims, organization, and results of these activities. Moreover, we present an example for the integration of specification techniques in software engineering and industrial control systems developed within the project IOSIP of SoftSpez.

it - information technology

Priority Program SoftSpez and the International INT Workshops “Integration of Software Specification Techniques for Applications in Engineering” (DFG-Schwerpunktprogramm SoftSpez und die internationalen INT-Workshops „Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen“): DFG-Schwerpunktprogramm SoftSpez und die internationalen INT-Workshops „Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen“