Software Development: A Rigorous Approach

Fülszöveg

Other books of interest. ,. R. C. Backhouse, Heriot-Watt University Syntax of Programming Languáges: Theory and Practice This comprehensive introduction to formai definitions of programming languages breaks new gröund in the anafysis of syntax errors and provides an in-depth study of the Backus-Naur Form description of the syntax ofá programming language. Full chapters are devoted to error recovery and error analysis. The text includes actual programs using Pascal and the basic topics of language theory that are relevant to compiler design. Published 1979 320 pages Cloth ISBN 13-879999-7 F. Duncan, Bristol University Microprocessor Programming & Software Development Hlustrated throughout with practical examples of basic software, this introduction explains software in a readable, high-level notation which incorporates modern concepts of structured programming. The design and implementation of programs *s of a higher quality than that provided by manufacturers, and the entire... Tovább

Fülszöveg

Other books of interest. ,. R. C. Backhouse, Heriot-Watt University Syntax of Programming Languáges: Theory and Practice This comprehensive introduction to formai definitions of programming languages breaks new gröund in the anafysis of syntax errors and provides an in-depth study of the Backus-Naur Form description of the syntax ofá programming language. Full chapters are devoted to error recovery and error analysis. The text includes actual programs using Pascal and the basic topics of language theory that are relevant to compiler design. Published 1979 320 pages Cloth ISBN 13-879999-7 F. Duncan, Bristol University Microprocessor Programming & Software Development Hlustrated throughout with practical examples of basic software, this introduction explains software in a readable, high-level notation which incorporates modern concepts of structured programming. The design and implementation of programs *s of a higher quality than that provided by manufacturers, and the entire software support required for the successful use of the book and for real-life projects is provided. Special emphasís is given to the most common microprocessors, the Z-80, 8080, 8085 and 6800. Published 1979 336 pages Cloth ISBN 13-581405-7 J. Welsh and M. McKeag, both at Queen's University of Belfast Structured System Programming Designed for students on advanced computing courses and professional programmers working on compilers and operating systems, this important new book demonstrates the application of structured programming to the construction of system programs. In particular the text discusses compilers, whích are typical of many similar text-handling programs, and operating systems, which are typical of many real-time systems. Published 1980 336 pages Cloth ISBN 13-854562-6 Vissza