Vor Ort
Merkzettel Warenkorb
  • Produktbild: Reliable Software Technologies - Ada Europe 96
  • Produktbild: Reliable Software Technologies - Ada Europe 96
Band 1088

Reliable Software Technologies - Ada Europe 96 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June (10-14), 1996. Proceedings

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

29.05.1996

Abbildungen

XII, 520 p.

Herausgeber

Alfred Strohmeier

Verlag

Springer Berlin

Seitenzahl

520

Maße (L/B/H)

23,5/15,5/2,9 cm

Gewicht

797 g

Auflage

1996

Sprache

Englisch

ISBN

978-3-540-61317-6

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

29.05.1996

Abbildungen

XII, 520 p.

Herausgeber

Alfred Strohmeier

Verlag

Springer Berlin

Seitenzahl

520

Maße (L/B/H)

23,5/15,5/2,9 cm

Gewicht

797 g

Auflage

1996

Sprache

Englisch

ISBN

978-3-540-61317-6

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Reliable Software Technologies - Ada Europe 96
  • Produktbild: Reliable Software Technologies - Ada Europe 96
  • Programming the Internet in Ada 95.- Reliability modeling for safety critical software.- Fault-tolerance by replication in distributed systems.- Ada95: An effective concurrent programming language.- Mapping HRT-HOOD® designs to Ada 95 hierarchical libraries.- An approach to increasing software component reusability in Ada.- Iterative software development for large Ada programs.- HCSD unit development process: Step-wise process improvement.- Testing Ada 95 programs for conformance to rapide architectures.- Tasking deadlocks in Ada 95 programs and their detection.- On some characterisation problems of subdomain testing.- A framework for testing object oriented software using formal specifications.- Ada95 and critical systems: An analytical approach.- Use of a static analysis tool for safety-critical Ada applications.- Secure communication in distributed Ada.- Using object oriented methods in Ada 95 to implement Linda.- Shared packages through Linda.- Drago: An Ada extension to program fault-tolerant distributed applications.- The dining philosophers in Ada 95.- Using Ada 95 for prototyping real-time systems.- The GNARL implementation of POSIX/Ada signal services.- Implementing protected types on embedded targets.- ASIS for GNAT: From the prototype to the full implementation.- Handling irregular grammars in Ada.- Interprocedural call optimization.- Augmenting Ada95 with additional real-time features.- Beyond Ada95: The addition of persistence and its consequences.- Extending the object-orientedness of Ada 95.- An Ada 95 view of some difficult or controversial points in object-oriented programming.- Where does GOTO Go to?.- Ada/O2 coupling: A solution for an efficient management of persistence in Ada 83.- An Ada95 harness for converting legacy Fortran applications.- Thefunds management modernization: Experiences with developing an object oriented, client-server management information system in Ada95.- Converting the part task nautical simulator to Ada95.- Visibility control and migration of interfaces in large Ada systems.- Ada tasking and dynamic memory: To use or not to use, that's a question!.- Experiences applying a practical architectural method.- A decade of development and deployment of distributed Ada systems.- Planning the transition to Ada 95 for a large real-time project.