


default search action
Ada-Europe 1991: Athens, Greece
- Dimitris Christodoulakis:
Ada: The Choice for '92, Ada-Europe International Conference, Athens, Greece, May 13-17, 1991, Proceedings. Lecture Notes in Computer Science 499, Springer 1991, ISBN 3-540-54092-X
Part I: Language Issues
- Michael C. Curtis, Victoria J. D. Sivess:
Modelling the Temporal Summation of Neural Membranes Using the Ada Language. 2-19 - Tzilla Elrad, V. Winans:
The Use of Ada in Reactive Systems: A 3-Dimensional Model. 20-36 - Fred A. Maymir-Ducharme:
Ada 9X Real-Time Scheduling Alternatives. 37-48
Part II: Metrics
- Stefan Björnson:
Information Engineering for Systems in Ada. 50-64 - C. T. Tsalidis, A. E. Hatzimanikatis:
AFADA, a Measurement Tool for Ada. 65-86 - Tom Curley:
An Approach To Benchmarking Ada Compilation Systems. 87-108
Part III: Concurrency and Parallelism in Ada
- Jürgen Wolff von Gudenberg:
Modellin SIMD - Type Parallel Arithmetic Operations in Ada. 110-124 - Jingde Cheng, Kazuo Ushijima:
Analyzing Ada Tasking Deadlocks and Livelocks Using Extended Petri Nets. 125-146 - Lars Lundberg:
A Coprocessor for High Performance Multiprocessor Ada Tasking. 147-165
Part IV: Continuous Systems
- Kurt M. Gutzmann, David L. Remkes, Jeffrey L. Ragsdale:
Software Project Activity Network for Managing the Development and Testing Process. 168-192 - A. Welz:
Ada in Safety Critical Applications. 193-198 - Jean Willain, Pierrot Baesens, Joël Sanzot, Stef van Vlierberghe:
Real-Time Electronic Funds Transfer and Ada. 199-209
Part V: Environments and Tools
- J. R. Larre, N. Alfaro, J. J. Galán, Juan Garbajosa
:
Introducing HOOD into Software Process Modelling Based Environments. 212-226 - Alex Delis, William M. Thomas:
Design Assessment of Ada Systems Using Static Analysis. 227-250
Part VI: Distribution
- P. Soupos, S. Goutas:
Using Ada to Implement the Transaction Mechanism of a Distributed Object-Oriented DBMS. 252-259 - Uwe Baumgarten:
Distributed Systems and Ada - Current Projects and Approaches Comparative Study's Results. 260-278 - D. C. Levy, M. C. Randelhoff, Joyce L. Tokar:
Reconfigurable Ada Distributed Control System Software. 279-302
Part VII: Faces of Reuse
- N. Badaro, Th. Moineau:
ROSE-Ada: a Method and a Tool to Help Reuse of Ada Codes. 304-325 - Trevor Syms, Christine L. Braun:
Software Reuse: Customer vs. Contractor Point-Counterpoint. 326-337 - Alfred Rosskopf:
Reusable Input/Output Packages for Ada Avionic Applications. 338-360
Part VIII: Project Reports
- José L. Fernández, Juan Antonio de la Puente:
Constructing a Pilot Library of Components for Avionic Systems. 362-371 - David Guaspari:
Formally Specifying the Logic of an Automatic Guidance Controller. 372-383 - C. Colombini, A. della Torre, R. Palotti:
Ada as High Level Language for Real-Time Systems Exploiting RDBMS Techniques. 384-393 - Brian Gilbert, Mike Taylor, Greg Bek:
Experience Developing two Ada Applications for Embedded Real-Time Systems Using Different Software Processes. 394-403 - J.-M. Lippens, J. Arnol:
Testing and Integrating a Large Embedded Real-Time System. 404-411

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.