Kooperativer Bibliotheksverbund

UID:

Format: Online-Ressource

ISBN: 9783540353126

Series Statement: Lecture Notes in Computer Science 69

Content: A more formal treatment of a less simple example -- Stationary behaviour of some ternary networks -- Finding the correctness proof of a concurrent program -- On the interplay between mathematics and programming -- A theorem about odd powers of odd integers -- In honour of Fibonacci -- On the foolishness of "natural language programming" -- Program inversion -- The Schorr-Waite graph marking algorithm -- Eliminating the chaff -- Proofs, programs and their development — The axiomatic approach -- Current ideas in programming methodology -- Basic axiomatic definitions -- The multiple assignment statement -- Is sometimes ever better than always? -- A case study in language design: Euclid -- Proof rules for the programming language Euclid -- Verification of Euclid programs -- Specifications and proofs for abstract data types in concurrent programs -- Specification and verification of a network mail system -- From specification to implementation — The formal approach -- Program development by stepwise transformations — The project CIP -- Systematics of transformation rules -- Special transformation techniques -- A study on transformational semantics -- Detailization and lazy evaluation, infinite objects and pointer representation -- Examples for change of types and object structures -- Development of the Schorr-Waite algorithm -- A derivation-oriented proof of the Schorr-Waite marking algorithm -- Languages as tools — Interactive program construction -- Programing languages for reliable computing systems -- Programming methodology and language implications -- Towards a wide spectrum language to support program specification and program development -- Semantics of nondeterministic and noncontinuous constructs -- Notes on type abstraction -- Some theoretical aspects of program construction.

Note: Literaturangaben

Additional Edition: ISBN 9783540092513

Additional Edition: Buchausg. u.d.T. Program construction Berlin [u.a.] : Springer, 1979 ISBN 354009251X

Additional Edition: ISBN 038709251X

Language: English

Subjects: Computer Science , Economics

Keywords: Programmierung ; Programmierung ; Programmierung ; Programmierung ; Konferenzschrift

DOI: 10.1007/BFb0014649

URL: Volltext  (lizenzpflichtig)

URL: Volltext  (lizenzpflichtig)

URL: Volltext  (lizenzpflichtig)

URL: Volltext  (lizenzpflichtig)

URL: Cover

URL: Cover

Author information: Broy, Manfred 1949-

UID:

Format: X, 654 p. , online resource.

ISBN: 9783540353126

Series Statement: Lecture Notes in Computer Science, 69

Note: A more formal treatment of a less simple example -- Stationary behaviour of some ternary networks -- Finding the correctness proof of a concurrent program -- On the interplay between mathematics and programming -- A theorem about odd powers of odd integers -- In honour of Fibonacci -- On the foolishness of "natural language programming" -- Program inversion -- The Schorr-Waite graph marking algorithm -- Eliminating the chaff -- Proofs, programs and their development — The axiomatic approach -- Current ideas in programming methodology -- Basic axiomatic definitions -- The multiple assignment statement -- Is sometimes ever better than always? -- A case study in language design: Euclid -- Proof rules for the programming language Euclid -- Verification of Euclid programs -- Specifications and proofs for abstract data types in concurrent programs -- Specification and verification of a network mail system -- From specification to implementation — The formal approach -- Program development by stepwise transformations — The project CIP -- Systematics of transformation rules -- Special transformation techniques -- A study on transformational semantics -- Detailization and lazy evaluation, infinite objects and pointer representation -- Examples for change of types and object structures -- Development of the Schorr-Waite algorithm -- A derivation-oriented proof of the Schorr-Waite marking algorithm -- Languages as tools — Interactive program construction -- Programing languages for reliable computing systems -- Programming methodology and language implications -- Towards a wide spectrum language to support program specification and program development -- Semantics of nondeterministic and noncontinuous constructs -- Notes on type abstraction -- Some theoretical aspects of program construction.

In: Springer eBooks

Additional Edition: Printed edition: ISBN 9783540092513

Language: English

DOI: 10.1007/BFb0014649

URL: http://dx.doi.org/10.1007/BFb0014649

UID:

Format: X, 654 p. , online resource.

Edition: 1st ed. 1979.

ISBN: 9783540353126

Series Statement: Lecture Notes in Computer Science, 69

Note: A more formal treatment of a less simple example -- Stationary behaviour of some ternary networks -- Finding the correctness proof of a concurrent program -- On the interplay between mathematics and programming -- A theorem about odd powers of odd integers -- In honour of Fibonacci -- On the foolishness of "natural language programming" -- Program inversion -- The Schorr-Waite graph marking algorithm -- Eliminating the chaff -- Proofs, programs and their development - The axiomatic approach -- Current ideas in programming methodology -- Basic axiomatic definitions -- The multiple assignment statement -- Is sometimes ever better than always? -- A case study in language design: Euclid -- Proof rules for the programming language Euclid -- Verification of Euclid programs -- Specifications and proofs for abstract data types in concurrent programs -- Specification and verification of a network mail system -- From specification to implementation - The formal approach -- Program development by stepwise transformations - The project CIP -- Systematics of transformation rules -- Special transformation techniques -- A study on transformational semantics -- Detailization and lazy evaluation, infinite objects and pointer representation -- Examples for change of types and object structures -- Development of the Schorr-Waite algorithm -- A derivation-oriented proof of the Schorr-Waite marking algorithm -- Languages as tools - Interactive program construction -- Programing languages for reliable computing systems -- Programming methodology and language implications -- Towards a wide spectrum language to support program specification and program development -- Semantics of nondeterministic and noncontinuous constructs -- Notes on type abstraction -- Some theoretical aspects of program construction.

In: Springer Nature eBook

Additional Edition: Printed edition: ISBN 9783662178669

Additional Edition: Printed edition: ISBN 9783540092513

Language: English

DOI: 10.1007/BFb0014649

URL: https://doi.org/10.1007/BFb0014649

UID:

Format: 1 online resource (238 p.)

ISBN: 9789633865668

Content: The shift to a market economy in post-communist Eastern Europe has had a profound impact on science and scientists across the region, leading to reforms in research management practices and to drastic cuts in funding levels everywhere. Many countries are moving to a system of competitive research grants awarded on the basis of peer review. The introduction of peer review is not simply a technical matter. It signifies a fundamental change in the social structure of science, enhancing profession-al autonomy and giving working scientists a voice in the allocation of resources. This book combines first-hand accounts of the reform process with analyses of the strengths and weaknesses of both peer review and quantitative indicators.

Note: Frontmatter -- , CONTENTS -- , List of Contributors -- , Acknowledgments -- , Introduction -- , Part I. Evaluating Science and Scientists: The Political and Economic Context -- , 1. The Political Context of Science Priority-Setting in the United States -- , 2. The Political and Economic Context of Research Evaluation in Eastern Europe -- , 3. Factors Affecting the Acceptance of Evaluation Results -- , Part II. Peer Review: Self-Regulation and Accountability in Science -- , 4. Peer Review in Science and Science Policy -- , 5. A Polish Perspective on Peer Review -- , 6. The Limits of Peer Review: The Case of Hungary -- , 7. The Evaluation of Research Institutes in Hungary -- , 8. Peer Review in the Czech Republic -- , 9. Peer Review in Poland: Practical Solutions and Possible Improvements -- , Part III. Quantitative Techniques for Evaluating Performance -- , 10. Quantitative Techniques in Evaluation in Western Europe -- , 11. The Evaluation of Scientists and Their Work -- , 12. Scientometric Methods in the Evaluation of Research Groups in Hungary -- , 13. Measuring and Evaluating Scientific Performance in the Czech Republic -- , 14. Institutionalizing Evaluation of Research and Education in the Slovak Republic -- , 15. Formal Evaluation Methods: Their Utility and Limitations -- , 16. Evaluation of Research and Development Programs by Technology Indicators -- , 17. Quantitative Citation Data as Indicators in Science Evaluations: A Primer on Their Appropriate Use -- , 18. Ethical and Political Aspects of Using and Interpreting Quantitative Indicators -- , Index , In English.

Language: English

URL: https://www.degruyter.com/isbn/9789633865668

UID:

Format: 1 online resource (X, 654 p.)

Edition: 1st ed. 1979.

Edition: Online edition Springer Lecture Notes Archive ; 041142-5

ISBN: 3-540-35312-7

Series Statement: Lecture Notes in Computer Science, 69

Note: Bibliographic Level Mode of Issuance: Monograph , A more formal treatment of a less simple example -- Stationary behaviour of some ternary networks -- Finding the correctness proof of a concurrent program -- On the interplay between mathematics and programming -- A theorem about odd powers of odd integers -- In honour of Fibonacci -- On the foolishness of "natural language programming" -- Program inversion -- The Schorr-Waite graph marking algorithm -- Eliminating the chaff -- Proofs, programs and their development — The axiomatic approach -- Current ideas in programming methodology -- Basic axiomatic definitions -- The multiple assignment statement -- Is sometimes ever better than always? -- A case study in language design: Euclid -- Proof rules for the programming language Euclid -- Verification of Euclid programs -- Specifications and proofs for abstract data types in concurrent programs -- Specification and verification of a network mail system -- From specification to implementation — The formal approach -- Program development by stepwise transformations — The project CIP -- Systematics of transformation rules -- Special transformation techniques -- A study on transformational semantics -- Detailization and lazy evaluation, infinite objects and pointer representation -- Examples for change of types and object structures -- Development of the Schorr-Waite algorithm -- A derivation-oriented proof of the Schorr-Waite marking algorithm -- Languages as tools — Interactive program construction -- Programing languages for reliable computing systems -- Programming methodology and language implications -- Towards a wide spectrum language to support program specification and program development -- Semantics of nondeterministic and noncontinuous constructs -- Notes on type abstraction -- Some theoretical aspects of program construction. , English

