Automated module composition

MaRDI QIDQ4417937zbMATH OpenFDO

Authors Stavros Tripakis

Publication date 30 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2619/26190347.htm

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)

Recommendations

• Automatic behavior composition synthesis
• Qualitative approximate behavior composition
• Modular synthesis with open components
• scientific article; zbMATH DE number 3995035
• Approximating Component Selection with General Costs

Cited in

(5)

• Using logic to solve the submodule construction problem
• Automatic generation of make dependencies
• scientific article; zbMATH DE number 1324080 (Why is no real title available?)
• Autonomous components
• Modular code generation from synchronous block diagrams: modularity vs. code size

This page was built for publication: Automated module composition

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