Search results for "ada"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
61	E. J. Dowling	Testing distributed Ada programs.	TRI-Ada	1989	DBLP DOI BibTeX RDF
61	Betty Alexandra Toole	Ada Lovelace lives forever: Ada's four questions.	Ada Lovelace Symposium	2015	DBLP DOI BibTeX RDF
61	Linda Safford, Phil Brashear, Oliver Cole, Robert Dewar, Nelson H. Weiderman	For environment initiatives, will Ada 95 experiences parallel Ada 83 experiences? (panel session).	TRI-Ada	1995	DBLP DOI BibTeX RDF
61	Michael B. Feldman, Charles W. Kann, Arthur Vargas Lopes, Manuel A. Pérez-Quiñones	GW-Ada/Ed: free Ada 83 development environments for IBM PC-compatible and Apple Macintosh computers.	TRI-Ada	1995	DBLP DOI BibTeX RDF
61	Gary Shupe	For partnership initiatives, will Ada 95 experiences parallel Ada 83 experiences?	TRI-Ada	1995	DBLP DOI BibTeX RDF
61	D. De Gabaï	LAMPBADA: Logiciel d'Aide à la Mise au Point de Bibliothèques Ada (Ada Libraries Validation Tool).	Ada-Europe	1995	DBLP DOI BibTeX RDF
61	George H. Marschalk IV	SA-2-Ada: a methodology for deriving Ada designs from structured analysis specifications.	TRI-Ada	1991	DBLP DOI BibTeX RDF
61	Chase Dane	Large development teams and the Ada library or who recompiled the #%$@!& Ada library.	TRI-Ada	1991	DBLP DOI BibTeX RDF
61	Kourosh R. Dinyari, Thomas M. Johndrew, Kenneth J. Lamarche	Managing Ada development risk in a non-Ada-based workstation environment.	TRI-Ada	1990	DBLP DOI BibTeX RDF
61	Geoffrey O. Mendal	An Ada 9X town meeting: getting Ada into the mainstream in the 1990s (panel).	TRI-Ada	1990	DBLP DOI BibTeX RDF
61	Thomas S. Radi	Testing Ada designers and code. Test Gen-Ada testing tool.	TRI-Ada	1988	DBLP DOI BibTeX RDF
61	Hector Villarreal	Ada in data base environment- SYBASE implementation of an Ada/SQL interface.	TRI-Ada	1988	DBLP DOI BibTeX RDF
61	Kim Levis Hoover	Ada and MIS - establishing an Ada foundation.	TRI-Ada	1988	DBLP DOI BibTeX RDF
60	Richard A. Volz, Trevor N. Mudge, Gregory D. Buzzard, Padmanabhan Krishnan	Translation and Execution of Distributed Ada Programs: Is It Still Ada?	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	distributed Ada programs, memory access architecture, binding time, system homogeneity, library packages, Ada, distributed processing, programming, program interpreters, distributed execution
60	Jingde Cheng	Task Dependence Nets for Concurrent Systems with Ada 95 and Its Applications.	TRI-Ada	1997	DBLP DOI BibTeX RDF	Ada
60	Hal Hart, Linda Brown, Patricia K. Lawlis, Richard Riehle, Maretta Holden	Software Engineering Plan Reviews - Better for Ada Than the Mandate? (Panel).	TRI-Ada	1997	DBLP DOI BibTeX RDF	Ada
60	Patricia K. Lawlis	Is the Answer Always Ada?	TRI-Ada	1997	DBLP DOI BibTeX RDF	Ada
60	A. T. Chamillard, William C. Hobart Jr.	Transitioning to Ada in an Introductory Course for Non-Majors.	TRI-Ada	1997	DBLP DOI BibTeX RDF	Ada
60	William K. Suchan, Todd L. Smith	Using Ada 95 as a Tool to Teach Problem Solving to Non-CS Majors.	TRI-Ada	1997	DBLP DOI BibTeX RDF	Ada
60	James B. White III	Performance Issues of Scientific Programming in Ada 95.	TRI-Ada	1997	DBLP DOI BibTeX RDF	Ada, C++, FORTRAN
60	Jesús M. González-Barahona, José Centeno-González, Pedro de las Heras Quirós, Francisco J. Ballesteros-Cámara, Luis López-Fernández	Teaching Network Programming with Ada and Lower_Layer.	TRI-Ada	1997	DBLP DOI BibTeX RDF	Ada
60	Benjamin M. Brosgol	A Comparison of the Object-Oriented Features of Ada 95 and Java.	TRI-Ada	1997	DBLP DOI BibTeX RDF	Java, Ada
60	Anthony B. Gargaro	Ada-Java Communication in ADEPT.	TRI-Ada	1997	DBLP DOI BibTeX RDF	Java, Ada
60	Dong-Ik Oh, Theodore P. Baker	Optimization of Ada '95 Tasking Constructs.	TRI-Ada	1997	DBLP DOI BibTeX RDF	Ada
60	T. Dean Hendrix, James H. Cross II, Larry A. Barowski, Karl S. Mathias	Visualization of Control Structure and Complexity in Ada 95.	TRI-Ada	1997	DBLP DOI BibTeX RDF	Ada
60	Vincent Celier	Managing Usage of Dynamic Structures with Ada Controlled Objects.	TRI-Ada	1997	DBLP DOI BibTeX RDF	Ada
60	Randall Brukardt, Tom Moran	CLAW, a High Level, Portable, Ada 95 Binding for Microsoft Windows.	TRI-Ada	1997	DBLP DOI BibTeX RDF	Ada
60	Margaretha W. Price, Steven A. Demurjian, Donald M. Needham	A Reusability Measurement Framework and Tool for Ada 95.	TRI-Ada	1997	DBLP DOI BibTeX RDF	Ada
60	Brad Balfour	Combining Ada 95, Java Byte Code, and the Distributed Systems Annex.	TRI-Ada	1997	DBLP DOI BibTeX RDF	Java, Ada
60	Kevin Tucker	Debugging Highly-Optimized Ada with Code Motion (DHACM).	TRI-Ada	1997	DBLP DOI BibTeX RDF	Ada
60	Helge Hagenauer, Werner Pohlmann	Prototyping a Parallel Discrete Event Simulation System in Ada.	TRI-Ada	1996	DBLP DOI BibTeX RDF	Ada
60	Matthew B. Dwyer, Matthew J. Craig, Eric Runquist	An Application-Independent Concurrency Skeleton in Ada 95.	TRI-Ada	1996	DBLP DOI BibTeX RDF	Ada
60	James H. Cross II, Larry A. Barowski, T. Dean Hendrix, Joseph C. Teate	Control Structure Diagrams for Ada 95.	TRI-Ada	1996	DBLP DOI BibTeX RDF	Ada
60	John Beidler	REUSE/Ada.	TRI-Ada	1996	DBLP DOI BibTeX RDF	Ada
60	Antoine Beugnard, Zièd Choukair, Yvon Kermarrec	COREMO: A CORBA Real Time Extension Model and its Ada 95 Implementation.	TRI-Ada	1996	DBLP DOI BibTeX RDF	Ada
60	Donald M. Needham, Steven A. Demurjian, Karim El Guemhioui, Thomas J. Peters, P. Zamani, M. McMahon, Heidi J. C. Ellis	ADAM: A Language-Independent, Object-Oriented, Design Environment for Modeling Inheritance and Relationship Variants in Ada 95, C++, and Eiffel.	TRI-Ada	1996	DBLP DOI BibTeX RDF	Ada, C++, Eiffel
60	Terry J. Westley	TASH: A Free Platform-Independent Graphical User Interface Development Toolkit for Ada.	TRI-Ada	1996	DBLP DOI BibTeX RDF	Ada
60	Bohdan Nebesh, Michael B. Feldman	Learning to Use Ada 95 Components Using HTML Linking.	TRI-Ada	1996	DBLP DOI BibTeX RDF	Ada, HTML
60	Yvon Kermarrec, Laurent Nana, Laurent Pautet	GNATDIST: A Configuration Language for Distributed Ada 95 Applications.	TRI-Ada	1996	DBLP DOI BibTeX RDF	distributed systems programming, Ada, GNAT, configuration language
60	Kwok-Bun Yue, Sadegh Davari, Ted Leibfried	Priority Ceiling Protocol in Ada.	TRI-Ada	1996	DBLP DOI BibTeX RDF	Ada
60	John A. Hamilton Jr., David A. Cook	Ada Training and Education in the US Army and US Air Force.	TRI-Ada	1996	DBLP DOI BibTeX RDF	Ada
60	Allen S. Parrish, David Cordes, Cynthia Lester, Deanne Moore	Active Learning and Process Assessment: Two Experiments in an Ada-Based Software Engineering Course.	TRI-Ada	1996	DBLP DOI BibTeX RDF	Ada
60	Huiming Yu, Albert C. Esterline, Joseph Monroe	Object Oriented Formal Specifications to Support Ada 95 Reuse.	TRI-Ada	1996	DBLP DOI BibTeX RDF	Ada
60	Michael B. Feldman, Jack Beidler	Teaching Object Programming with Ada 95.	TRI-Ada Tutorials	1995	DBLP DOI BibTeX RDF	Ada
60	Brad Balfour, Mark S. Gerhardt	Patterns and paradigms for using Ada 95.	TRI-Ada Tutorials	1995	DBLP DOI BibTeX RDF	Ada
60	Bryce M. Bardin	Implementing Concurrent Programs in Ada 95.	TRI-Ada Tutorials	1995	DBLP DOI BibTeX RDF	Ada
60	Ken Shumate	Software Specification and Design with Ada: A Disciplined Approach.	TRI-Ada Tutorials	1995	DBLP DOI BibTeX RDF	Ada
60	David Weller	The GNU Ada 95 Booch Components.	TRI-Ada Tutorials	1995	DBLP DOI BibTeX RDF	Ada
60	Janet Johns, J. L. Diaz-Herrara	Intelligent Systems and Ada 95.	TRI-Ada Tutorials	1995	DBLP DOI BibTeX RDF	Ada
60	Stéphane Barbey, Magnus Kempe, A. Strohmeir	Advanced Object-Oriented Features and Programming in Ada 95.	TRI-Ada Tutorials	1995	DBLP DOI BibTeX RDF	Ada
60	Yvon Kermarrec, Laurent Pautet	A Distributed Shared Virtual Memory for Ada 83 and Ada 9X Applications.	TRI-Ada	1993	DBLP DOI BibTeX RDF	Ada
60	John W. McCormick	Teaching Ada by the Book: The Pedagogy of Ada in CS1 (Panel).	TRI-Ada	1993	DBLP DOI BibTeX RDF	Ada, Pascal
60	Tom Burger, James B. Bladen, Richard A. Volz, Ron Theriault, Gary W. Smith, Kali H. Buhariwalla	A Practical Tool for Distributing Ada Programs: TeleSoft's Distributed Ada Configuration Tool.	TRI-Ada	1992	DBLP DOI BibTeX RDF	Ada
60	Kenneth Fussichen	Ada and CICS: or (yes! Ada can be done on an IBM Mainframe).	TRI-Ada	1992	DBLP DOI BibTeX RDF	Ada, CICS
59	Benjamin M. Brosgol	Ada and the Objects.	TOOLS (30)	1999	DBLP DOI BibTeX RDF
59	Paul Keller, Thomas Maas	An OPTRAN-generated Front-End for Ada.	WAGA	1990	DBLP DOI BibTeX RDF
59	Sheldon X. Liang, Lyle A. Reibling, John Betts	Re-ADA: reliable Ada-based descriptive architecture for C4ISR via a quantitative interoperating model.	SIGAda	2008	DBLP DOI BibTeX RDF	interoperability, dependability, heterogeneity, architectural description
59	Ricky E. Sward, A. T. Chamillard	Re-engineering global variables in Ada.	SIGAda	2004	DBLP DOI BibTeX RDF	ASIS, SPARK, global variables
59	Michael B. Feldman	Ada 83 and Ada 9X in the universities: filling the pipeline.	WADAS	1993	DBLP DOI BibTeX RDF
59	J. C. Helm, T. E. Cook	Ada implementation in a non-Ada environment.	WADAS	1985	DBLP DOI BibTeX RDF
59	Vasiliy Fofanov, Sergey Rybin, Alfred Strohmeier	ASIStint: An Interactive ASIS Interpreter.	TRI-Ada	1997	DBLP DOI BibTeX RDF	Ada, Ada, interpreter, ASIS
59	Slobodan S. Jovanovic, Drasko M. Sotirovski, Pierre van Aswegen	Developing Scripting Capabilities for an Ada-Based Simulator.	Ada-Europe	1997	DBLP DOI BibTeX RDF	Simulation, Scripting, Ada 95
59	P. David, T. Planche, A. Corrégé, J.-F. Chane	Developing Fault Tolerant Software in Ada for Real-Time Dependable Systems.	Ada-Europe	1995	DBLP DOI BibTeX RDF	Key-words Ada for dependable software, Software Implemented Fault Tolerance Techniques, Defensive Programming, On-Board Computer System Software, Error Confinement area, Error propagation
59	Tadao Murata, Boris Shenker, Sol M. Shatz	Detection of Ada Static Deadlocks Using Petri Net Invariants.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	Ada static deadlocks, Petri net invariants, Ada tasking programs, message-flow, computational complexity, complexities, Petri nets, Ada, concurrency control, program testing, system recovery, control-flow
59	Kenneth L. Ehresman, Joey L. Frantzen	Electronic maneuvering board and dead reckoning tracer decision aid for the officer of the deck.	SIGAda	2001	DBLP DOI BibTeX RDF	Contact Avoidance, GtkAda, Maneuvering Board, Officer of the Deck Aid, U.S. Navy, UML, Ada, Navigation, Model-View-Controller, GNAT
59	David S. Rosenblum, David C. Luckham	Testing the Correctness of Tasking Supervisors with TSL Specifications.	Symposium on Testing, Analysis, and Verification	1989	DBLP DOI BibTeX RDF	Ada
59	Linda Rising	A comparison of two object-oriented design methodologies (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF	Ada
58	John W. McCormick	MA1: Ada for real-time and parallel processing.	SIGAda	2008	DBLP DOI BibTeX RDF	software engineering, design, reliability, real-time, parallel processing, ada, software, safety, languages, systems, assurance, high integrity
58	Jim Ras, Albert M. K. Cheng	Real-time synchronization on distributed architecture with Ada-2005.	SIGAda	2008	DBLP DOI BibTeX RDF	dpcp, dsrp, edf, ada, pcp, rms, srp
58	Tom Grosman	Hibachi: the eclipse ada development toolset.	SIGAda	2007	DBLP DOI BibTeX RDF	reliability, ada, software, safety, languages, eclipse, development environment, high integrity
58	Gaetan Allaert, Dirk Craeynest, Philippe Waroquiers	European air traffic flow management: porting a large application to GNU/linux.	SIGAda	2003	DBLP DOI BibTeX RDF	CFMU, ETFMS, GNU, HP-PA RISC, HP-UX, Korn shell, eurocontrol, intel 80x86, performance, Ada, C++, C, linux, portability, COTS, POSIX, GNAT, air traffic management
58	Ming Wang	Integrating a software engineering approach into an Ada closed laboratory.	SIGAda	1999	DBLP DOI BibTeX RDF	software engineering, Ada, closed lab
58	Laurent Pautet, Thomas Wolf	Transparent Filtering of Streams in GLADE.	TRI-Ada	1997	DBLP DOI BibTeX RDF	security, distributed systems, cryptography, Ada, compression, distributed objects, Ada 95
57	S. Tucker Taft	Implementing the extended return statement for Ada 2005.	SIGAda	2008	DBLP DOI BibTeX RDF	build in place, extended return statement, limited types, ada 2005
57	Brad J. Moore	Distributed status monitoring and controlusing remote buffers and Ada 2005.	SIGAda	2008	DBLP DOI BibTeX RDF	multicast, c++, ada 2005, remote interfaces, distributed systems annex
57	Brad J. Moore	A buffer container class hierarchy using Ada 2005.	SIGAda	2008	DBLP DOI BibTeX RDF	container, ada 2005, remote interfaces, bounded buffer
57	Frank Singhoff, Jérôme Legrand, Laurent Nana, Lionel Marcé	Scheduling and memory requirements analysis with AADL.	SIGAda	2005	DBLP DOI BibTeX RDF	ada framework, memory requirements and real time scheduling analysis, AADL
57	Steven Doran	Interfacing low-level C device drivers with Ada 95.	SIGAda	1999	DBLP DOI BibTeX RDF	real-time, Ada 95, device drivers, C programming language
57	Frederic H. Wild III	Avoiding Anomalies in Inheritance Schemes.	Ada-Europe	1993	DBLP DOI BibTeX RDF
57	Diego Alonso, Cristina Vicente-Chicote, Juan Angel Pastor, Bárbara Álvarez	StateML+s: From Graphical State Machine Models to Thread-Safe Ada Code.	Ada-Europe	2008	DBLP DOI BibTeX RDF	Model-To-Text Transformation, Thread-Safe Code Generation, Eclipse platform, Finite State Machines, Model-Driven Engineering
57	José Antonio Pulido, Santiago Urueña, Juan Zamorano, Juan Antonio de la Puente	Handling Temporal Faults in Ada 2005.	Ada-Europe	2007	DBLP DOI BibTeX RDF
57	Andy J. Wellings, Alan Burns 0001	Real-Time Utilities for Ada 2005.	Ada-Europe	2007	DBLP DOI BibTeX RDF
57	Diego Alonso, Cristina Vicente-Chicote, Pedro Sánchez, Bárbara Álvarez, Fernando Losilla 0001	Automatic Ada Code Generation Using a Model-Driven Engineering Approach.	Ada-Europe	2007	DBLP DOI BibTeX RDF
57	Johann Blieberger, Bernd Burgstaller, Robert Mittermayr	Static Detection of Livelocks in Ada Multitasking Programs.	Ada-Europe	2007	DBLP DOI BibTeX RDF
57	Ward Douglas Maurer	Using Mathematics to Improve Ada Compiled Code.	Ada-Europe	2006	DBLP DOI BibTeX RDF
57	Benjamin M. Brosgol	A Comparison of the Mutual Exclusion Features in Ada and the Real-Time Specification for Java TM.	Ada-Europe	2005	DBLP DOI BibTeX RDF
57	Luís Miguel Pinho, Luís Nogueira, Ricardo Barbosa 0004	An Ada Framework for QoS-Aware Applications.	Ada-Europe	2005	DBLP DOI BibTeX RDF
57	Miguel Masmano, Jorge Real, Alfons Crespo, Ismael Ripoll	Distributing Criticality Across Ada Partitions.	Ada-Europe	2005	DBLP DOI BibTeX RDF
57	Alan Burns 0001, Andy J. Wellings, S. Tucker Taft	Supporting Deadlines and EDF Scheduling in Ada.	Ada-Europe	2004	DBLP DOI BibTeX RDF
57	Sukant K. Giri, Atit Mishra, Yogananda V. Jeppu, Kundapur Karunakar	A Randomised Test Approach to Testing Safety Critical Ada Code.	Ada-Europe	2004	DBLP DOI BibTeX RDF
57	Mário Amado Alves	A Theory of Persistent Containers and Its Application to Ada.	Ada-Europe	2004	DBLP DOI BibTeX RDF
57	Juan Zamorano, Alejandro Alonso 0001, José Antonio Pulido, Juan Antonio de la Puente	Implementing Execution-Time Clocks for the Ada Ravenscar Profile.	Ada-Europe	2004	DBLP DOI BibTeX RDF
57	Helge Hagenauer, Norbert Martinek, Werner Pohlmann	Ada Meets Giotto.	Ada-Europe	2004	DBLP DOI BibTeX RDF
57	Franco Gasperoni	Vector Processing in Ada.	Ada-Europe	2004	DBLP DOI BibTeX RDF
57	Sami Evangelista, Claude Kaiser, Jean-François Pradat-Peyre, Pierre Rousseau	Quasar: A New Tool for Concurrent Ada Programs Analysis.	Ada-Europe	2003	DBLP DOI BibTeX RDF
57	Christoph Grein, Dmitry A. Kazakov, Fraser Wilson	A Survey of Physical Unit Handling Techniques in Ada.	Ada-Europe	2003	DBLP DOI BibTeX RDF
57	Benjamin M. Brosgol, Andy J. Wellings	A Comparison of the Asynchronous Transfer of Control Features in Ada and the Real-Time Speci.cation for Java.	Ada-Europe	2003	DBLP DOI BibTeX RDF
57	Alan Burns 0001, Michael González Harbour, Andy J. Wellings	A Round Robin Scheduling Policy for Ada.	Ada-Europe	2003	DBLP DOI BibTeX RDF
57	Julio L. Medina, J. Javier Gutiérrez, José M. Drake, Michael González Harbour	Modeling and Schedulability Analysis of Hard Real-Time Distributed Systems Based on Ada Components.	Ada-Europe	2002	DBLP DOI BibTeX RDF
57	Jean-Pierre Rosen	Ada, Interfaces and the Listener Paradigm.	Ada-Europe	2002	DBLP DOI BibTeX RDF