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

DOI10.1016/J.SCICO.2009.12.008MaRDI QIDQ608247zbMATH OpenOpenAlexFDO

Authors 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

type systemsmeta-modelingmiddlewarecomponent-oriented developmentmodel-driven developmentsoftware architecture

Mathematics Subject Classification ID

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

Recommendations

• Configuration logics: modeling architecture styles
• Architectural specifications in CASL
• Programming Languages and Systems
• A generic approach to connector architectures. I: The general framework
• scientific article; zbMATH DE number 2087515

Cites work

• scientific article; zbMATH DE number 46995 (Why is no real title available?)
• scientific article; zbMATH DE number 977452 (Why is no real title available?)
• scientific article; zbMATH DE number 2085188 (Why is no real title available?)
• The diamond tool: a way of effective development and utilization of knowledge
• Types and programing languages

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q608247)