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

DOI10.1016/J.SCICO.2009.12.008zbMATH Open1211.68072OpenAlexW1980137989MaRDI QIDQ608247FDOQ608247

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

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

zbMATH Keywords

type systemsmeta-modelingmiddlewarecomponent-oriented developmentmodel-driven developmentsoftware architecture

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Types and programing languages
• Title not available (Why is that?)
• Title not available (Why is that?)
• The diamond tool: a way of effective development and utilization of knowledge

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)