On the granularity of components

MaRDI QIDQ5851854zbMATH OpenFDO

Authors Ákos Dávid, László Kozma, Tamás Pozsgai

Publication date 25 January 2010

zbMATH Keywords

component-based software developmentgranularitymodel checkingsynthesis of programs

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Component-Based Software Development
• Optimizing component based software development using simulation
• Towards component based systems: refining connectors
• Composing Software Components
• Software release management for component-based software

Cited in

(3)

• Optimizing component based software development using simulation
• scientific article; zbMATH DE number 1952045 (Why is no real title available?)
• Software release management for component-based software

This page was built for publication: On the granularity of components

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