Search results for "ada"

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