|
|
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 |
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 |
|
|