Search results for "ada"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
48	Benjamin M. Brosgol	Ada 9X and Information Systems.	TRI-Ada	1992	DBLP DOI BibTeX RDF	Ada
48	Nelson H. Weiderman	Ada 9X Validation.	TRI-Ada	1992	DBLP DOI BibTeX RDF	Ada
48	Stefano Crespi-Reghizzi, Marco De Michele, Stefano Perotta	Behavioral Inheritance: Concepts, Ada Implementation and Experience.	TRI-Ada	1992	DBLP DOI BibTeX RDF	Ada
48	Ken Shumate	Software Specification and Design with Ada: A Disciplined Approach.	TRI-Ada Tutorials (2)	1992	DBLP DOI BibTeX RDF	Ada
48	Barry S. Fagin	Ada/Mindstorms 2.0 user's guide and reference manual.	ACM J. Educ. Resour. Comput.	2002	DBLP DOI BibTeX RDF	Ada/Mindstorms 2.0, Lego RCX, USAFA AdaGIDE Windows Ada compiler
48	John W. McCormick	MA1: real-time and parallel processing in ada.	SIGAda	2007	DBLP DOI BibTeX RDF
48	Alain Plantec, Frank Singhoff	Refactoring of an Ada 95 library with a Meta CASE tool.	SIGAda	2006	DBLP DOI BibTeX RDF	PlatypusCheddar, code generating, meta-modeling, EXPRESS, STEP, Meta CASE
48	Arthur Vargas Lopes	Ada+SQL-an overview.	SIGAda	1999	DBLP DOI BibTeX RDF	compilers, relational databases, programming, interpreters, environments, computer education
47	Ruth E. Davis, Ronald L. Danielson	LSL + Ada → reusable data structures.	WADAS	1993	DBLP DOI BibTeX RDF
47	Dennis Turner	Use of Ada in CECOM supported systems.	WADAS	1993	DBLP DOI BibTeX RDF
47	Greg Aharonian	The Ada mandate as a threat to national security.	WADAS	1993	DBLP DOI BibTeX RDF
47	Mark S. Gerhardt	Where is the Ada community heading?	WADAS	1993	DBLP DOI BibTeX RDF
47	Thomas E. Shields	Ada semantic interface specification (ASIS) working group session.	WADAS	1993	DBLP DOI BibTeX RDF
47	Brian Winner	Investigation of implicitly raised Ada predefined exceptions.	WADAS	1993	DBLP DOI BibTeX RDF
47	Charles McKay	Ada is a planet in the software solar system.	WADAS	1993	DBLP DOI BibTeX RDF
47	Chuck Hobin	Automatically enforcing quality in Ada software.	WADAS	1993	DBLP DOI BibTeX RDF
47	Michael Frankel	Enabling reuse with Ada generics.	WADAS	1993	DBLP DOI BibTeX RDF
47	Ralph Crafts	Whither goest Ada? A "gold medal" performer perserves.	WADAS	1993	DBLP DOI BibTeX RDF
47	F. Gregory Farnham	BSY-2 Ada lessons learned.	WADAS	1993	DBLP DOI BibTeX RDF
47	Yen-Yi Wu	Experiences in using Ada to implement an OO software design.	WADAS	1993	DBLP DOI BibTeX RDF
47	Christine Anderson	Transitioning to Ada 9X (panel).	WADAS	1993	DBLP DOI BibTeX RDF
47	K. N. King	Modula-3: a threat to Ada?	WADAS	1993	DBLP DOI BibTeX RDF
47	Alex Blakemore	Using ASIS to develop the Ada quality toolset.	WADAS	1993	DBLP DOI BibTeX RDF
47	Jonathan Preston, Steve Hufnagel	Object oriented analysis transformation in Ada for real-time systems with resource constraints.	WADAS	1993	DBLP DOI BibTeX RDF
47	Mark Dowson	Automatically enforcing quality in Ada software.	WADAS	1993	DBLP DOI BibTeX RDF
47	Jonathan L. Schilling	Use of Ada in a commericial, small company environment.	WADAS	1993	DBLP DOI BibTeX RDF
47	Daniel Ehrenfried	Automating quality standards in the development of Ada software.	WADAS	1993	DBLP DOI BibTeX RDF
47	Joyce L. Tokar	Transitioning to Ada 9X: Tartan's position.	WADAS	1993	DBLP DOI BibTeX RDF
47	Anthony B. Gargaro	Towards distributed programming paradigms in Ada 9X.	WADAS	1993	DBLP DOI BibTeX RDF
47	David Cordes, Allen Parrish	Incorporating re-use into a software engineering course with Ada.	WADAS	1993	DBLP DOI BibTeX RDF
47	Jerome Wong	Automatically enforcing quality in Ada software.	WADAS	1993	DBLP DOI BibTeX RDF
47	Douglas Smith	Automatically enforcing quality in Ada software (panel).	WADAS	1993	DBLP DOI BibTeX RDF
47	A. Jouchoux, J. Cowley, R. Davis, E. Hansen, M. Klemp, S. Lasater, D. Mullens, T. Sparn, Graham Tate	Developing a spacecraft monitor and control system in Ada.	WADAS	1987	DBLP BibTeX RDF
47	John E. Newton, Frank D. Kirschner	Ada's role in Air Force Software architecture for the 1990s.	WADAS	1987	DBLP BibTeX RDF
47	Judy Bamberger	Using Ada for design: what is gained ... what is lost.	WADAS	1987	DBLP BibTeX RDF
47	Liqun Wu, Victor R. Basili, Karl Reed	A structure coverage tool for Ada software systems.	WADAS	1987	DBLP BibTeX RDF
47	Matt Narotam, Mike Caffey	Object-directed development of software using Ada.	WADAS	1987	DBLP BibTeX RDF
47	Will Tracz	Ada reusability efforts: a survey of the state of the practice.	WADAS	1987	DBLP BibTeX RDF
47	John C. Knight, Marc E. Rouleau	Analysis of Ada for a crucial distributed application.	WADAS	1987	DBLP BibTeX RDF
47	Stowe Boyd, Rudolph A. Krutar, George Romanski, S. Tucker Taft, Tom Wilcox	DIANA (panel session): an intermediate representation language for Ada.	WADAS	1987	DBLP BibTeX RDF
47	Prasad Vishnubhotla	Parallelizing Ada procedures.	WADAS	1987	DBLP BibTeX RDF
47	Willie L. Waters	A basic expert system tool in Ada.	WADAS	1987	DBLP BibTeX RDF
47	Steven Holtsberg	Formal semantics of the data types of Ada: abridged version.	WADAS	1987	DBLP BibTeX RDF
47	Paul L. Baker	Partial automation of code generation with Ada prespecifications.	WADAS	1987	DBLP BibTeX RDF
47	David A. Smith	Mechanisms for abstraction in Ada.	WADAS	1987	DBLP BibTeX RDF
47	Jorge L. Díaz-Herrera, C. González, P. Wang	Development of an operational flight control program in Ada.	WADAS	1987	DBLP BibTeX RDF
47	Robert A. Conti	Critical run-time design tradeoff sin an Ada implementation (panel session).	WADAS	1987	DBLP BibTeX RDF
47	Larry Latour	The role of explicit type management schemes in the implementation of abstract data types in Ada.	WADAS	1987	DBLP BibTeX RDF
47	Paul Slonaker, Mark S. Smith, Sharon Prizant, Judith M. Giles	Development of multi-tasking software in Ada - a case study.	WADAS	1987	DBLP BibTeX RDF
47	Kuo-Chung Tai, Richard H. Carver, Evelyn E. Obaid	A methodology for testing concurrent Ada programs.	WADAS	1987	DBLP BibTeX RDF
47	Ronald J. Leach	Ada software metrics and their limitations.	WADAS	1987	DBLP BibTeX RDF
47	David Auty, Norman Cohen	Establishing an Ada runtime benchmarking capability.	WADAS	1987	DBLP BibTeX RDF
47	Jeffrey Becker, Robert T. Goettge	Ada performance issues for real-time systems.	WADAS	1987	DBLP BibTeX RDF
47	Thomas J. Wheeler	Object data bases and Ada.	WADAS	1987	DBLP BibTeX RDF
47	D. Behnke	Selection and use of and Ada-based program design language.	WADAS	1987	DBLP BibTeX RDF
47	James E. Walker, S. Denise Skyles, Pamela Gilliam	A practical experience with Ada* portability.	WADAS	1987	DBLP BibTeX RDF
47	Sue LeGrand, John McBride	Why Ada is appropriate for the space station program.	WADAS	1987	DBLP BibTeX RDF
47	Carl F. Schaefer 0001	Translation of VHDL to Ada.	WADAS	1987	DBLP BibTeX RDF
47	Thomas B. Hilburn	Ada and the study of mathematics.	WADAS	1987	DBLP BibTeX RDF
47	George C. Harrison	An automated method of referencing Ada reusable code using lil.	WADAS	1987	DBLP BibTeX RDF
47	Mary E. Biddle	Methodology in selecting tools for a real-time embedded Ada program.	WADAS	1987	DBLP BibTeX RDF
47	Bard S. Crawford	Building an elevator simulation in Ada using a process oriented methodology and support tool.	WADAS	1987	DBLP BibTeX RDF
47	Haywood S. Osborne	The generation of Ada and an associated PDL from a higher-level representation.	WADAS	1987	DBLP BibTeX RDF
47	John E. Thibeault, D. Brian DeGonia	An Ada symbolic debugger for multiprocessor embedded computer systems.	WADAS	1987	DBLP BibTeX RDF
47	James R. Spiegel	Interactive discrete event simulation in Ada.	WADAS	1987	DBLP BibTeX RDF
47	Elizabeth E. Katz, Victor R. Basili	Examining the modularity of Ada programs.	WADAS	1987	DBLP BibTeX RDF
47	Jagdish C. Agrawal, Shan Manickam	Comprehensive approach to teaching Ada.	WADAS	1987	DBLP BibTeX RDF
47	Richard Conn	The Ada software repository and software reusability.	WADAS	1987	DBLP BibTeX RDF
47	John L. Rymer	Ada education on the project.	WADAS	1987	DBLP BibTeX RDF
47	F. Blumberg III, M. McNickle, A. Reedy, D. Stephenson	A compiler independent approach to test and configuration management for Ada.	WADAS	1987	DBLP BibTeX RDF
47	Freeman L. Moore	Ada training for programming embedded systems.	WADAS	1987	DBLP BibTeX RDF
47	Thomas L. Chen, Lujoye F. Barnes	Ada processing requirements of parallel processing idioms.	WADAS	1987	DBLP BibTeX RDF
47	Christian Bonnet, Jean-François Caillet, Barbara Raither	Debugging concurrent software using a general Ada task state transition model.	WADAS	1987	DBLP BibTeX RDF
47	James V. Chelini	The impact of the Ada language resource allocation, programmer productivity, and project performance.	WADAS	1987	DBLP BibTeX RDF
47	Mike Stark, Ed Seidewitz	Towards a general object-oriented Ada lifecycle.	WADAS	1987	DBLP BibTeX RDF
47	G. Scott Owen, Ross A. Gagliano, Pentti A. Honkanen	Functional specifications of reusable MIS software in Ada.	WADAS	1987	DBLP BibTeX RDF
47	John A. Perkins, R. S. Gorzela	Experience using an automated metrics framework to improve the quality of Ada software.	WADAS	1987	DBLP BibTeX RDF
47	David A. Feinberg	Non-technical aspects of using Ada.	WADAS	1987	DBLP BibTeX RDF
47	Victor R. Basili, H. Dieter Rombach	TAME: tailoring an Ada Measurement Environment.	WADAS	1987	DBLP BibTeX RDF
47	Tim Porter, Craig King	Productivity implications of Ada generics and code generation in military formatted message processing.	WADAS	1987	DBLP BibTeX RDF
47	Dave Stevenson	Architectural support for Ada in the rational environment (panel session).	WADAS	1987	DBLP BibTeX RDF
47	Karen E. Sivley	Experience and lessons learned in transporting Ada software.	WADAS	1987	DBLP BibTeX RDF
47	David Rudd	What is good software and how does Ada support its development?	WADAS	1987	DBLP BibTeX RDF
47	Carolyn E. Brophy, William W. Agresti, Victor R. Basili	Lessons learned in use of Ada-oriented design methods.	WADAS	1987	DBLP BibTeX RDF
47	Robert E. Marmelstein	The Interactive Ada Workstation: a prototype for next generation software environments.	WADAS	1987	DBLP BibTeX RDF
47	David Auty, Norman Cohen	The testability of Ada programs.	WADAS	1987	DBLP BibTeX RDF
47	Shantilal N. Shah	Solution of elliptic partial differential equations using parallel processing and tasks in Ada language.	WADAS	1987	DBLP BibTeX RDF
47	David W. Embley, Scott N. Woodfield	A knowledge structure for reusing abstract data types in Ada software production.	WADAS	1987	DBLP BibTeX RDF
47	Mark Marcus, Kirk Sattley, C. Mugur Stefanescu	Configuration control in an Ada programming support environment.	WADAS	1987	DBLP BibTeX RDF
47	Donald Bisant, Sandel Blackwell	Ada as a simulation language.	WADAS	1986	DBLP DOI BibTeX RDF
47	Robert W. Nelson	NASA ADA experiment - attitude dynamic simulator.	WADAS	1986	DBLP DOI BibTeX RDF
47	David Bunting, Leonard J. Bass	Issues in implementing a real time embedded Data Base Management System in Ada.	WADAS	1986	DBLP DOI BibTeX RDF
47	Bethana C. Ross, David A. Cook	Ada for the COBOL programmer.	WADAS	1986	DBLP DOI BibTeX RDF
47	David Butler	A fault-tolerant system incorporating an Ada executive and 1750A processors.	WADAS	1986	DBLP DOI BibTeX RDF
47	Don O'Neill	Software engineering and Ada in design.	WADAS	1986	DBLP DOI BibTeX RDF
47	Richard C. Felsinger	A computer aided instruction (CAI) course for learning Ada.	WADAS	1986	DBLP DOI BibTeX RDF
47	Alan P. McDonley	Ada symbolic processing for information fusion.	WADAS	1986	DBLP DOI BibTeX RDF
47	Tzilla Elrad, Fred Maymir-Ducharme	Introducing the preference control primitive experience with controlling nondeterminism in Ada.	WADAS	1986	DBLP DOI BibTeX RDF
47	Keijiro Araki, Kazuo Ushijima	The use of Ada in the development of distributed systems: experience implementing a communications system.	WADAS	1986	DBLP DOI BibTeX RDF
47	Jorge L. Díaz-Herrera, Shawna C. Gregory	A graphical programming environment in Ada.	WADAS	1986	DBLP DOI BibTeX RDF