Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | James R. Hamilton, Harold G. Hawley, Clinton J. Lalum |
Product-line reuse for Ada systems. |
TRI-Ada |
1995 |
DBLP DOI BibTeX RDF |
|
1 | I Lee Patton II, William W. Pritchett IV |
Early experiences adopting Ada 95. |
TRI-Ada |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Anthony B. Gargaro, A. Spencer Peterson |
Transitioning a model-based software engineering architectural style to Ada 95. |
TRI-Ada |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Christopher J. Thompson, Vincent Celier |
DVM: an object-oriented framework for building large distributed Ada systems. |
TRI-Ada |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Lars Björnfot, Kristina Lundqvist, Göran Wall, Lars Asplund |
Termination of Ada tasks in hardware. |
TRI-Ada |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Don K. Silvasi-Patchin |
Real-time avionics in Ada 83. |
TRI-Ada |
1995 |
DBLP DOI BibTeX RDF |
|
1 | William H. Ett, B. Bulat, J. Johnson, D. Bristow |
Process analysis: a technique to improve Ada-based development. |
TRI-Ada |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Lars Asplund |
A reinforcement strategy for least slack scheduling using BPHT. |
TRI-Ada |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Richard Kram, Ed Gallagher, Jeffrey Den Bleyker, Howard Eng |
Ada 83/95 binding to OSF's distributed computing environment (DCE). |
TRI-Ada |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Bret A. Senters |
Ada reuse in application architectures: a look back at BLSM and forward to ITV-MOD. |
TRI-Ada |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Willis K. King, Michael B. Feldman, William Richardson, Garth Glynn |
Panel: computer science accreditation and Ada: good for each other. |
TRI-Ada |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Perry R. DeWeese |
Tri-Ada panel '95 (panel session): introduction to MIL-STD-498 and ISO/IEC 12207. |
TRI-Ada |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Scott Arthur Moody |
The STARS Process Engine: Language and Architecture to Support Process Capture and Multi-User Execution. |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
Ada, STARS |
1 | Dan DeJohn |
The Tyndall Range Control System: Bringing Network Computing to C2 Systems. |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
Ada |
1 | 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 |
1 | Susan Luks, Suzanne Pawlan Levy |
Educating Educators: Lessons in Adding Ada to a Small School Curriculum. |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
Ada |
1 | Murali Sitaraman, Michael B. Feldman, Gary Ford 0001, William B. Frakes, Joseph E. Hollingsworth, David F. McAllister, Bruce W. Weide |
What Changes Are Needed For Undergraduate CS Curricula to Educate "Software Engineers"? |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
Ada |
1 | Liisa Räihä |
Delegation: Dynamic Specialization. |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
Ada |
1 | Mark Aldrich |
Secured Systems and Ada: A Trusted System Software Architecture. |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
Ada |
1 | David A. Workman, Richard Crutchfield |
Quality Guidelines = Designer Metrics. |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
Ada |
1 | 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 |
1 | Peter Lützen Møller |
Run-Time Check Elimination for Ada 9X. |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
Ada |
1 | Keith M. Hines |
An Object-Oriented System Design for a Satellite Communication System. |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Edmond Schonberg, Bernard Banner |
The GNAT Project: A GNU-Ada 9X Compiler. |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
Ada |
1 | John Thornley |
Integrating Parallel Dataflow Programming with the Ada Tasking Model. |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
Ada |
1 | Michael I. Frankel |
Model Like an Egyptian. |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
Ada |
1 | Arthur G. Duncan |
Implementing Internal Program Representations with Ada and Ada 9X. |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
Ada |
1 | S. Ron Oliver |
Object Oriented Design and Implementation of Concurrent and Real Time Systems in Ada. |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
Ada |
1 | Cheryl Barbasch, Dan Egnor |
Always One More Bug: Applying AdaWise to Improve Ada Code. |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
Ada |
1 | Kurt D. Welker, Michael W. Snyder |
Software Reengineering in Ada: A Practical Approach. |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
Ada |
1 | Stéphane Barbey |
Working with Ada 9X Classes. |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
Ada |
1 | Sergey Rybin, Vitali Sh. Kaufman |
Ada-Based Programming Language Course in Moscow State University. |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
Ada |
1 | Jordan R. Kayloe, Patricia K. Lawlis |
Easy-Sim: Using Ada 9X in a Graphics System Software Architecture. |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
Ada, C++ |
1 | Pamela Arya |
The RCAS Software Architecture and Its Relation to Reuse. |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
Ada |
1 | E. W. Giering, Frank Mueller 0001, Theodore P. Baker |
Features of the GNU Ada Runtime Library. |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
Ada |
1 | James Baldo, Patricia Collins, Robert Steigerwald, Dewayne Barrington, Ronald Green, Donald J. Reifer |
Technology Transfer of Software Reuse (panel). |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Ken Shumate, Terry Snyder |
Software Project Reporting: Management, Measurement, and Process Improvement. |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
1 | Franco Gasperoni, Patrick Bazire |
Smart Recompilation and the GNAT Compiler. |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
Ada |
1 | Robert Dewar |
The GNAT Compilation Model. |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
Ada |
1 | Karim El Guemhioui, Steven A. Demurjian, Thomas J. Peters, Heidi J. C. Ellis |
Profiling in an Object-Oriented Design Environment That Supports Ada 9X and Ada 83 Code Generation. |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
Ada |
1 | Robert G. Crispen, Lynn D. Stuckey Jr. |
Structural Model: Architecture for Software Designers. |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
Ada |
1 | Mark A. Breland, Steven A. Rogers, Guillaume P. Brat, Kenneth L. Nelson |
Transparent Fault Tolerance for Distributed Ada Applications. |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
Ada |
1 | Cyrille Comar, Brett Porter |
Ada 9X Tagged Types and Their Implementation in GNAT. |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
Ada |
1 | Stephen Crawley, Michael Oudshoorn |
Orthogonal Persistence and Ada. |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
Ada |
1 | Lisa M. Levy Kortright |
An Incremental Approach to the Development of Reusable General-Purpose Discrete-Event Simulator Components. |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
Ada |
1 | Robert Greene, George Lownes |
Embedded CPU Target Migration, Doing More With Less. |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
Ada |
1 | C. Michael Holloway, Ben L. Di Vito, David Guaspari, Michael K. Smith |
Formal Methods Fact vs. Fiction. |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
Ada |
1 | Roy Peña |
Lessons Learned in Implementing a Team Review Process. |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Yvon Kermarrec, Laurent Pautet |
Ada-Linda: A Powerful Paradigm for Programming Distributed Ada Applications. |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
Ada |
1 | John D. Riley |
An Object-Oriented Approach to Software Process Modeling and Definition. |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
Ada |
1 | Ole Lauridsen |
Design of GUIs from a Programming Perspective. |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Richard Kenner |
Integrating GNAT and GCC. |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
Ada |
1 | Charles B. Engle Jr. (eds.) |
Proceedings of the 1994 Conference on TRI-Ada 1994, November 6-11, 1994, Baltimore, Maryland, USA. |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Jeffrey M. Bell, Françoise Bellegarde, James Hook, Richard B. Kieburtz, Alex Kotov, Jeffrey Lewis, Laura McKinney, Dino Oliva, Tim Sheard, L. Tong, Lisa Walton, Tong Zhou |
Software design for reliability and reuse: a proof-of-concept demonstration. |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Federico Vázquez |
Selecting a Software Development Process. |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Kathleen Gilroy |
Interesting Problems in Transforming Existing Software for Reusability. |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
Ada |
1 | Susan Bodily, David W. Embley, Scott N. Woodfield |
Implementing OSA Model Instances in Ada. |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
Ada |
1 | Magnus Kempe |
Abstract Data Types are Under Full Control with Ada 9X. |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
Ada |
1 | Philippe Kruchten, Christopher J. Thompson |
An Object-Oriented, Distributed Architecture for Large-Scale Ada Systems. |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
Ada |
1 | Richard G. Sartore |
Large Database Ada Program for Real Time Laboratory Instrument Control and Data Acquisition. |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
Ada |
1 | Neil Salant |
The Feasibility of Domain Specific Software Reuse for Electronic Warfare Systems. |
TRI-Ada |
1993 |
DBLP DOI BibTeX RDF |
Ada |
1 | 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 |
1 | Jeffrey V. Nickerson |
Visual Conventions for System Design Using Ada 9X: Representing Asynchronous Transfer of Control. |
TRI-Ada |
1993 |
DBLP DOI BibTeX RDF |
Ada |
1 | Randall Brukardt |
Panel on Early Experiences with Ada 9x Program Organization. |
TRI-Ada |
1993 |
DBLP DOI BibTeX RDF |
Ada, SQL |
1 | Murali Sitaraman, Jeff Gray 0001 |
Software Reuse: A Context for Introducing Software Engineering Principles in a Traditional Computer Science Second Course. |
TRI-Ada |
1993 |
DBLP DOI BibTeX RDF |
Ada |
1 | James W. Moore |
M7: Reuse Library Interoperability Group (RIG): Purpose and Progress (Panel). |
TRI-Ada |
1993 |
DBLP DOI BibTeX RDF |
Ada |
1 | Mickey White |
A Universal Delogger Using the Ada Semantic Interface Specification (ASIS). |
TRI-Ada |
1993 |
DBLP DOI BibTeX RDF |
Ada |
1 | 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 |
1 | Christopher Byrnes |
Porting Applications Between Two Commercial Ada/Motif Bindings. |
TRI-Ada |
1993 |
DBLP DOI BibTeX RDF |
OSF/Motif, Ada |
1 | Susan H. Nycum |
Protecting Intellectual Property Rights in Software. |
TRI-Ada |
1993 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
1 | Warren D. Ferguson, John K. Whiteman |
Platform Independent Translations for a Compilable Ada Abstract Syntax. |
TRI-Ada |
1993 |
DBLP DOI BibTeX RDF |
Ada |
1 | Michael I. Frankel |
Ada 9X and CASE: A Methods Perspective. |
TRI-Ada |
1993 |
DBLP DOI BibTeX RDF |
Ada |
1 | 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 |
1 | Charles B. Engle Jr. (eds.) |
Conference Proceedings on TRI-Ada 1993, September 18-23, 1993, Seattle, Washington, USA. |
TRI-Ada |
1993 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
1 | 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 |
1 | Harry Koehnemann, Timothy E. Lindquist |
Towards Target-Level Testing and Debugging Tools for Embedded Software. |
TRI-Ada |
1993 |
DBLP DOI BibTeX RDF |
Ada, DEBUG |
1 | Gary J. Cernosek |
ROMAN-9X: A Technique for Representing Object Models in Ada 9X Notation. |
TRI-Ada |
1993 |
DBLP DOI BibTeX RDF |
Ada |
1 | Donald G. Krantz, Ron Belt, Steve Gunderson, Belle Shenoy, Mark Vojta |
The Aladdex Operating Systems for the Aladdin Multiprocessor. |
TRI-Ada |
1993 |
DBLP DOI BibTeX RDF |
Ada |
1 | J. Chris Commons, Mark S. Gerhardt |
A Model for Analyzing Megaprogramming, Reuse and Domain Specific Software Architectures. |
TRI-Ada |
1993 |
DBLP DOI BibTeX RDF |
OSI |
1 | Yvon Kermarrec, Laurent Pautet |
A Distributed Shared Virtual Memory for Ada 83 and Ada 9X Applications. |
TRI-Ada |
1993 |
DBLP DOI BibTeX RDF |
Ada |
1 | Jonathan A. Turner, Thomas L. Hill |
Ada Abstraction, Generation, Verification. |
TRI-Ada |
1993 |
DBLP DOI BibTeX RDF |
Ada |
1 | John W. McCormick |
Teaching Ada by the Book: The Pedagogy of Ada in CS1 (Panel). |
TRI-Ada |
1993 |
DBLP DOI BibTeX RDF |
Ada, Pascal |
1 | Peter T. Brennan |
Observations on Program-Wide Ada Exception Propagation. |
TRI-Ada |
1993 |
DBLP DOI BibTeX RDF |
Ada |
1 | Patrick Rogers, Steve O'Neill, Marc Pitarys, Kenneth Littlejohn |
Demonstrable Fault Tolerance for Distributed Ada. |
TRI-Ada |
1993 |
DBLP DOI BibTeX RDF |
Ada |
1 | Lewis Gray |
M3: MIL-STD-SDD: The Next Generation of Software Development Standards (Panel). |
TRI-Ada |
1993 |
DBLP DOI BibTeX RDF |
Ada |
1 | Luba Vladavsky |
T2: ASIS: Tools with a View of Exposing Ada (Panel). |
TRI-Ada |
1993 |
DBLP DOI BibTeX RDF |
Ada |
1 | Anneliese von Mayrhauser, Taewoong Jeon |
CASE Tool Architecture for Knowledge-Based Regression Testing. |
TRI-Ada |
1993 |
DBLP DOI BibTeX RDF |
Ada |
1 | Michael Tonndorf |
An Integrated Tool Environment for Ada Compiler Validations. |
TRI-Ada |
1993 |
DBLP DOI BibTeX RDF |
Ada |
1 | Carol Diane Klingler |
A Case Study in Process Definition. |
TRI-Ada |
1993 |
DBLP DOI BibTeX RDF |
process representation, Ada, case study, software process modeling, STARS, process definition |
1 | Karl S. Mathias, Mark A. Roth |
Ada/X Window System Bindings: Conversion Strategies. |
TRI-Ada |
1993 |
DBLP DOI BibTeX RDF |
Ada, X-Window, STARS |
1 | 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 |
1 | Alan W. Brown, David J. Carney, Peter H. Feiler, Patricia A. Oberndorf, Marvin V. Zelkowitz |
A Project Support Environment Reference Model. |
TRI-Ada |
1993 |
DBLP DOI BibTeX RDF |
Ada |
1 | William B. Frakes |
A Dialogue on Software Engineering and Ada (Panel). |
TRI-Ada |
1993 |
DBLP DOI BibTeX RDF |
Ada |
1 | Teri F. Payton |
STARS: Impact of Megaprogramming on Systems Engineering, Process and Future Competitiveness (Panel). |
TRI-Ada |
1993 |
DBLP DOI BibTeX RDF |
Ada, STARS |
1 | 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 |
1 | Colin Atkinson 0001, David Weller |
Integrating Inheritance and Synchronization in Ada9X. |
TRI-Ada |
1993 |
DBLP DOI BibTeX RDF |
Ada |
1 | 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 |