Search results for "ada"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
47	Kuo-Chung Tai	An approach to testing concurrent Ada programs.	WADAS	1986	DBLP DOI BibTeX RDF
47	Grady Booch, Larry E. Druffel	Transition to Ada for complex software systems.	WADAS	1986	DBLP DOI BibTeX RDF
47	Benjamin M. Brosgol	Tutorial on exception handling in Ada.	WADAS	1986	DBLP DOI BibTeX RDF
47	Robin R. Miller, Mary Ann Dodge	Display development system: a successful Ada application.	WADAS	1986	DBLP DOI BibTeX RDF
47	Kenneth Bowles	Rapid prototyping with Ada.	WADAS	1986	DBLP DOI BibTeX RDF
47	John E. Gaffney Jr., T. M. McKeever	ADESSA - an Ada expert system style advisor.	WADAS	1986	DBLP DOI BibTeX RDF
47	Joseph D. Houle	Developing a queueing simulation package in Ada.	WADAS	1985	DBLP DOI BibTeX RDF
47	Eugen Vasilescu	Teaching Ada for business students.	WADAS	1985	DBLP DOI BibTeX RDF
47	Daniel F. Sterne, M. E. Schmid, M. J. Gralia, T. A. Grobicki, R. A. R. Pearce	Use of Ada for shipboard embedded applications.	WADAS	1985	DBLP DOI BibTeX RDF
47	Mitchell J. Bassman, Gerald A. Fisher, Anthony B. Gargaro	Evaluating the performance efficiency of Ada compilers.	WADAS	1985	DBLP DOI BibTeX RDF
47	Paul Robertson	OPSAda3: an Ada-based production rule interpreter.	WADAS	1985	DBLP DOI BibTeX RDF
47	Aryola Chan, Sy Danberg, Terry A. Landers, Anil Nori, John Miles Smith, Stephen Fox	A database management capability for Ada.	WADAS	1985	DBLP DOI BibTeX RDF
47	Allen Rude	Translating a research LISP prototype to a formal Ada design prototype.	WADAS	1985	DBLP DOI BibTeX RDF
47	Alan A. Goerner	The impact of Ada on software project organization.	WADAS	1985	DBLP DOI BibTeX RDF
47	Mícheál Mac an Airchinnigh	Computer graphics software in Ada using AdaM.	WADAS	1985	DBLP DOI BibTeX RDF
47	Timothy E. Lindquist, Jeffrey L. Facemire	Ada-based abstract machine specification of CAIS to generate validation tests.	WADAS	1985	DBLP DOI BibTeX RDF
47	Steven E. Keller, John A. Perkins	Ada measurement based on software quality principles.	WADAS	1985	DBLP DOI BibTeX RDF
47	Nelson H. Weiderman, Catherine W. Johnson	An animated instructional model for Ada tasking.	WADAS	1985	DBLP DOI BibTeX RDF
47	Frederick H. Daniels, Jonathan A. Lorch	Applications of Ada in a kidney-dialysis ward.	WADAS	1985	DBLP DOI BibTeX RDF
47	David B. Kinder	How do you release a product implemented in Ada?: making compatible interface changes with the BiiN Ada compiler.	WADAS	1989	DBLP DOI BibTeX RDF
47	Thomas S. Radi	TestGen - testing tool for Ada Designs and Ada code.	WADAS	1989	DBLP DOI BibTeX RDF
47	Luba Vladavsky, Melih Yaramanoglu	Computation of software quality indicators tailored for Ada using the Rational R1000 Ada development environment tools.	WADAS	1989	DBLP DOI BibTeX RDF
47	George W. Cherry	Covering the life cycle with Ada: Ada all the way.	WADAS	1989	DBLP DOI BibTeX RDF
47	David Martin, Herman Fischer	Integrating Ada design graphics into the Ada software development process.	WADAS	1988	DBLP DOI BibTeX RDF
47	A. Reedy, C. Shotton, E. Yodis, F. C. Blumberg	Ada reuse within the context of an Ada programming support environment.	WADAS	1988	DBLP DOI BibTeX RDF
47	Javier Miranda, Francisco Guerra Santana, José Martín, Alexis González	A Technique to Build Ada Preprocessors.	PDP	2002	DBLP DOI BibTeX RDF	Ada, Compilers, Pre-processing, GNAT
47	William W. Pritchett	An object-oriented metrics suite for Ada 95.	SIGAda	2001	DBLP DOI BibTeX RDF	Ada
47	Nam-Yong Lee, Charles R. Litecky	An Empirical Study of Software Reuse with Special Attention to Ada.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	software engineering, Ada, software metrics, software reuse, repository, factor analysis, object-oriented technology, multiple regression analysis
47	Laura K. Dillon	A Visual Model for Ada Tasking.	ACM Trans. Softw. Eng. Methodol.	1993	DBLP DOI BibTeX RDF	contour model, visual execution model, Ada
47	G. Scott Owen	An Ada-based software engineering course.	SIGCSE	1989	DBLP DOI BibTeX RDF	Ada
47	Leon E. Winslow, Joseph E. Lang	Ada in CS1.	SIGCSE	1989	DBLP DOI BibTeX RDF	Ada
47	Joachim Roos	A Real-Time Support Processor for Ada Tasking.	ASPLOS	1989	DBLP DOI BibTeX RDF	Ada
47	G. Scott Owen, Ross A. Gagliano, Pentti A. Honkanen	Tools for the storage and retrieval of reusable MIS software in Ada.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF	Ada
47	G. Scott Owen	RT Prolog: a real time Prolog written in Ada.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF	Ada, Prolog
47	Kelly I. Morrison	GRASP: an executable specification language for Ada tasking.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF	Ada, GRASP
47	G. Scott Owen	Using Ada on microcomputers in the undergraduate curriculum.	SIGCSE	1987	DBLP DOI BibTeX RDF	Ada
47	Richard Conn	Ada, CMM level 4, and the C-130J aircraft.	SIGAda	2002	DBLP DOI BibTeX RDF	Ada
46	John P. J. Kelly, Susan C. Murphy	Achieving Dependability Throughout the Development Process: A Distributed Software Experiment.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	B/B testing, multiple independent implementations, distributed communication protocol, complex concurrent processing systems, data communication systems, formal specification, protocols, Ada, Ada, software testing, distributed processing, dependability, program testing, automated testing, computer communications software, distributed software engineering
46	David Silberberg	Applying the Personal Software Process (PSP) with Ada.	SIGAda	1998	DBLP DOI BibTeX RDF	Ada, Ada, CMM, capability, maturity model, personal software process, PSP
46	Arthur G. Duncan	Reusable Ada Libraries Supporting Infinite Data Structures.	SIGAda	1998	DBLP DOI BibTeX RDF	infinite data structures, Ada, Ada, functional programming, lazy evaluation
46	Ross H. Wainwright	An Application Engineering Workbench for Tailoring Ada Flight Components.	SIGAda	1998	DBLP DOI BibTeX RDF	satellite flight software, Ada, Ada, software reuse, rapid prototyping, decision model
46	Janusz W. Laski, William Stanley, Jim Hurst	Dependency Analysis of Ada Programs.	SIGAda	1998	DBLP DOI BibTeX RDF	program anomalies, Ada, Ada, static analysis, information flow, program dependencies, path analysis
46	Bangqing Li, Baowen Xu, Huiming Yu	Transforming Ada Serving Tasks into Protected Objects.	SIGAda	1998	DBLP DOI BibTeX RDF	serving tasks, Ada, Ada, transformation, protected objects
46	Shayne Flint	Using Java APIs with Native Ada Compilers.	SIGAda	1998	DBLP DOI BibTeX RDF	Java, Java, Ada, Ada, bindings, Java native interface
46	Sy Wong, Gertrude Levine	Kernel Ada to Unify Hardware and Software Design.	SIGAda	1998	DBLP DOI BibTeX RDF	Ada, Ada, VHDL, EDA, hardware description language, HDL
46	Benjamin M. Brosgol	A Comparison of the Concurrency Features of Ada 95 and Java.	SIGAda	1998	DBLP DOI BibTeX RDF	Java, Java, Ada, Ada, concurrency, object-oriented programming, threads, tasking, inheritance anomaly
46	Victor D. Albertini, Craig J. Berrett	Ada in an On-Board Military Communication System.	SIGAda	1998	DBLP DOI BibTeX RDF	hardware to software mapping, modular software, Ada, Ada
46	Andy J. Wellings, Bob Johnson, Bo Ingvar Sandén, Jörg Kienzle, Thomas Wolf 0013, Stephen Michell	Integrating object-oriented programming and protected objects in Ada 95.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	concurrency, Ada 95, inheritance anomaly, concurrent object-oriented programming
46	Kamel Barkaoui, Claude Kaiser, Jean-François Pradat-Peyre	Petri nets based proofs of Ada 95 solution for preference control.	APSEC	1997	DBLP DOI BibTeX RDF	Petri nets based proofs, preference control, dining philosophers paradigm, entry families, requeue statements, Petri nets, deadlock, colored Petri nets, Ada 95, correctness proofs, starvation, protected objects
46	Sol M. Shatz, Shengru Tu, Tadao Murata, Sastry Duri	An Application of Petri Net Reduction for Ada Tasking Deadlock Analysis.	IEEE Trans. Parallel Distributed Syst.	1996	DBLP DOI BibTeX RDF	deadlock analysis, net reduction, concurrent software, Petri nets, reachability analysis, Ada tasking
45	Florian Villoing, Emmanuel Briot	A Type-Safe Database Interface.	Ada-Europe	2008	DBLP DOI BibTeX RDF
45	Bechir Zalila, Irfan Hamid, Jérôme Hugues, Laurent Pautet	Generating Distributed High Integrity Applications from Their Architectural Description.	Ada-Europe	2007	DBLP DOI BibTeX RDF
45	Damian Curtis	SPARK Annotations Within Executable UML.	Ada-Europe	2006	DBLP DOI BibTeX RDF
45	Bernd Burgstaller, Johann Blieberger, Robert Mittermayr	Static Detection of Access Anomalies in Ada95.	Ada-Europe	2006	DBLP DOI BibTeX RDF
45	Ricky E. Sward, Leemon C. Baird III	Proving Functional Equivalence for Program Slicing in SPARK™.	Ada-Europe	2005	DBLP DOI BibTeX RDF
45	Sergio Sáez, Vicente Lorente Garcés, Silvia Terrasa, Alfons Crespo	Efficient Alternatives for Implementing Fixed-Priority Schedulers.	Ada-Europe	2005	DBLP DOI BibTeX RDF
45	José F. Ruiz	GNAT Pro for On-board Mission-Critical Space Applications.	Ada-Europe	2005	DBLP DOI BibTeX RDF
45	Zdenko Vrandecic, Daniel Simon	XML4Ada95 Accessing XML Using the DOM in Ada95.	Ada-Europe	2004	DBLP DOI BibTeX RDF
45	Alejandro Alonso 0001, Juan Antonio de la Puente, Juan Zamorano	A Test Environment for High Integrity Software Development.	Ada-Europe	2003	DBLP DOI BibTeX RDF
45	Ernestina Martel, Francisco Guerra Santana, Javier Miranda	A Tailorable Distributed Programming Environment.	Ada-Europe	2002	DBLP DOI BibTeX RDF
45	Luís Miguel Pinho, Francisco Vasques	Transparent Environment for Replicated Ravenscar Applications.	Ada-Europe	2002	DBLP DOI BibTeX RDF
45	Marta Patiño-Martínez, Ricardo Jiménez-Peris, Jörg Kienzle, Sergio Arévalo	Concurrency Control in Transactional Drago.	Ada-Europe	2002	DBLP DOI BibTeX RDF	distributed systems, databases, transactions, locking
45	Paul Parkinson, Franco Gasperoni	High-Integrity Systems Development for Integrated Modular Avionics Using VxWorks and GNAT.	Ada-Europe	2002	DBLP DOI BibTeX RDF
45	Alfons Crespo, Patricia Balbastre, Silvia Terrasa	Complex Task Implementation in Ada.	Ada-Europe	2001	DBLP DOI BibTeX RDF
45	Alan Burns 0001	Defining New Non-preemptive Dispatching and Locking Policies for Ada.	Ada-Europe	2001	DBLP DOI BibTeX RDF
45	Zhengqiang Chen, Baowen Xu, Hongji Yang	Slicing Tagged Objects in Ada.	Ada-Europe	2001	DBLP DOI BibTeX RDF
45	Guillem Bernat, Alan Burns 0001	Implementing a Flexible Scheduler in Ada.	Ada-Europe	2001	DBLP DOI BibTeX RDF
45	Jordi Marco, Xavier Franch	Reengineering the Booch Component Library.	Ada-Europe	2000	DBLP DOI BibTeX RDF
45	Juan Antonio de la Puente, José F. Ruiz, Juan Zamorano	An Open Ravenscar Real-Time Kernel for GNAT.	Ada-Europe	2000	DBLP DOI BibTeX RDF
45	Jorge Real, Andy J. Wellings	The Ceiling Protocol in Multi-moded Real-Time Systems.	Ada-Europe	1999	DBLP DOI BibTeX RDF
45	Laurent Pautet, Thomas Quinot, Samuel Tardieu	CORBA & DSA: Divorce or Marriage?	Ada-Europe	1999	DBLP DOI BibTeX RDF
45	Alan Burns 0001, Brian Dobbing, George Romanski	The Ravenscar Tasking Profile for High Integrity Real-Time Programs.	Ada-Europe	1998	DBLP DOI BibTeX RDF
45	Bruce A. Lewis, Steve Vestal, David J. McConnell	Modern Avionics Requirements for the Distributed Systems Annex.	Ada-Europe	1998	DBLP DOI BibTeX RDF
45	Franco Gasperoni	Embedded Opportunities.	Ada-Europe	1998	DBLP DOI BibTeX RDF
45	Wolfgang Gellerich, Erhard Plödereder	: Parameter-Induced Aliasing and Related Problems can be Avoided.	Ada-Europe	1997	DBLP DOI BibTeX RDF
45	Wolfgang Gellerich, Markus Kosiol, Erhard Plödereder	Where Does GOTO Go to?	Ada-Europe	1996	DBLP DOI BibTeX RDF	GOTO, evaluation of programming techniques
45	Göran Wall, Kristina Lundqvist	Shared Packages Through Linda.	Ada-Europe	1996	DBLP DOI BibTeX RDF
45	Karlotto Mangold	Ada95 - An Approach to Overcome the Software Crisis?	Ada-Europe	1995	DBLP DOI BibTeX RDF
45	Tzilla Elrad, Sungyoung Lee, Ufuk Verun	Extending Working Evnrironments for the Development of Reactive/Adaptive Systems with Intelligent Controls.	Ada-Europe	1992	DBLP DOI BibTeX RDF
45	José L. Fernández, Juan Antonio de la Puente	Constructing a Pilot Library of Components for Avionic Systems.	Ada-Europe	1991	DBLP DOI BibTeX RDF
45	J.-M. Lippens, J. Arnol	Testing and Integrating a Large Embedded Real-Time System.	Ada-Europe	1991	DBLP DOI BibTeX RDF
45	J. Anthony Hall	Databases in Software Development: The Ada Programming Support Environment.	Ada Software Tools Interfaces	1983	DBLP DOI BibTeX RDF
45	Yakov Persky, Mordechai Ben-Ari	Re-engineering a concurrency simulator.	ITiCSE	1998	DBLP DOI BibTeX RDF	Ada, virtual machine, Ada 95, compiler design, concurrency simulator
45	Roderick Chapman, Adrian Hilton 0002	Enforcing security and safety models with an information flow analysis tool.	SIGAda	2004	DBLP DOI BibTeX RDF	Bell-LaPadula, Dolev-Yao, SPARK Ada, security, Ada, safety, information flow
45	Duane J. Jarc, Michael B. Feldman	An Empirical Study of Web-Based algorithm Animation Courseware in an Ada Data Structure Course.	SIGAda	1998	DBLP DOI BibTeX RDF	Ada data structure course, Web-based courseware, Ada, empirical study, learning styles, algorithm animation, interactive multimedia
45	Mike Kamrad	Ada experience report for BlazeNet, Inc..	SIGAda	1998	DBLP DOI BibTeX RDF	Layer 7-applications switch, embedded system software, language features of Ada, Ada
45	Luís Miguel Pinho, Francisco Vasques	Multi-µ: An Ada 95 Based Architecture for Fault Tolerance Support of Real-Time Systems.	SIGAda	1998	DBLP DOI BibTeX RDF	software based fault tolerance, real-time systems, Ada, Ada 95, off-the-shelf components
45	Robert C. Leif, Suzanne B. Leif	Ada in Embedded Boards for Scientific and Medical Instruments.	SIGAda	1998	DBLP DOI BibTeX RDF	low-level, embedded system, Ada, OOP, object oriented programming, Ada 95, device, board
45	Shan Barkataki, Stuart Harte, Tong Dinh	Reengineering a Legacy System Using Design Patterns and Ada-95 Object-Oriented Features.	SIGAda	1998	DBLP DOI BibTeX RDF	Ada, design patterns, reuse, reengineering, Ada-95
45	Jim Hopper, Jennifer De Bilbiss, Harry Heaton, Tom Haberlandt	Use of Ada in Digital Radar Landmass Simulation (DRLMS).	SIGAda	1998	DBLP DOI BibTeX RDF	simulation, real time, Ada, Ada 95, object oriented development
44	Liisa Räihä	Delegation: Dynamic Specialization.	TRI-Ada	1994	DBLP DOI BibTeX RDF	Ada
44	Arun P. Gupta, Paul C. Grabow	Onion: A Methodology for Developing Data-Dominant Systems from Building Blocks.	TRI-Ada	1994	DBLP DOI BibTeX RDF	Ada
44	John D. Riley	An Object-Oriented Approach to Software Process Modeling and Definition.	TRI-Ada	1994	DBLP DOI BibTeX RDF	Ada
44	Laurent Pautet, Samuel Tardieu	What future for the distributed systems annex?.	SIGAda	1999	DBLP DOI BibTeX RDF
44	Christian Bremeau	The PCTE Contribution to Ada Programming Support Environments (APSE).	SEE	1989	DBLP DOI BibTeX RDF
44	Ralph D. Page	Holisitc Case Study Approach to Ada Based Software Engineering Training.	CSEE	1989	DBLP DOI BibTeX RDF
44	Thomas A. Standish	The importance of Ada programming support environments.	AFIPS National Computer Conference	1982	DBLP DOI BibTeX RDF
43	Donald Gotterbarn, Timothy D. Hammer	Distributed Compilation Metrics (Abstract).	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF	Ada
43	Benjamin M. Brosgol	From strawman to Ada 2005: a socio-technical retrospective.	SIGAda	2008	DBLP DOI BibTeX RDF	security, software engineering, design, reliability, ada, software, safety, languages, systems, assurance, high integrity
43	John W. McCormick	Ada and software engineering education: one professor's experiences.	SIGAda	2008	DBLP DOI BibTeX RDF	model railroads, model trains, real-time, education, ada, c, embedded, laboratory