Skip to Main content Skip to Navigation
Conference papers

Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction

Abstract : System engineering is a complex discipline[1], which is becoming more and more complicated by the heterogeneity of the subsystem components[2] and of the models involved in their design. This complexity can be managed only through the use of formal methods[3]. However, in general the engineering of software in such systems leads to a need for a mix of modelling languages and semantics; and this often leads to unexpected and undesirable interactions between components at all levels of abstraction[4]. There are currently no generally applicable tools for dealing with this heterogeneity of interactions in the engineering of complex systems.
Complete list of metadatas

https://hal-supelec.archives-ouvertes.fr/hal-01103304
Contributor : Elodie Dubrac <>
Submitted on : Wednesday, January 14, 2015 - 2:41:26 PM
Last modification on : Tuesday, February 18, 2020 - 3:28:52 PM

Identifiers

Citation

Jean-Paul Gibson, Idir Ait-Sadoune. Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction. ISoLA 2014, Oct 2014, Corfu, Greece. pp.570-572, ⟨10.1007/978-3-662-45231-8_47⟩. ⟨hal-01103304⟩

Share

Metrics

Record views

531