|
|
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 |
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 |
|
Displaying result #201 - #300 of 4847 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|