On Mathematical Laws of Software

DOI10.1007/978-3-540-87563-5_4MaRDI QIDQ5505399zbMATH OpenOpenAlexFDO

Authors Yingxu Wang

Publication date 27 January 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-87563-5_4

zbMATH Keywords

algebraic lawsanalysiscomputational intelligencedenotational mathematicsgeneric model of softwarelaws of meta-processeslaws of process compositionslaws of process relationsmathematical modelsmodelingprocess modelsprogramsRTPAsoftwaresoftware engineeringsoftware science

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Generic models of the laws of programming
• scientific article; zbMATH DE number 3938525
• Modelling of Complex Software Systems: A Reasoned Overview
• Mathematics for reasoning about loop functions
• Software engineering foundations. A software science perspective.

Cited in

(2)

• Modern view on Kantorovich's work in software
• Generic models of the laws of programming

This page was built for publication: On Mathematical Laws of Software

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