Ebook Programming Methodology: Part 1 - Annabelle Mclver, Carroll Morgan

Part 1 of the book "Programming Methodology" will provide with knowledge about: models and correctness; wanted: a compositional approach to concurrency; enforcing behavior with contracts; asynchronous progress; a reduction theorem for concurrent object-oriented programs; abstractions from time; a predicative semantics for real-time refinement;...

Từ khóa: Programming Methodology, Monographs in Computer Science, Computer programming, Enforcing behavioral properties, Asynchronous progress, The Seuss programming notation, Timing-constraint analysis