COMPSAC 82
Author | : IEEE Computer Society |
Publisher | : |
Total Pages | : |
Release | : |
Genre | : |
ISBN | : |
Download COMPSAC 82 Book in PDF, Epub and Kindle
Download Compsac 82 full books in PDF, epub, and Kindle. Read online free Compsac 82 ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!
Author | : IEEE Computer Society |
Publisher | : |
Total Pages | : |
Release | : |
Genre | : |
ISBN | : |
Author | : Horst Zuse |
Publisher | : Walter de Gruyter GmbH & Co KG |
Total Pages | : 624 |
Release | : 2019-10-08 |
Genre | : Computers |
ISBN | : 3110866080 |
No detailed description available for "Software Complexity".
Author | : Leonard B. Gardner |
Publisher | : ASTM International |
Total Pages | : 258 |
Release | : 1985 |
Genre | : Technology & Engineering |
ISBN | : 9780803104228 |
Author | : Jan A. Bergstra |
Publisher | : Springer Science & Business Media |
Total Pages | : 448 |
Release | : 1991-04-10 |
Genre | : Computers |
ISBN | : 9783540539124 |
The proper treatment and choice of the basic data structures is an important and complex part in the process of program construction. Algebraic methods provide techniques for data abstraction and the structured specification, validation and analysis of data structures. This volume originates from a workshop organized within ESPRIT Project 432 METEOR, An Integrated Formal Approach to Industrial Software Development, held in Mierlo, The Netherlands, September 1989. The volume includes five invited contributions based on workshop talks given by A. Finkelstein, P. Klint, C.A. Middelburg, E.-R. Olderog, and H.A. Partsch. Ten further papers by members of the METEOR team are based on talks given at the workshop. The workshop was a successor to an earlier one held in Passau, Germany, June 1987, the proceedings of which were published as Lecture Notes in Computer Science, Vol. 394.
Author | : Institute of Electrical and Electronics Engineers |
Publisher | : |
Total Pages | : 446 |
Release | : 1981 |
Genre | : |
ISBN | : |
Author | : N.L. Marselos |
Publisher | : |
Total Pages | : |
Release | : 1985 |
Genre | : |
ISBN | : |
Author | : Richard W. Selby |
Publisher | : John Wiley & Sons |
Total Pages | : 835 |
Release | : 2007-06-04 |
Genre | : Computers |
ISBN | : 047014873X |
This is the most authoritative archive of Barry Boehm's contributions to software engineering. Featuring 42 reprinted articles, along with an introduction and chapter summaries to provide context, it serves as a "how-to" reference manual for software engineering best practices. It provides convenient access to Boehm's landmark work on product development and management processes. The book concludes with an insightful look to the future by Dr. Boehm.
Author | : David Ardayfio |
Publisher | : CRC Press |
Total Pages | : 447 |
Release | : 2020-07-24 |
Genre | : Technology & Engineering |
ISBN | : 1000105563 |
Fundamentals of Robotics presents the basic concepts of robots to engineering and technology students and to practicing engineers who want to grasp the fundamentals in the growing field of robotics.
Author | : M.G. Rodd |
Publisher | : Elsevier |
Total Pages | : 227 |
Release | : 1994-12-01 |
Genre | : Computers |
ISBN | : 0080983960 |
The authors set out to address fundamental design issues facing engineers when developing the software for real-time computer-based control systems – in which all programs must be safe, reliable, predictable and able to cope with the occurence of faults. Despite rapid progress in computer technology, the attention of designers is still focused on finding logically correct algorithms to implement the required control. It has, however, become evident that this is insufficient and that attention must be paid to meeting the complex timing interactions which occur between the systems under control and the computers controlling them. This book suggests that the answers lie in the use of understandable, engineering-relevant, mathematically sound tools for expressing and analysing the complex temporal interactions. Timing Analysis of Real-Time Software is not a designer's handbook; rather it discusses the nature of the problems involved and how they can be handled. The focus is on the use of modelling techniques based on the so-called Quirk-model, initially developed in the United Kingdom and, over the past decade, extensively developed in institutions in the ex-Soviet Union and Europe. This book shows how the techniques can be used to form the basis of a new generation of CASE (computer assisted software engineering) tools, and examples are given of how these can be used to design embedded systems ranging from digital controllers through to communication protocol handlers.
Author | : |
Publisher | : |
Total Pages | : 476 |
Release | : 1968 |
Genre | : Weights and measures |
ISBN | : |