scientific article; zbMATH DE number 5254148

MaRDI QIDQ5452365zbMATHFDO

Authors Ian Sommerville

Publication date 26 March 2008

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of software (68N99)

Cited in

(10)

• Modularization of logic programs
• Intelligent road network control
• Semantic information and the correctness theory of truth
• scientific article; zbMATH DE number 2222789 (Why is no real title available?)
• scientific article; zbMATH DE number 3888886 (Why is no real title available?)
• Control flow graphs and code coverage
• Category-theoretic approach to software systems design
• Deadlock-freedom in component systems with architectural constraints
• Model Continuity in Discrete Event Simulation
• scientific article; zbMATH DE number 108409 (Why is no real title available?)

This page was built for publication:

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