|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2580 occurrences of 979 keywords
|
|
|
Results
Found 5018 publication records. Showing 4847 according to the selection in the facets
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 |
|
|
|