In: Springer eBooks

Additional Edition: ISBN 3-540-09251-X

Language: English

DOI: 10.1007/BFb0014649

URL: http://dx.doi.org/10.1007/BFb0014649

UID:

Format: 1 online resource (X, 654 p.)

Edition: 1st ed. 1979.

Edition: Online edition Springer Lecture Notes Archive ; 041142-5

ISBN: 3-540-35312-7

Series Statement: Lecture Notes in Computer Science, 69

Note: Bibliographic Level Mode of Issuance: Monograph , A more formal treatment of a less simple example -- Stationary behaviour of some ternary networks -- Finding the correctness proof of a concurrent program -- On the interplay between mathematics and programming -- A theorem about odd powers of odd integers -- In honour of Fibonacci -- On the foolishness of "natural language programming" -- Program inversion -- The Schorr-Waite graph marking algorithm -- Eliminating the chaff -- Proofs, programs and their development — The axiomatic approach -- Current ideas in programming methodology -- Basic axiomatic definitions -- The multiple assignment statement -- Is sometimes ever better than always? -- A case study in language design: Euclid -- Proof rules for the programming language Euclid -- Verification of Euclid programs -- Specifications and proofs for abstract data types in concurrent programs -- Specification and verification of a network mail system -- From specification to implementation — The formal approach -- Program development by stepwise transformations — The project CIP -- Systematics of transformation rules -- Special transformation techniques -- A study on transformational semantics -- Detailization and lazy evaluation, infinite objects and pointer representation -- Examples for change of types and object structures -- Development of the Schorr-Waite algorithm -- A derivation-oriented proof of the Schorr-Waite marking algorithm -- Languages as tools — Interactive program construction -- Programing languages for reliable computing systems -- Programming methodology and language implications -- Towards a wide spectrum language to support program specification and program development -- Semantics of nondeterministic and noncontinuous constructs -- Notes on type abstraction -- Some theoretical aspects of program construction. , English

In: Springer eBooks

Additional Edition: ISBN 3-540-09251-X

Language: English

DOI: 10.1007/BFb0014649

URL: http://dx.doi.org/10.1007/BFb0014649

UID:

Format: 1 online resource (X, 654 p.)

Edition: 1st ed. 1979.

Edition: Online edition Springer Lecture Notes Archive ; 041142-5

ISBN: 3-540-35312-7

Series Statement: Lecture Notes in Computer Science, 69

Note: Bibliographic Level Mode of Issuance: Monograph , A more formal treatment of a less simple example -- Stationary behaviour of some ternary networks -- Finding the correctness proof of a concurrent program -- On the interplay between mathematics and programming -- A theorem about odd powers of odd integers -- In honour of Fibonacci -- On the foolishness of "natural language programming" -- Program inversion -- The Schorr-Waite graph marking algorithm -- Eliminating the chaff -- Proofs, programs and their development — The axiomatic approach -- Current ideas in programming methodology -- Basic axiomatic definitions -- The multiple assignment statement -- Is sometimes ever better than always? -- A case study in language design: Euclid -- Proof rules for the programming language Euclid -- Verification of Euclid programs -- Specifications and proofs for abstract data types in concurrent programs -- Specification and verification of a network mail system -- From specification to implementation — The formal approach -- Program development by stepwise transformations — The project CIP -- Systematics of transformation rules -- Special transformation techniques -- A study on transformational semantics -- Detailization and lazy evaluation, infinite objects and pointer representation -- Examples for change of types and object structures -- Development of the Schorr-Waite algorithm -- A derivation-oriented proof of the Schorr-Waite marking algorithm -- Languages as tools — Interactive program construction -- Programing languages for reliable computing systems -- Programming methodology and language implications -- Towards a wide spectrum language to support program specification and program development -- Semantics of nondeterministic and noncontinuous constructs -- Notes on type abstraction -- Some theoretical aspects of program construction. , English

In: Springer eBooks

Additional Edition: ISBN 3-540-09251-X

Language: English

DOI: 10.1007/BFb0014649

URL: http://dx.doi.org/10.1007/BFb0014649