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 |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich