Search results for "ada"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
65	Robert Dewar, Olivier Hainque, Dirk Craeynest, Philippe Waroquiers	Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada.	Ada-Europe	2002	DBLP DOI BibTeX RDF
65	Zhengqiang Chen, Baowen Xu, Jianjun Zhao 0001, Hongji Yang	Static Dependency Analysis for Concurrent Ada 95 Programs.	Ada-Europe	2002	DBLP DOI BibTeX RDF
65	Yusuke Nonaka, Jingde Cheng, Kazuo Ushijima	A Supporting Tool for Development of Self-Measurement Ada Programs.	Ada-Europe	2000	DBLP DOI BibTeX RDF
65	Adrian López, Maite Veiga, Eugenio Villar	Hardware/Software Embedded System Specifiaction and Design Using Ada and VHDL.	Ada-Europe	1999	DBLP DOI BibTeX RDF
65	C. Douglass Locke	An Architectual Perspective of Real-Time Ada Applications.	Ada-Europe	1999	DBLP DOI BibTeX RDF
65	Jesús M. González-Barahona, Pedro de las Heras Quirós, José Centeno-González, Francisco J. Ballesteros	Building Modular Communication Systems in Ada: The Simple_Com Approach.	Ada-Europe	1998	DBLP DOI BibTeX RDF
65	Agustín Espinosa, Vicente Julián, Carlos Carrascosa, Andrés Terrasa, Ana García-Fornes	Programming Hard Real-Time Systems with Optional Components in Ada.	Ada-Europe	1998	DBLP DOI BibTeX RDF
65	Joachim Wegener, Ines Fey	Systematic Unit-Testing of Ada Programs.	Ada-Europe	1997	DBLP DOI BibTeX RDF
65	Ingmar Ögren	Ada 95 as a Base to Architect Systems in O4STM.	Ada-Europe	1997	DBLP DOI BibTeX RDF
65	Alex E. Bell	An Alternative Toolset for Analysis of Ada Programs.	Ada-Europe	1997	DBLP DOI BibTeX RDF
65	Benjamin M. Brosgol	The Dining Philosophers in Ada 95.	Ada-Europe	1996	DBLP DOI BibTeX RDF
65	Patrick de Bondeli	An Ada 95 View of Some Difficult or Controversial Points in Object-Oriented Programming.	Ada-Europe	1996	DBLP DOI BibTeX RDF
65	Alfred Rosskopf	Use of a Static Analysis Tool for Safety-Critical Ada Applications: A Critical Assessment.	Ada-Europe	1996	DBLP DOI BibTeX RDF
65	Heinz Schneeweiss, V. Amiot, O. Vix	Translating Shlaer/Mellor Object-Oriented Analysis Models into Ada 95.	Ada-Europe	1995	DBLP DOI BibTeX RDF
65	Anthony B. Gargaro, Yvon Kermarrec, Laurent Pautet, Samuel Tardieu	PARIS - Partitioned Ada for Remotely Invoked Services.	Ada-Europe	1995	DBLP DOI BibTeX RDF
65	B. Davies, Derek A. Rothwell	The Use of Ada for the ENVISAT-1 Simulator.	Ada-Europe	1995	DBLP DOI BibTeX RDF
65	Zièd Choukair, Yvon Kermarrec	Distributed Object Oriented Programming and Interoperability for Ada 95: An OMG/CORBA Approach.	Ada-Europe	1995	DBLP DOI BibTeX RDF
65	Bernt Rognes, Per Ivar Skinderhaug	Performance Tuning of a Check-Out System Coded in Ada.	Ada-Europe	1995	DBLP DOI BibTeX RDF
65	F. Battini, P. L. Mantovani, Marco Mattavelli	Evaluation of a SPARC Board Equipped with the Ada Tasking Coprocessor (ATAC).	Ada-Europe	1995	DBLP DOI BibTeX RDF
65	Yvon Kermarrec, Laurent Pautet	Programming Distributed Systems with Both Ada 95 and PVM.	Ada-Europe	1995	DBLP DOI BibTeX RDF
65	Andrew Matthewman	ECLIPS - A Successful Experiment Combining CCSDS SFDUs, X/Motif, HOOD and Ada.	Ada-Europe	1995	DBLP DOI BibTeX RDF
65	A. Alapide, S. Candia, M. Cinella, S. Quaranta	Applying Teamwork/Ada and RAISE for Developing an Air Traffic Control Application.	Ada-Europe	1995	DBLP DOI BibTeX RDF
65	Miech Groeneveld	Using Ada in Integrating ATC Systems.	Ada-Europe	1992	DBLP DOI BibTeX RDF
65	Juan Antonio de la Puente, Juan Zamorano, Alejandro Alonso 0001, José L. Fernández	Reusable Executives for Hard Real-Time Systems in Ada.	Ada-Europe	1992	DBLP DOI BibTeX RDF
65	John A. Anderson, John D. Sheffler	Managing Ada Object-Oriented Development.	Ada-Europe	1992	DBLP DOI BibTeX RDF
65	Jingde Cheng	Task Dependence Net as a Representation for Concurrent Ada Programs.	Ada-Europe	1992	DBLP DOI BibTeX RDF
65	Arlet Ottens, Hans Toetenel	Simulation of Mosca Specifications in Ada.	Ada-Europe	1992	DBLP DOI BibTeX RDF
65	Gary K. Raines	Real Time Ada in the International Space Station Freedom.	Ada-Europe	1992	DBLP DOI BibTeX RDF
65	Karlotto Mangold	AMPATS - A Multi Processor Ada Tool Set.	Ada-Europe	1992	DBLP DOI BibTeX RDF
65	Stefan Björnson	Information Engineering for Systems in Ada.	Ada-Europe	1991	DBLP DOI BibTeX RDF
65	Tom Curley	An Approach To Benchmarking Ada Compilation Systems.	Ada-Europe	1991	DBLP DOI BibTeX RDF
64	Laura K. Dillon	Task Dependence and Termination in Ada.	ACM Trans. Softw. Eng. Methodol.	1997	DBLP DOI BibTeX RDF	distributed termination, master/dependent relation, task termination, tasking execution model, Ada, Ada tasking
64	Ernestina Martel, Francisco Guerra Santana, Javier Miranda, Luis Hernández	A Graphical Environment for GLADE.	Ada-Europe	2003	DBLP DOI BibTeX RDF	Distributed Configuration, GLADE, Group_IO, Ada
64	Mário Amado Alves	Safe Web Forms and XML Processing with Ada.	Ada-Europe	2001	DBLP DOI BibTeX RDF	web services development, XML, Ada, HTML, CGI
64	Sergey Rybin, Alfred Strohmeier, Alexey Kuchumov, Vasiliy Fofanov	ASIS for GNAT: From the Prototype to the Full Implementation.	Ada-Europe	1996	DBLP DOI BibTeX RDF	Ada, Compiler, Programming Environment, ASIS
64	Sergey Rybin, Alfred Strohmeier, Eugene Zueff	ASIS for GNAT: Goals, Problems and Implementation Strategy.	Ada-Europe	1995	DBLP DOI BibTeX RDF	Ada, Compilation, Software Engineering Environment, ASIS
64	Didier Buchs, C. Buffard, Pascal Racloz	Modeling and Validation of Tasks with Algebraic Structured Nets.	Ada-Europe	1995	DBLP DOI BibTeX RDF	protected type, CO-OPN, Petri net, Ada, concurrency, abstract data type, task
64	Ingmar Ögren	Extended Application of Ada to Cover ECBS with O4S: ECBS = Engineering of Computer Based Systems; O4S = Objects for Systems.	TRI-Ada	1994	DBLP DOI BibTeX RDF	Ada
64	Stephen Crawley, Michael Oudshoorn	Orthogonal Persistence and Ada.	TRI-Ada	1994	DBLP DOI BibTeX RDF	Ada
64	Raymond J. A. Buhr, Gerald M. Karam, Carol J. Hayes, C. Murray Woodside	Software CAD: A Revolutionary Approach.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	software CAD environment, Carleton embedded system design environment, CAEDE, visual paradigm, semantic depth, syntactic shallowness, skeleton Ada code, software engineering, embedded systems, performance analysis, Ada, Ada, CAD, software tools, Prolog, programming environments, automatic programming, automatic programming, abstract machines, temporal analysis, research project, tool development
63	John G. P. Barnes	SA1: introducing the best of ada.	SIGAda	2007	DBLP DOI BibTeX RDF
63	Santiago Urueña, Juan Zamorano, Juan Antonio de la Puente	A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems.	Ada-Europe	2009	DBLP DOI BibTeX RDF	distributed systems, real-time systems, Ada 2005, high-integrity systems, Ravenscar profile
63	Javier Miranda, Edmond Schonberg	Abstract Interface Types in GNAT: Conversions, Discriminants, and C++.	Ada-Europe	2006	DBLP DOI BibTeX RDF	Abstract Interface Types, Tagged Types, Discriminants, Ada 2005, GNAT
63	Jörg Kienzle, Alfred Strohmeier	Shared Recoverable Objects.	Ada-Europe	1999	DBLP DOI BibTeX RDF	Recoverable Objects, Controlled Types, Abort Deferred Regions, Concurrency, Object-Oriented Programming, Transactions, Software Fault Tolerance, Ada 95
63	Magnus Kempe	Heterogeneous Data Structures and Cross-Classification of Objects with Ada95.	Ada-Europe	1995	DBLP DOI BibTeX RDF	Heterogeneous Collections, Classification, Abstract Data Types, Ada 95, Catalogues
62	Jeffrey J. P. Tsai, Ray-Yuan Sheu	A knowledge-based system for Ada® software development.	J. Syst. Integr.	1991	DBLP DOI BibTeX RDF	knowledge-based software development, requirement specification language, Ada, object-oriented modeling
62	David C. Luckham, Wolfgang Polak	Ada Exception Handling: An Axiomatic Approach.	ACM Trans. Program. Lang. Syst.	1980	DBLP DOI BibTeX RDF	Ada
62	Alexandr Korochkin, Salah Imad, Dmitry Korochkin	Experimental performance analysis of ada programs in cluster system.	SIGAda	2005	DBLP DOI BibTeX RDF	distributed (cluster) systems, java, ada, monitor, process, mutual exclusion, SMP, remote procedure call, process synchronization, client-server model
62	Eric Potratz	A practical comparison between Java and Ada in implementing a real-time embedded system.	SIGAda	2003	DBLP DOI BibTeX RDF	conditional synchronization, package elaboration, scheduling, Java, performance, real-time systems, embedded systems, Ada, concurrency, object-oriented programming, memory management, drivers, priority inversion
61	Paul Anderson	A refactoring tool for Ada 95.	SIGAda	2004	DBLP DOI BibTeX RDF	static analysis, refactoring, Ada 95, ASIS, software engineering tools
61	Leonid Dulman	Visual Ada developer.	SIGAda	2002	DBLP DOI BibTeX RDF	Ada-95, widget, ide, Tcl/Tk, gui
61	Peter Amey, Brian Dobbing	High Integrity Ravenscar.	Ada-Europe	2003	DBLP DOI BibTeX RDF
61	Pierre Breguet, Luigi Zaffalon	Railway Scale Model Simulator.	Ada-Europe	1999	DBLP DOI BibTeX RDF	simulation, concurrency, resource management, rendezvous, protected objects, Education and training
61	Martin J. Stift	(Astro)Physical Supercomputing: Ada95 as a Safe, Object Oriented Alternative.	Ada-Europe	1998	DBLP DOI BibTeX RDF
61	Scott Arthur Moody	Object Oriented Abstractions for Real-Time Distributes Systems.	Ada-Europe	1998	DBLP DOI BibTeX RDF
61	Laurent Pautet, Samuel Tardieu	Inside the Distributed Systems Annex.	Ada-Europe	1998	DBLP DOI BibTeX RDF
61	Kurt M. Gutzmann, David L. Remkes, Jeffrey L. Ragsdale	Software Project Activity Network for Managing the Development and Testing Process.	Ada-Europe	1991	DBLP DOI BibTeX RDF
61	Nasser Kettani, Vincent Celier	Toward a Secondary Standard for Hard Real-Time Ada: The Real-Time Rapporteur Group (ISO/JTC1/SC22/WG9/RRG) JTC 1.22.35.	Ada-Europe	1993	DBLP DOI BibTeX RDF
61	Lars Lundberg	Performance Evaluation of Parallel Ada Programs Using an Experimental Multiprocessor.	Ada-Europe	1993	DBLP DOI BibTeX RDF
61	Dean Gonzalez	Introduction to ada: main section: tutorial notes.	TRI-Ada Tutorial	1991	DBLP DOI BibTeX RDF
61	Robert C. Smith Jr., Timothy Schreyer	Introduction to the X window system for ada.	TRI-Ada Tutorial	1991	DBLP DOI BibTeX RDF
61	Philippe Krachten	Ada: plugging in the power tool.	TRI-Ada Tutorial	1991	DBLP DOI BibTeX RDF
61	Keith M. Hines	Tailoring an ada run-time system.	TRI-Ada Tutorial	1991	DBLP DOI BibTeX RDF
61	Eugenie "Jolie" Mason, Bill Easton, David Fisher, Peggy Halevi	The ada workshop for computer users with disabilities.	TRI-Ada Tutorial	1991	DBLP DOI BibTeX RDF
61	Sriram Sankar, David C. Luckham, Walter Mann	The use of anna specification technology in ada software development.	TRI-Ada Tutorial	1991	DBLP DOI BibTeX RDF
61	David Guaspari	Penelope, an Ada verification system.	TRI-Ada	1989	DBLP DOI BibTeX RDF
61	Mark J. Whitcomb, Boyd N. Clark	Pragmatic definition of an object-oriented development process for Ada.	TRI-Ada	1989	DBLP DOI BibTeX RDF
61	Michael Springman	Software design documentation approach for a DOD-STD 2167A Ada project.	TRI-Ada	1989	DBLP DOI BibTeX RDF
61	James A. Perkins	Programming practices: analysis of Ada source developed for the air force, army, and navy.	TRI-Ada	1989	DBLP DOI BibTeX RDF
61	Charles A. Meyer, Melissa J. Wallis, Marcia A. Meier	Experiences in applying the layered virtual machine/object-oriented development methodology to an Ada design effort.	TRI-Ada	1989	DBLP DOI BibTeX RDF
61	Walker E. Royce	Reliable, reusable Ada components for constructing large, distributed multi-task networks: networks architecture services (NAS).	TRI-Ada	1989	DBLP DOI BibTeX RDF
61	Charles R. Grauling	Requirements analysis for large Ada programs: lessons learned on CCPDS-R.	TRI-Ada	1989	DBLP DOI BibTeX RDF
61	Richard H. Carver, Kuo-Chung Tai	Deterministic execution testing of concurrent Ada programs.	TRI-Ada	1989	DBLP DOI BibTeX RDF
61	David G. Strube, Michael J. Wagner	A quantitative evaluation of interrupt handling capabilities in Ada.	TRI-Ada	1989	DBLP DOI BibTeX RDF
61	Brad S. Crawford, Daniel R. Baker	Design issues and team support: experiences of an Ada tool vendor.	TRI-Ada	1989	DBLP DOI BibTeX RDF
61	Terry Vogelsong	Reusable Ada packages for information systems development (RAPID): an operational center of excellence for software reuse.	TRI-Ada	1989	DBLP DOI BibTeX RDF
61	Harold M. Rabbie, David Nelson-Gal	An operating system for real-time Ada.	TRI-Ada	1989	DBLP DOI BibTeX RDF
61	Thomas E. Griest, Mary E. Bender	Limitations on the portability of real time Ada programs.	TRI-Ada	1989	DBLP DOI BibTeX RDF
61	Neil Salant	Comparison of assembly language and Ada for a real-time embedded ECM system.	TRI-Ada	1989	DBLP DOI BibTeX RDF
61	Beverly J. Kitaoka	Establishing Ada repositories for reuse.	TRI-Ada	1989	DBLP DOI BibTeX RDF
61	Rakesh Jha, Greg Eisenhauer	Distributed Ada-approach and implementation.	TRI-Ada	1989	DBLP DOI BibTeX RDF
61	Marco Baldassari, Giorgio Bruno	An environment for operational software engineering in Ada.	TRI-Ada	1989	DBLP DOI BibTeX RDF
61	Stuart Lewin	Ada implementation of an X Window System server.	TRI-Ada	1989	DBLP DOI BibTeX RDF
61	Andrew Cholerton	Ada for closely coupled multiprocessor targets.	TRI-Ada	1989	DBLP DOI BibTeX RDF
61	S. Daniel Lee, Bradley P. Allen	Deploying expert systems in Ada.	TRI-Ada	1989	DBLP DOI BibTeX RDF
61	Michael E. Stark, Eric W. Booth	Using Ada to maximize verbatim software reuse.	TRI-Ada	1989	DBLP DOI BibTeX RDF
61	Mark W. Borger, Mark H. Klein, Robert A. Veltre	Real-time software engineering in Ada: observations and recommendations.	TRI-Ada	1989	DBLP DOI BibTeX RDF
61	Steven E. Keller, John A. Perkins, Kevin O'Leary	Layering and multiple views of data abstraction in Ada: techniques and experiences.	TRI-Ada	1989	DBLP DOI BibTeX RDF
61	Timothy G. Mattson, Linda J. Shanbeck	Design and implementation of an Ada mathematics library.	TRI-Ada	1989	DBLP DOI BibTeX RDF
61	Charles A. Meyer, Sharon C. Lindholm, Jack L. Jensen	Experiences in preparing a DOD-STD-2167A software design document for an Ada project.	TRI-Ada	1989	DBLP DOI BibTeX RDF
61	Michael Springman	Incremental software test approach for DOD-STD-2167A Ada projects.	TRI-Ada	1989	DBLP DOI BibTeX RDF
61	Doug Bryan	An algebraic specification of the partial orders generated by concurrent Ada computations.	TRI-Ada	1989	DBLP DOI BibTeX RDF
61	David M. Ford, Peter van der Linden	A network-based development environment for Ada.	TRI-Ada	1989	DBLP DOI BibTeX RDF
61	Michael Linnig, Donna Forinash	Ada tasking and parallel processors.	TRI-Ada	1989	DBLP DOI BibTeX RDF
61	Tom Archer	Ada in the Post Deployment Software Support Environment.	TRI-Ada	1989	DBLP DOI BibTeX RDF
61	Ralph D. Page	Holistic case study approach to Ada based software engineering training.	TRI-Ada	1989	DBLP DOI BibTeX RDF
61	Robert E. Davis	The selection of an Ada compiler for a real-time embedded avionics application.	TRI-Ada	1989	DBLP DOI BibTeX RDF
61	Mike Goyden	The software lifecycle with Ada: A command and control application.	TRI-Ada	1989	DBLP DOI BibTeX RDF
61	George Snyder, David Dunkle, Kirk Beitz	Retargeting an Ada source level debugger to CICS.	TRI-Ada	1989	DBLP DOI BibTeX RDF
61	John R. Ellis	A periodic Ada control kernel (PACK).	TRI-Ada	1989	DBLP DOI BibTeX RDF