Ada: The Choice for '92
Springer Berlin (Verlag)
978-3-540-54092-2 (ISBN)
Modelling the temporal summation of neural membranes using the Ada language.- The use of Ada in reactive systems: A 3-dimensional model.- Ada 9X real-time scheduling alternatives.- Information engineering for systems in Ada.- AFADA, a measurement tool for Ada.- An approach to benchmarking Ada compilation systems.- Modelling SIMD - Type parallel arithmetic operations in Ada.- Analyzing Ada tasking deadlocks and livelocks using extended Petri nets.- A coprocessor for high performance multiprocessor Ada tasking.- Software project activity network for managing the development and testing process.- Ada in safety critical applications.- Real time electronic funds transfer and Ada.- Introducing HOOD into software process modelling based environments.- Design assessment of Ada systems using static analysis.- Using Ada to implement the transaction mechanism of a distributed object-oriented DBMS.- Distributed systems and Ada - Current projects and approaches comparative study's results.- Reconfigurable Ada distributed control system software.- ROSE-ADA: a method and a tool to help reuse of Ada codes.- Software reuse: Customer vs. contractor point-counterpoint.- Reusable input/output packages for Ada avionic applications.- Constructing a pilot library of components for avionic systems.- Formally specifying the logic of an automatic guidance controller.- Ada as high level language for real time systems exploiting RDBMS techniques.- Experience developing two Ada applications for embedded real-time systems using different software processes.- Testing and integrating a large embedded real-time system.
| Erscheint lt. Verlag | 30.4.1991 |
|---|---|
| Reihe/Serie | Lecture Notes in Computer Science |
| Zusatzinfo | VIII, 416 p. |
| Verlagsort | Berlin |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Gewicht | 696 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge |
| Mathematik / Informatik ► Informatik ► Software Entwicklung | |
| Informatik ► Theorie / Studium ► Compilerbau | |
| Schlagworte | ADA • Distributed Systems • Logic • Modeling • object oriented design • programming • Programming language • Programming language A • real-time • Scheduling • selection |
| ISBN-10 | 3-540-54092-X / 354054092X |
| ISBN-13 | 978-3-540-54092-2 / 9783540540922 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich