Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Paul A. Bailes, Dan Johnson, Eric J. Salzman, Li Wang 0003 |
DAda - an Ada preprocessor for functional programming. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Philip E. Railsback, Louis C. Rose, Ann E. Corrigan |
Effects of Ada on design problems in a discrete event simulator. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Eli Solomon |
The Ada tasking model is adequate for real-time embedded applications (panel). |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Joachim Roos |
The performance of a prototype coprocessor for Ada tasking. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Jack H. Schwartz |
Object oriented extensions to Ada: a dissenting opinion. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Kenneth L. James, Gregory J. Saul, David L. Shroads, William F. Zickefoose |
Weirton Steel - Ada in process control. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Collard, Andre Goforth, Matthew Marquardt |
Ada as a parallel language for high performance computers: experience and results. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Valérie Lecompte |
Practical use of Ada in a heterogeneous multi-processor computer. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Nelson H. Weiderman, Patrick Donohoe, Ruth Shapiro |
Benchmarking for deadline-driven computing. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Charles B. Engle Jr. |
The marriage of Ada and Joe College. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Steve Vestal |
On the accuracy of predicting rate monotonic scheduling performance. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
1 | F. Dennis Kenyon, Terry J. Westley |
Design of a communication system for a real-time C2 simulator. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Virginia L. Castor |
Ada policy. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Kenneth Fussichen |
Why COBOL programmers refuse Ada. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Roy |
Ada optimizations - why the user should care (panel). |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
1 | David Guaspari |
Penelope, an Ada verification system. |
TRI-Ada |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Mark J. Whitcomb, Boyd N. Clark |
Pragmatic definition of an object-oriented development process for Ada. |
TRI-Ada |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Michael Springman |
Software design documentation approach for a DOD-STD 2167A Ada project. |
TRI-Ada |
1989 |
DBLP DOI BibTeX RDF |
|
1 | James A. Perkins |
Programming practices: analysis of Ada source developed for the air force, army, and navy. |
TRI-Ada |
1989 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
|
1 | 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 |
|
1 | Charles R. Grauling |
Requirements analysis for large Ada programs: lessons learned on CCPDS-R. |
TRI-Ada |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Richard H. Carver, Kuo-Chung Tai |
Deterministic execution testing of concurrent Ada programs. |
TRI-Ada |
1989 |
DBLP DOI BibTeX RDF |
|
1 | David G. Strube, Michael J. Wagner |
A quantitative evaluation of interrupt handling capabilities in Ada. |
TRI-Ada |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Brad S. Crawford, Daniel R. Baker |
Design issues and team support: experiences of an Ada tool vendor. |
TRI-Ada |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Kevin L. McQuown |
Object oriented design in a real-time multiprocessor environment. |
TRI-Ada |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Judah Mogilensky, Dennis Stipe |
Applying reusability to software process definition. |
TRI-Ada |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Erhard Plödereder |
Panel: software reuse - is it working? |
TRI-Ada |
1989 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
|
1 | Charles Plinta, Kenneth J. Lee |
A model solution for the C3I Domain. |
TRI-Ada |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Harold M. Rabbie, David Nelson-Gal |
An operating system for real-time Ada. |
TRI-Ada |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Thomas E. Griest, Mary E. Bender |
Limitations on the portability of real time Ada programs. |
TRI-Ada |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Neil Salant |
Comparison of assembly language and Ada for a real-time embedded ECM system. |
TRI-Ada |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Beverly J. Kitaoka |
Establishing Ada repositories for reuse. |
TRI-Ada |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Rakesh Jha, Greg Eisenhauer |
Distributed Ada-approach and implementation. |
TRI-Ada |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Paul C. Attie, Glenn Bruns, Michael Evangelist, Charles Richter, Vincent Y. Shen |
Vanna: a visual environment for the design of distributed systems. |
TRI-Ada |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Marco Baldassari, Giorgio Bruno |
An environment for operational software engineering in Ada. |
TRI-Ada |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Stuart Lewin |
Ada implementation of an X Window System server. |
TRI-Ada |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Richard D'Ippolito |
Using models in software engineering. |
TRI-Ada |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Cholerton |
Ada for closely coupled multiprocessor targets. |
TRI-Ada |
1989 |
DBLP DOI BibTeX RDF |
|
1 | S. Daniel Lee, Bradley P. Allen |
Deploying expert systems in Ada. |
TRI-Ada |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Donald J. Reifer |
Workstation/APSE productivity study results. |
TRI-Ada |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Michael E. Stark, Eric W. Booth |
Using Ada to maximize verbatim software reuse. |
TRI-Ada |
1989 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
|
1 | 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 |
|
1 | Timothy G. Mattson, Linda J. Shanbeck |
Design and implementation of an Ada mathematics library. |
TRI-Ada |
1989 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
|
1 | Michael Springman |
Incremental software test approach for DOD-STD-2167A Ada projects. |
TRI-Ada |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Doug Bryan |
An algebraic specification of the partial orders generated by concurrent Ada computations. |
TRI-Ada |
1989 |
DBLP DOI BibTeX RDF |
|
1 | David M. Ford, Peter van der Linden |
A network-based development environment for Ada. |
TRI-Ada |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Judy Bamberger |
What makes a good software engineer? |
TRI-Ada |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Michael Linnig, Donna Forinash |
Ada tasking and parallel processors. |
TRI-Ada |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Robert Holibaugh, Sholom Cohen, Kyo Chul Kang, A. Spencer Peterson |
Reuse: where to begin and why. |
TRI-Ada |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Tom Archer |
Ada in the Post Deployment Software Support Environment. |
TRI-Ada |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Ralph D. Page |
Holistic case study approach to Ada based software engineering training. |
TRI-Ada |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Robert E. Davis |
The selection of an Ada compiler for a real-time embedded avionics application. |
TRI-Ada |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Mike Goyden |
The software lifecycle with Ada: A command and control application. |
TRI-Ada |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Dudrey Smith, Nelson H. Weiderman |
Compiler technology evaluation. |
TRI-Ada |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Donald G. Krantz |
The Howitzer improvement program: lessons learned. |
TRI-Ada |
1989 |
DBLP DOI BibTeX RDF |
|
1 | William B. Frakes, Paul B. Gandel |
Representation methods for software reuse. |
TRI-Ada |
1989 |
DBLP DOI BibTeX RDF |
|
1 | George Snyder, David Dunkle, Kirk Beitz |
Retargeting an Ada source level debugger to CICS. |
TRI-Ada |
1989 |
DBLP DOI BibTeX RDF |
|
1 | John R. Ellis |
A periodic Ada control kernel (PACK). |
TRI-Ada |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Edward Colbert |
The object-oriented software development method: a practical approach to object-oriented development. |
TRI-Ada |
1989 |
DBLP DOI BibTeX RDF |
|
1 | John T. Foreman, Charles B. Engle Jr. (eds.) |
Proceedings of the Conference on Tri-Ada 1989 - Ada Technology in Context: Application, Development, and Deployment, TRI-Ada 1989, Pittsburgh, Pennsylvania, USA, 1989 |
TRI-Ada |
1989 |
DBLP DOI BibTeX RDF |
|
1 | E. J. Dowling |
Testing distributed Ada programs. |
TRI-Ada |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Robert J. Knapper |
An introduction for the TRI-Ada session on reusability. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Nelson H. Weiderman |
Evaluating real-time performance of Ada implementations. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
1 | William T. Howle |
Ada in real-time embedded systems Orbital Maneuvering Vehicle (OMV). |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Victor Berman, Carl Schaefer |
The VHDL design system: an Ada-based ECAD system for VLSI. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Mary E. Biddle |
Lessons learned by using different methodologies on five Ada projects. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Paul J. Mayer |
Entering the Ada systems design and coding market. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Rich DeMillo, Weimin Du, Ryan Stansifer |
An integrated software environment for reuse. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Larry Ritter |
Tools and methods for embedded system design using Ada. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Bill Miller |
Improved HELLFIRE, successful use of the Ada language in an embedded, real-time application. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
1 | James A. Perkins |
The myth: anyone can code the software of the requirements and design are... |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Thomas S. Radi |
Testing Ada designers and code. Test Gen-Ada testing tool. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Ralph Crafts |
Ada for flexible manufacturing: foundation for success. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Marc Pitarys |
Real-time Ada-observations & experiences with respect to avionics. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Mark S. Gerhardt |
The real transition problem or don't blame Ada. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
1 | T. M. Nicholson |
"All the right moves". |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Donald G. Firesmith |
Managing Ada projects: the people issues. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Karen E. Sivley |
Ada software productivity issues: results from the AFATDS project. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
1 | David Kalinsky, James Ready |
Distinctions between requirements specification and design of real-time systems. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Goran Hemdal |
Generating efficient and complete Ada from a CASE tool. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
1 | James Solderitsch, Mark A. Simos, Kurt C. Wallnau |
Reusability library framework (RLF). |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Richard N. Taylor |
Tool integration in Arcadia. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
1 | David Nelson-Gal |
High performance implementations for Ada interrupts in real-time systems. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Linda S. Alger |
Ada software experience with the advanced information processing system. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Donald J. Reifer |
Ada cost issues and answers. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Judy Bamberger |
Distributed Ada real-time kernel (DARK). |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Chuck Hobin |
The Ada test and verification systems (ATVS). |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Hector Villarreal |
Ada in data base environment- SYBASE implementation of an Ada/SQL interface. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Robert M. David |
Parallel Ada on Alliant's FX/series. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
1 | P. Simon Tuffs |
Real-time process control in Ada. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
1 | William A. Whitaker |
Selling Ada - the early days. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Thomas E. Griest |
Distributed Ada for deadline driven applications. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
1 | David L. Barton |
VHDL and Ada firmware. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Miguel A. Carrio Jr. |
TAGS. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Dale J. Gaumer, Daniel Roy, Mark S. Gerhardt, Kenneth L. Bowles, G. Smith |
Undoing Ada hype. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Bruce W. Soares, Harry H. Sun |
Advanced combat systems interactive design laboratory (ACSIDL)-the Ada experience. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|