|
|
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 | John D. Riley, Sangiv Dungari, William Pritchett |
An Instance of the Application Download Pattern: The SPAIDS Software Loader/Verifier Domain Analysis and Implementation. |
TRI-Ada |
1997 |
DBLP DOI BibTeX RDF |
Java, Ada |
48 | Huiming Yu |
Using Object-Oriented Techniques to Develop Reusable Components. |
TRI-Ada |
1997 |
DBLP DOI BibTeX RDF |
Ada |
48 | Richard L. Conn |
The Source Code Analysis Tool Construction Project. |
TRI-Ada |
1997 |
DBLP DOI BibTeX RDF |
Ada |
48 | Claude Kaiser, Jean-François Pradat-Peyre |
Comparing the Reliability Provided by Tasks or Protected Objects for Implementing a Resource Allocation Service: a Case Study. |
TRI-Ada |
1997 |
DBLP DOI BibTeX RDF |
Ada |
48 | Jean R. S. Blair, Eugene K. Ressler, Thomas D. Wagner |
The Undergraduate Capstone Software Design Experience. |
TRI-Ada |
1997 |
DBLP DOI BibTeX RDF |
Ada |
48 | Donald M. Needham, Steven A. Demurjian, Thomas J. Peters |
An Ada95 Basis for Propagation Modeling. |
TRI-Ada |
1997 |
DBLP DOI BibTeX RDF |
Ada |
48 | Daniel Neri, Laurent Pautet, Samuel Tardieu |
Debugging Distributed Applications with Replay Capabilities. |
TRI-Ada |
1997 |
DBLP DOI BibTeX RDF |
Ada |
48 | Pedro de las Heras Quirós, Jesús M. González-Barahona, José Centeno-González |
Programming Distributed Fault Tolerant Systems: The replicAda Approach. |
TRI-Ada |
1997 |
DBLP DOI BibTeX RDF |
Ada |
48 | Carol Diane Klingler, James Solderitsch |
DAGAR: A Process for Domain Architecture Definition and Asset Implementation. |
TRI-Ada |
1996 |
DBLP DOI BibTeX RDF |
Ada |
48 | Bo Ingvar Sandén |
The State-Machine Pattern. |
TRI-Ada |
1996 |
DBLP DOI BibTeX RDF |
Ada |
48 | Charles A. Meyer, Michael G. Reznick |
Design and Test Strategies for a Safety-Critical Embedded Executive. |
TRI-Ada |
1996 |
DBLP DOI BibTeX RDF |
Ada |
48 | Pascal Ledru, Sajjan G. Shiva |
Interpartition Communication with Shared Active Packages. |
TRI-Ada |
1996 |
DBLP DOI BibTeX RDF |
Ada |
48 | George W. Cherry, Brad S. Crawford |
The Situation in Object-Oriented Specification and Design. |
TRI-Ada |
1996 |
DBLP DOI BibTeX RDF |
Ada |
48 | Karl J. Gramp |
A Comparison of Different Tasking Architectures Used in Mobile Satellite Communication Ground Station Software. |
TRI-Ada |
1996 |
DBLP DOI BibTeX RDF |
Ada |
48 | Ingmar Ögren |
Experiences from Trial Use of MIL-STD-498 in Connection with the O4S (Objects for Systems) Development Method. |
TRI-Ada Tutorials |
1995 |
DBLP DOI BibTeX RDF |
Ada, C++, C |
48 | Ken Shumate |
Software Specification and Design: A Disciplined Approach. |
TRI-Ada Tutorials |
1995 |
DBLP DOI BibTeX RDF |
Ada |
48 | Bo Ingvar Sandén |
Design of Concurrent Software. |
TRI-Ada Tutorials |
1995 |
DBLP DOI BibTeX RDF |
Ada |
48 | Ingmar Ögren |
O4S (Objects for Systems): Tailoring MIL-STD-498 for Efficiency. |
TRI-Ada Tutorials |
1995 |
DBLP DOI BibTeX RDF |
Ada |
48 | Bo Ingvar Sandén |
Resource Sharing Deadlock Prevention. |
TRI-Ada Tutorials |
1995 |
DBLP DOI BibTeX RDF |
Ada |
48 | Ken Shumate |
BATCES Solution #1: An Object-Oriented Design from Functional Requirements Analysis. |
TRI-Ada Tutorials |
1995 |
DBLP DOI BibTeX RDF |
Ada |
48 | Bo Ingvar Sandén |
Modeling Problem-Domain Asynchrony. |
TRI-Ada Tutorials |
1995 |
DBLP DOI BibTeX RDF |
Ada |
48 | Bill Beckwith |
FRESCO - the Next Generation of GUI's. |
TRI-Ada Tutorials |
1995 |
DBLP DOI BibTeX RDF |
Ada |
48 | Bill Beckwith |
CORBA and the Future of Application Development. |
TRI-Ada Tutorials |
1995 |
DBLP DOI BibTeX RDF |
Ada |
48 | George W. Cherry |
Software Engineering with Ada in a New Key: Formalizing and Visualizing the Object Paradigm. |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
Ada |
48 | Susan Luks, Suzanne Pawlan Levy |
Educating Educators: Lessons in Adding Ada to a Small School Curriculum. |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
Ada |
48 | Edmond Schonberg, Bernard Banner |
The GNAT Project: A GNU-Ada 9X Compiler. |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
Ada |
48 | Cheryl Barbasch, Dan Egnor |
Always One More Bug: Applying AdaWise to Improve Ada Code. |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
Ada |
48 | Kurt D. Welker, Michael W. Snyder |
Software Reengineering in Ada: A Practical Approach. |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
Ada |
48 | Cyrille Comar, Brett Porter |
Ada 9X Tagged Types and Their Implementation in GNAT. |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
Ada |
48 | Philippe Kruchten, Christopher J. Thompson |
An Object-Oriented, Distributed Architecture for Large-Scale Ada Systems. |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
Ada |
48 | Richard G. Sartore |
Large Database Ada Program for Real Time Laboratory Instrument Control and Data Acquisition. |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
Ada |
48 | Karim El Guemhioui, Steven A. Demurjian, Thomas J. Peters |
Object-Oriented Design and Automatic Ada Code Generation in the Education of Software Engineers. |
TRI-Ada |
1993 |
DBLP DOI BibTeX RDF |
Ada |
48 | Jeffrey V. Nickerson |
Visual Conventions for System Design Using Ada 9X: Representing Asynchronous Transfer of Control. |
TRI-Ada |
1993 |
DBLP DOI BibTeX RDF |
Ada |
48 | Randall Brukardt |
Panel on Early Experiences with Ada 9x Program Organization. |
TRI-Ada |
1993 |
DBLP DOI BibTeX RDF |
Ada, SQL |
48 | Mickey White |
A Universal Delogger Using the Ada Semantic Interface Specification (ASIS). |
TRI-Ada |
1993 |
DBLP DOI BibTeX RDF |
Ada |
48 | Arthur Vargas Lopes, Michael B. Feldman, Rachelle S. Heller |
A Controlled Experiment with Software for Teaching Ada Tasking. |
TRI-Ada |
1993 |
DBLP DOI BibTeX RDF |
Ada |
48 | Christopher Byrnes |
Porting Applications Between Two Commercial Ada/Motif Bindings. |
TRI-Ada |
1993 |
DBLP DOI BibTeX RDF |
OSF/Motif, Ada |
48 | Fred Grossman, Robert J. Klerer, Charles B. Engle Jr. |
Automating the Ada Programming Rrocess: A Domain-Specific Approach. |
TRI-Ada |
1993 |
DBLP DOI BibTeX RDF |
Ada |
48 | Warren D. Ferguson, John K. Whiteman |
Platform Independent Translations for a Compilable Ada Abstract Syntax. |
TRI-Ada |
1993 |
DBLP DOI BibTeX RDF |
Ada |
48 | Michael I. Frankel |
Ada 9X and CASE: A Methods Perspective. |
TRI-Ada |
1993 |
DBLP DOI BibTeX RDF |
Ada |
48 | A. R. Filarey, Walker E. Royce, R. Rao, Peter Schmutz, L. Doan-Minh |
Software First: Applying Ada Megaprogramming Technology to Target Platform Selection Trades. |
TRI-Ada |
1993 |
DBLP DOI BibTeX RDF |
Ada, STARS |
48 | Robert C. Leif, Jason Sara, Ian Burgess, Michael Kelly, Suzanne B. Leif, Theresa Daly |
The Development of Software in the Ada Language for a Mid-Range Hematology Analyzer. |
TRI-Ada |
1993 |
DBLP DOI BibTeX RDF |
Ada |
48 | Mike Downs, Judy Duffy, Karen Mackey, Luke Teyssier, Chris Tonas |
Using X with the ADA Mind-Set. |
TRI-Ada |
1993 |
DBLP DOI BibTeX RDF |
Ada, C, X-Window |
48 | Gary J. Cernosek |
ROMAN-9X: A Technique for Representing Object Models in Ada 9X Notation. |
TRI-Ada |
1993 |
DBLP DOI BibTeX RDF |
Ada |
48 | Jonathan A. Turner, Thomas L. Hill |
Ada Abstraction, Generation, Verification. |
TRI-Ada |
1993 |
DBLP DOI BibTeX RDF |
Ada |
48 | Peter T. Brennan |
Observations on Program-Wide Ada Exception Propagation. |
TRI-Ada |
1993 |
DBLP DOI BibTeX RDF |
Ada |
48 | Patrick Rogers, Steve O'Neill, Marc Pitarys, Kenneth Littlejohn |
Demonstrable Fault Tolerance for Distributed Ada. |
TRI-Ada |
1993 |
DBLP DOI BibTeX RDF |
Ada |
48 | Luba Vladavsky |
T2: ASIS: Tools with a View of Exposing Ada (Panel). |
TRI-Ada |
1993 |
DBLP DOI BibTeX RDF |
Ada |
48 | Michael Tonndorf |
An Integrated Tool Environment for Ada Compiler Validations. |
TRI-Ada |
1993 |
DBLP DOI BibTeX RDF |
Ada |
48 | Karl S. Mathias, Mark A. Roth |
Ada/X Window System Bindings: Conversion Strategies. |
TRI-Ada |
1993 |
DBLP DOI BibTeX RDF |
Ada, X-Window, STARS |
48 | Bevin R. Brett |
Smart Recompilation: What Is It?, Its Benefits for the User, and Its Implementation in the DEC Ada Compilation System. |
TRI-Ada |
1993 |
DBLP DOI BibTeX RDF |
Ada |
48 | William B. Frakes |
A Dialogue on Software Engineering and Ada (Panel). |
TRI-Ada |
1993 |
DBLP DOI BibTeX RDF |
Ada |
48 | E. W. Giering, Frank Mueller 0001, Theodore P. Baker |
Implementing Ada 9X Features Using POSIX Threads: Design Issues. |
TRI-Ada |
1993 |
DBLP DOI BibTeX RDF |
Ada, POSIX |
48 | E. W. Giering, Theodore P. Baker |
Using POSIX Threads to Implement Ada Tasking: Description of Work in Progress. |
TRI-Ada |
1992 |
DBLP DOI BibTeX RDF |
Ada, POSIX |
48 | Gary W. Klabunde, Mark A. Roth |
Developing Object-Oriented User Interfaces in Ada with the X Window System. |
TRI-Ada |
1992 |
DBLP DOI BibTeX RDF |
Ada, X-Window |
48 | Anneliese von Mayrhauser, Shao-Ming Simon Hsueh |
An Ada Deadlock Testing Algorithm Based on Control and Communication Flow Graphs. |
TRI-Ada |
1992 |
DBLP DOI BibTeX RDF |
Ada |
48 | Matthew J. Lodge |
Benchmarking Ada: A Rationale. |
TRI-Ada |
1992 |
DBLP DOI BibTeX RDF |
Ada |
48 | Alvaro Hermida |
HEmut-PoliCaza: Introducing Ada in the University Through PC Anti-Virus Software Development. |
TRI-Ada |
1992 |
DBLP DOI BibTeX RDF |
Ada |
48 | Michael B. Feldman, Richard E. Pattis |
Teaching and Using Ada in CS1/CS2. |
TRI-Ada Tutorials (1) |
1992 |
DBLP DOI BibTeX RDF |
Ada |
48 | William M. Hodges |
Ada Program Support Environments: A Good Idea Overcome by Changes. |
TRI-Ada |
1992 |
DBLP DOI BibTeX RDF |
Ada, POSIX |
48 | R. Stuart Cramer, Jonathan D. Dehn |
The Use of Ada to Achieve Fault Tolerance in AAS. |
TRI-Ada |
1992 |
DBLP DOI BibTeX RDF |
Ada |
48 | Karen L. Sielski |
Implementing Ada Tasking in a Multiprocessing, Multithreaded UNIX Environment. |
TRI-Ada |
1992 |
DBLP DOI BibTeX RDF |
Ada, UNIX |
48 | Del Gordon |
A Graphical User Interface in Ada for Domain-Specific Reuse Libraries. |
TRI-Ada |
1992 |
DBLP DOI BibTeX RDF |
Ada |
48 | Edmond Schonberg |
Teaching Ada 9X. |
TRI-Ada |
1992 |
DBLP DOI BibTeX RDF |
Ada |
48 | Patrick Rogers |
Embedded/Real-Time Programming in Ada. |
TRI-Ada Tutorials (1) |
1992 |
DBLP DOI BibTeX RDF |
Ada |
48 | John B. Goodenough 0002 |
Ada 9X and Real-Time Systems. |
TRI-Ada |
1992 |
DBLP DOI BibTeX RDF |
Ada |
48 | James Hummer, Loïc Briand |
When Hardware Becomes Software: Designing a Safety-Critical System with Ada. |
TRI-Ada |
1992 |
DBLP DOI BibTeX RDF |
Ada |
48 | Joyce L. Tokar |
Ada 9X Implementation. |
TRI-Ada |
1992 |
DBLP DOI BibTeX RDF |
Ada |
48 | Gary Dismukes, Mike A. Rome |
Implementing Tagged Types and Type Extensions for Ada 9X. |
TRI-Ada |
1992 |
DBLP DOI BibTeX RDF |
Ada |
48 | L. S. Tang |
A Comparison of Ada and C++. |
TRI-Ada |
1992 |
DBLP DOI BibTeX RDF |
Ada, C++ |
48 | Yvon Kermarrec, Laurent Pautet |
Ada Communication Components for Distributed and Real Time Applications. |
TRI-Ada |
1992 |
DBLP DOI BibTeX RDF |
Ada, UNIX |
48 | Rolland H. Berry, Robert M. Schoenborn |
Estimating Requirements for a Large Software Engineering Project: Experiences with Ada COCOMO on SIDPERS-3. |
TRI-Ada |
1992 |
DBLP DOI BibTeX RDF |
Ada |
48 | Paul Reed |
Experiences in Implementing Ada 9X Protected Records and Requeue. |
TRI-Ada |
1992 |
DBLP DOI BibTeX RDF |
Ada |
48 | Patrick Rogers, Marc Pitarys |
Implementing Distributed Ada. |
TRI-Ada |
1992 |
DBLP DOI BibTeX RDF |
Ada, RISC, CISC |
48 | Judy Kerner |
Where is Ada Headed? The Facts Behind the Myths (Panel). |
TRI-Ada |
1992 |
DBLP DOI BibTeX RDF |
Ada, C++ |
48 | S. Tucker Taft |
Ada 9X and OOP. |
TRI-Ada |
1992 |
DBLP DOI BibTeX RDF |
Ada |
48 | Jeffrey T. Stevenson, David E. Emery, Jeffrey P. Hustad, B. J. Jacobsen, M. E. Shelor, M. C. Swan |
The Army Sustaining Base APP: An Example of Standards Engineering for Ada. |
TRI-Ada |
1992 |
DBLP DOI BibTeX RDF |
Ada, X-Window |
48 | James W. Moore |
Minimizing the Disadvantages of Embedded SQL/Ada. |
TRI-Ada |
1992 |
DBLP DOI BibTeX RDF |
Ada, SQL |
48 | Dean Gonzalez, David A. Cook |
Introduction to Ada for Programmers. |
TRI-Ada Tutorials (1) |
1992 |
DBLP DOI BibTeX RDF |
Ada |
48 | Duane J. Jarc |
Ada, Pascal's Replacement for Introductory Courses in Computer Science. |
TRI-Ada |
1992 |
DBLP DOI BibTeX RDF |
Ada, Pascal |
48 | Steven J. Blake, James B. Bladen |
Experiences with The Ada Semantic Interface Specification (ASIS): Developing a Tool with a View. |
TRI-Ada |
1992 |
DBLP DOI BibTeX RDF |
Ada |
48 | Mark S. Gerhardt |
How "Outsiders" see Ada and its Future. |
TRI-Ada |
1992 |
DBLP DOI BibTeX RDF |
Ada |
48 | Patricia K. Lawlis, Terence W. Elam |
Ada Outperforms Assembly: A Case Study. |
TRI-Ada |
1992 |
DBLP DOI BibTeX RDF |
Ada |
48 | John McHugh |
Ada 9X and Safety Critical/Secure Systems. |
TRI-Ada |
1992 |
DBLP DOI BibTeX RDF |
Ada |
48 | Paul A. Bailes, Dan B. Johnston, Eric J. Salzman, Li Wang 0003 |
Full Functional Programming in a Declarative Ada Dialect. |
TRI-Ada |
1992 |
DBLP DOI BibTeX RDF |
Ada |
48 | George W. Cherry |
Stimulus Response Machines: An Ada-based Graphic Formalism for Describing Class and Object Behavior. |
TRI-Ada |
1992 |
DBLP DOI BibTeX RDF |
Ada |
48 | Ted Selig, Denise Brunelle Priess, Brian D. Mack |
Data Analysis and Reporting for Real-Time Ada Systems. |
TRI-Ada |
1992 |
DBLP DOI BibTeX RDF |
Ada |
48 | S. Tucker Taft |
Ada 9X and Systems Programming. |
TRI-Ada |
1992 |
DBLP DOI BibTeX RDF |
Ada |
48 | Harold Youtzy Jr. |
Ada: Still Our First Choice. |
TRI-Ada |
1992 |
DBLP DOI BibTeX RDF |
Ada |
48 | Douglas R. Goodman, Richard A. McBride |
Ada as an Introductory Language. |
TRI-Ada |
1992 |
DBLP DOI BibTeX RDF |
Ada |
48 | Riadh Lebib |
MIS and Ada Productivity. |
TRI-Ada |
1992 |
DBLP DOI BibTeX RDF |
Ada, COBOL |
48 | Deborah J. Blair |
Managing Ada Using Rational's Configuration Management/Version Control and IBM's Software Configuration Library Manager. |
TRI-Ada |
1992 |
DBLP DOI BibTeX RDF |
MVS/XA, Ada |
48 | David E. Emery, Steven Deller, James W. Moore |
POSIX and Ada. |
TRI-Ada Tutorials (2) |
1992 |
DBLP DOI BibTeX RDF |
Ada, POSIX |
48 | Ramón D. Acosta |
Specification Prototyping of Concurrent Ada Programs in DProto. |
TRI-Ada |
1992 |
DBLP DOI BibTeX RDF |
Ada |
48 | Anthony B. Gargaro |
Towards Distributed Systems in Ada 9X. |
TRI-Ada |
1992 |
DBLP DOI BibTeX RDF |
Ada |
48 | Stephen J. Goldsack, A. A. Holzbacher-Valero, Richard A. Volz, Raymond Waldrop |
AdaPT and Ada 9X. |
TRI-Ada |
1992 |
DBLP DOI BibTeX RDF |
Ada |
48 | Richard P. Simonian |
Software Development in Core: The Application of Ada and Spiral Development. |
TRI-Ada |
1992 |
DBLP DOI BibTeX RDF |
Ada |
48 | Bernard Banner, Edmond Schonberg |
Assessing Ada 9X OOP: Building a Reusable Components Library. |
TRI-Ada |
1992 |
DBLP DOI BibTeX RDF |
Ada, C++ |
48 | Christine M. Anderson |
Ada 9X for Managers. |
TRI-Ada |
1992 |
DBLP DOI BibTeX RDF |
Ada |
48 | Evan D. Lock, Noah S. Prywes |
Requirements on Ada Reengineering Technology from Past, Present and Future Systems. |
TRI-Ada |
1992 |
DBLP DOI BibTeX RDF |
Ada |
|
|