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 Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

When engineering complex and distributed software and hardware systems(increasingly used in many sectors, such as manufacturing, aerospace,transportation, communication, energy, and health-care), quality has become abig issue, since failures can have economics consequences and can also endangerhuman life. Model-based specifications of a component-based system permit toexplicitly model the structure and behaviour of components and theirintegration. In particular Software Architectures (SA) has been advocated as aneffective means to produce quality systems. In this chapter by combiningdifferent technologies and tools for analysis and development, we propose anarchitecture-centric model-driven approach to validate required properties andto generate the system code. Functional requirements are elicited and used foridentifying expected properties the architecture shall express. Thearchitectural compliance to the properties is formally demonstrated, and theproduced architectural model is used to automatically generate the Java code.Suitable transformations assure that the code is conforming to both structuraland behavioural SA constraints. This chapter describes the process anddiscusses how some existing tools and languages can be exploited to support theapproach.

From Requirements to code: an Architecture-centric Approach for producing Quality Systems