Ada-Europe 1991: Athens, Greece

Dimitris Christodoulakis (Ed.): 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 BibTeX

@proceedings{DBLP:conf/adaEurope/1991,
  editor    = {Dimitris Christodoulakis},
  title     = {Ada: The Choice for '92, Ada-Europe International Conference,
               Athens, Greece, May 13-17, 1991, Proceedings},
  booktitle = {Ada-Europe},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {499},
  year      = {1991},
  isbn      = {3-540-54092-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Part I: Language Issues

Michael C. Curtis, Victoria J. D. Sivess: Modelling the Temporal Summation of Neural Membranes Using the Ada Language. 2-19 BibTeX
Tzilla Elrad, V. Winans: The Use of Ada in Reactive Systems: A 3-Dimensional Model. 20-36 BibTeX
Fred A. Maymir-Ducharme: Ada 9X Real-Time Scheduling Alternatives. 37-48 BibTeX

Part II: Metrics

Stefan Björnson: Information Engineering for Systems in Ada. 50-64 BibTeX
C. T. Tsalidis, A. E. Hatzimanikatis: AFADA, a Measurement Tool for Ada. 65-86 BibTeX
Tom Curley: An Approach To Benchmarking Ada Compilation Systems. 87-108 BibTeX

Part III: Concurrency and Parallelism in Ada

Jürgen Wolff von Gudenberg: Modellin SIMD - Type Parallel Arithmetic Operations in Ada. 110-124 BibTeX
Jingde Cheng, Kazuo Ushijima: Analyzing Ada Tasking Deadlocks and Livelocks Using Extended Petri Nets. 125-146 BibTeX
Lars Lundberg: A Coprocessor for High Performance Multiprocessor Ada Tasking. 147-165 BibTeX

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 BibTeX
A. Welz: Ada in Safety Critical Applications. 193-198 BibTeX
Jean Willain, Pierrot Baesens, Joël Sanzot, Stef van Vlierberghe: Real-Time Electronic Funds Transfer and Ada. 199-209 BibTeX

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 BibTeX
Alex Delis, William M. Thomas: Design Assessment of Ada Systems Using Static Analysis. 227-250 BibTeX

Part VI: Distribution

P. Soupos, S. Goutas: Using Ada to Implement the Transaction Mechanism of a Distributed Object-Oriented DBMS. 252-259 BibTeX
Uwe Baumgarten: Distributed Systems and Ada - Current Projects and Approaches Comparative Study's Results. 260-278 BibTeX
D. C. Levy, M. C. Randelhoff, Joyce L. Tokar: Reconfigurable Ada Distributed Control System Software. 279-302 BibTeX

Part VII: Faces of Reuse

N. Badaro, Th. Moineau: ROSE-Ada: a Method and a Tool to Help Reuse of Ada Codes. 304-325 BibTeX
Trevor Syms, Christine L. Braun: Software Reuse: Customer vs. Contractor Point-Counterpoint. 326-337 BibTeX
Alfred Rosskopf: Reusable Input/Output Packages for Ada Avionic Applications. 338-360 BibTeX

Part VIII: Project Reports

José L. Fernández, Juan Antonio de la Puente: Constructing a Pilot Library of Components for Avionic Systems. 362-371 BibTeX
David Guaspari: Formally Specifying the Logic of an Automatic Guidance Controller. 372-383 BibTeX
C. Colombini, A. della Torre, R. Palotti: Ada as High Level Language for Real-Time Systems Exploiting RDBMS Techniques. 384-393 BibTeX
Brian Gilbert, Mike Taylor, Greg Bek: Experience Developing two Ada Applications for Embedded Real-Time Systems Using Different Software Processes. 394-403 BibTeX
J.-M. Lippens, J. Arnol: Testing and Integrating a Large Embedded Real-Time System. 404-411 BibTeX