Author: John McDermid
Publisher: CUP Archive
ISBN: 9780521260428
Category : Computers
Languages : en
Pages : 270
Book Description
Life Cycle Support in the Ada Environment
Ada Components: Libraries and Tools
Author: Sven Tafvelin
Publisher: CUP Archive
ISBN: 9780521346368
Category : Computers
Languages : en
Pages : 314
Book Description
Publisher: CUP Archive
ISBN: 9780521346368
Category : Computers
Languages : en
Pages : 314
Book Description
Progress In Astronautics and Aeronautics
Author: Christine Anderson
Publisher: AIAA
ISBN: 9781600863905
Category : Aeronautics
Languages : en
Pages : 658
Book Description
Publisher: AIAA
ISBN: 9781600863905
Category : Aeronautics
Languages : en
Pages : 658
Book Description
Scientific and Technical Aerospace Reports
Author:
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 1572
Book Description
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 1572
Book Description
Ada in Industry
Author: S. Heilbrunner
Publisher: CUP Archive
ISBN: 9780521363471
Category : Computers
Languages : en
Pages : 280
Book Description
Publisher: CUP Archive
ISBN: 9780521363471
Category : Computers
Languages : en
Pages : 280
Book Description
Space Station Systems
Author:
Publisher:
ISBN:
Category : Space stations
Languages : en
Pages : 652
Book Description
Publisher:
ISBN:
Category : Space stations
Languages : en
Pages : 652
Book Description
Software Engineer's Reference Book
Author: John A McDermid
Publisher: Elsevier
ISBN: 1483105083
Category : Technology & Engineering
Languages : en
Pages : 1137
Book Description
Software Engineer's Reference Book provides the fundamental principles and general approaches, contemporary information, and applications for developing the software of computer systems. The book is comprised of three main parts, an epilogue, and a comprehensive index. The first part covers the theory of computer science and relevant mathematics. Topics under this section include logic, set theory, Turing machines, theory of computation, and computational complexity. Part II is a discussion of software development methods, techniques and technology primarily based around a conventional view of the software life cycle. Topics discussed include methods such as CORE, SSADM, and SREM, and formal methods including VDM and Z. Attention is also given to other technical activities in the life cycle including testing and prototyping. The final part describes the techniques and standards which are relevant in producing particular classes of application. The text will be of great use to software engineers, software project managers, and students of computer science.
Publisher: Elsevier
ISBN: 1483105083
Category : Technology & Engineering
Languages : en
Pages : 1137
Book Description
Software Engineer's Reference Book provides the fundamental principles and general approaches, contemporary information, and applications for developing the software of computer systems. The book is comprised of three main parts, an epilogue, and a comprehensive index. The first part covers the theory of computer science and relevant mathematics. Topics under this section include logic, set theory, Turing machines, theory of computation, and computational complexity. Part II is a discussion of software development methods, techniques and technology primarily based around a conventional view of the software life cycle. Topics discussed include methods such as CORE, SSADM, and SREM, and formal methods including VDM and Z. Attention is also given to other technical activities in the life cycle including testing and prototyping. The final part describes the techniques and standards which are relevant in producing particular classes of application. The text will be of great use to software engineers, software project managers, and students of computer science.
Program Transformation and Programming Environments
Author: F.L. Bauer
Publisher: Springer Science & Business Media
ISBN: 3642464904
Category : Computers
Languages : en
Pages : 379
Book Description
Proceedings of the NATO Advanced Research Workshop on Program Transformation and Programming Environments
Publisher: Springer Science & Business Media
ISBN: 3642464904
Category : Computers
Languages : en
Pages : 379
Book Description
Proceedings of the NATO Advanced Research Workshop on Program Transformation and Programming Environments
Program Manager
Author:
Publisher:
ISBN:
Category : United States
Languages : en
Pages : 1174
Book Description
Publisher:
ISBN:
Category : United States
Languages : en
Pages : 1174
Book Description
NASA Technical Memorandum
Author:
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 552
Book Description
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 552
Book Description