Reliable software technologies Ada Europe 2000 : 5th Ada Europe International Conference, Potsdam, Germany, Ju
User Rating: Be the first one!
Author: Ada-Europe International Conference (5th : 2000 : Potsdam, Germany), Keller, H. B. (Hubert B), Plödereder, Erhard
Added by: sketch
Added Date: 2015-12-30
Language: eng
Subjects: Computer software
Publishers: Berlin ; New York : Springer
Collections: folkscanomy miscellaneous, folkscanomy, additional collections
ISBN Number: 3540676694
Pages Count: 300
PPI Count: 300
PDF Count: 1
Total Size: 148.07 MB
PDF Size: 2.88 MB
Extensions: djvu, gif, pdf, gz, zip, torrent, log, mrc
Downloads: 343
Views: 393
Total Files: 18
Media Type: texts
Total Files: 5
TORRENT
springer 10 1007 10722060 archive torren...torrent
Last Modified: 2022-03-09 08:37:51
Download
Size: 9.79 KB
Description
Reliable Software Technologies Ada-Europe 2000: 5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000. Proceedings
Author: Hubert B. Keller, Erhard Plödereder
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-67669-0
DOI: 10.1007/10722060
Table of Contents:
Includes bibliographical references and index
Author: Hubert B. Keller, Erhard Plödereder
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-67669-0
DOI: 10.1007/10722060
Table of Contents:
- Support of Technology Development in the Information Society
- Kingcat MCAS – Monitoring, Control and Alarm System for a Luxury Motor Yacht Implemented in Ada and Java
- Ada after 10 Years of Usage – Is There a Commercial Future?
- An Open Ravenscar Real-Time Kernel for GNAT
- Object-Oriented Programming and Protected Objects in Ada 95
- Is an Ada Lint Necessary?
- Using JavaTM APIs with Native Ada Compilers
- Static Worst-Case Execution Time Analysis of Synchronous Programs
- A Supporting Tool for Development of Self-Measurement Ada Programs
- On Persistent and Reliable Streaming in Ada
- Reengineering the Booch Component Library
- GtkAda: Design and Implementation of a High Level Binding in Ada
- ASIS-for-GNAT: A Report of Practical Experiences
- Generation of Interface Design Description Documents Using ASIS
- An Ada95 Programming Style Checker Using the GNAT ASIS Implementation
- Enhancements in Software Project Risk Management
- Constructing Reliable Embedded Systems Using the Results of System Safety Analysis
- An Application of the Chains-of-Rare-Events Model to Software Development Failure Prediction
- Analysis, Design and Implementation of an Object-Oriented Framework in Ada95
- MTS Integrating UML, HOOD, Ada in a Full Ada Operational Software Project
Includes bibliographical references and index
You May Also Like
We will be happy to hear your thoughts