عنوان

Programming and Mathematical Method :

شابک

3642775721

شابک

9783642775727

شماره

b573688

عنوان اصلي

Programming and Mathematical Method :

نام عام مواد

[Book]

ساير اطلاعات عنواني

International Summer School

نام نخستين پديدآور

edited by Manfred Broy.

محل نشرو پخش و غیره

Berlin, Heidelberg

نام ناشر، پخش کننده و غيره

Springer Berlin Heidelberg

تاریخ نشرو بخش و غیره

1992

نام خاص و کميت اثر

(viii, 407 pages 55 illustrations)

عنوان فروست

NATO ASI series., Series F,, Computer and systems sciences ;, 88.

متن يادداشت

1. Examples of Derivations.- On the Design of a Simple Proof for Morley's Theorem.- Well-Foundedness and the Transitive Closure.- Designing the Proof of Vizing's Theorem.- Phase Synchronization for Two Machines.- The Lexicographic Minimum of a Cyclic Array.- 2. Rules of Programming.- Metalevel Programming in Constructive Type Theory.- Laws of Programming.- Some Applications of Pointer Algebra.- Some Generalizations and Applications of Dijkstra's Guarded Commands.- 3 Refinement and Program Composition.- A Theoryof Program Composition.- Lectures on Data Refinement.- Refinement Alerebra Proves Correctness of Compilation.- 4 Distributed Svstems.- Process Algebra with Signals and Conditions.- Functional Specification of Time Sensitive Communicating Systems.- Systematic Derivation of Communicating Programs.

متن يادداشت

The construction of a software system is a task that has to be structured toensure that the software product fulfills all expectations and the process of producing it remains manageable and reliable. Mathematical methods, including logic, algebra and functional calculus, are needed to support structuring and provide notations and basic formal concepts for the foundations of software engineering. Mathematical methods of programming reflect the need for modularization and abstraction and suggest appropriate goal-directed procedures for the construction of software programs. This volume contains the proceedings of an International Summer School held at Marktoberdorf in 1990, the 11th in a series on mathematical methods in programming. Outstanding scientists contributed papers centered around logical and functional calculi for the specification, refinement and verification of programs and program systems, and remarkable examples for the formal development of proofs and algorithms are given.

عنوان اصلي به زبان ديگر

Proceedings of the NATO Advanced Study Institute on Programming and Mathematical Method, held at Marktoberdorf, FRG, July 24 - August 5, 1990

موضوع مستند نشده

Computer science.

موضوع مستند نشده

Logic design.

موضوع مستند نشده

Software engineering.

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

edited by Manfred Broy.

مستند نام اشخاص تاييد نشده

Manfred Broy

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y