A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures

DOI10.1016/J.SCICO.2009.12.008zbMath1211.68072OpenAlexW1980137989MaRDI QIDQ608247

Georg Jung, John Hatcliff

Publication date: 25 November 2010

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2009.12.008

zbMATH Keywords

software architecturetype systemsmeta-modelingmiddlewarecomponent-oriented developmentmodel-driven development

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures