Search results for "ada"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
49	Erhard Ploedereder	Status of Ada then and now (panel).	TRI-Ada	1990	DBLP DOI BibTeX RDF
49	Chuck Engle	Ada education in universities (panel).	TRI-Ada	1990	DBLP DOI BibTeX RDF
49	Donald G. Krantz	Ada development system technical and performance requirements (with rationale).	TRI-Ada	1990	DBLP DOI BibTeX RDF
49	Thomas J. Brady	Ada implementation of a real-time communications system.	TRI-Ada	1990	DBLP DOI BibTeX RDF
49	Allison LeClair, Susan Phillips	A prototype implementation of the SQL Ada module extension (SAME) method.	TRI-Ada	1990	DBLP DOI BibTeX RDF
49	Frederic H. Wild III	A comparison of experiences with the maintenance of object-oriented systems: Ada vs. C++.	TRI-Ada	1990	DBLP DOI BibTeX RDF
49	Mark S. Gerhardt	Sociological concerns about Ada in the 1990s.	TRI-Ada	1990	DBLP DOI BibTeX RDF
49	S. Tucker Taft	Ideas for kick-starting the Ada market of the 1990s.	TRI-Ada	1990	DBLP DOI BibTeX RDF
49	S. Daniel Lee	Toward the efficient implementation of expert systems in Ada.	TRI-Ada	1990	DBLP DOI BibTeX RDF
49	R. H. Pierce, S. D. Bluck	Reverse engineering Ada into HOOD.	TRI-Ada	1990	DBLP DOI BibTeX RDF
49	Frank C. Belz, David C. Luckham	A new approach to prototyping Ada-based hardware/software systems.	TRI-Ada	1990	DBLP DOI BibTeX RDF
49	Norman R. Howes	Toward a real-time Ada design methodology.	TRI-Ada	1990	DBLP DOI BibTeX RDF
49	Gary J. Gregory, Kwei-Jay Lin	Building real-time imprecise computations in Ada.	TRI-Ada	1990	DBLP DOI BibTeX RDF
49	Sholom Cohen	Process and products for software reuse in Ada.	TRI-Ada	1990	DBLP DOI BibTeX RDF
49	Geoffrey R. Hird	Towards reuse of verified Ada software.	TRI-Ada	1990	DBLP DOI BibTeX RDF
49	Robert F. Mathis	People, events, and technology insertion in the Ada program.	TRI-Ada	1990	DBLP DOI BibTeX RDF
49	Daniel Juttelstad, Rich Bergman	Ada and the Navy next generation computer resources operating system interface standard.	TRI-Ada	1990	DBLP DOI BibTeX RDF
49	Paul A. Jennings	Ada interrupt handlers for hard real-time systems.	TRI-Ada	1990	DBLP DOI BibTeX RDF
49	Bevin R. Brett	Optimisation and performance issues: things the user can do to exploit VAX Ada.	TRI-Ada	1990	DBLP DOI BibTeX RDF
49	James Ware	Integrating Ada with existing systems: the ATACC experience.	TRI-Ada	1990	DBLP DOI BibTeX RDF
49	Richard R. Gross, David A. Umphress	Software engineering as a radical novelty: the Air Force Ada experience.	TRI-Ada	1990	DBLP DOI BibTeX RDF
49	James Peters, William J. Hankley	Proving specifications of tasking systems using Ada/TL.	TRI-Ada	1990	DBLP DOI BibTeX RDF
49	Donald J. Reifer	SoftCost-Ada: user experiences and lessons learned at the age of three.	TRI-Ada	1990	DBLP DOI BibTeX RDF
49	Paul E. McMahon	Ada: experience it again for the first time.	TRI-Ada	1990	DBLP DOI BibTeX RDF
49	Lawrence Collingbourne	Ada optimizations - an embedded systems view.	TRI-Ada	1990	DBLP DOI BibTeX RDF
49	John P. Solomond	Ada compiler evaluation.	TRI-Ada	1990	DBLP DOI BibTeX RDF
49	John D. Litke	A systematic approach for implementing fault tolerant software designs in Ada.	TRI-Ada	1990	DBLP DOI BibTeX RDF
49	Keith M. Hines	Ada impacts on a second generation project.	TRI-Ada	1990	DBLP DOI BibTeX RDF
49	J. F. Barhorst, R. W. Seelye	Ada run-time system contention measurement.	TRI-Ada	1990	DBLP DOI BibTeX RDF
49	Bernard Carré, Johnathan Randall Garnsworthy	SPARK - an annotated Ada subset for safety-critical programming.	TRI-Ada	1990	DBLP DOI BibTeX RDF
49	Robert C. Shock	Fashioning conceptual constructs in Ada.	TRI-Ada	1990	DBLP DOI BibTeX RDF
49	Stowe Boyd	Ada interface technology (panel).	TRI-Ada	1990	DBLP DOI BibTeX RDF
49	Christophe Ville, Alain Bratel	A real-time Ada design method based on DoD-STD-2167A.	TRI-Ada	1990	DBLP DOI BibTeX RDF
49	Judah Mogilensky	Barriers to Ada adoption: have they changed? (panel).	TRI-Ada	1990	DBLP DOI BibTeX RDF
49	Kenneth Fussichen	Getting Ada into the mainstream in the 1990's.	TRI-Ada	1990	DBLP DOI BibTeX RDF
49	D. Wengelin, Lars Asplund	Application of Ada on a distributed missile control system.	TRI-Ada	1990	DBLP DOI BibTeX RDF
49	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
49	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
49	Eli Solomon	The Ada tasking model is adequate for real-time embedded applications (panel).	TRI-Ada	1990	DBLP DOI BibTeX RDF
49	Joachim Roos	The performance of a prototype coprocessor for Ada tasking.	TRI-Ada	1990	DBLP DOI BibTeX RDF
49	Jack H. Schwartz	Object oriented extensions to Ada: a dissenting opinion.	TRI-Ada	1990	DBLP DOI BibTeX RDF
49	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
49	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
49	Valérie Lecompte	Practical use of Ada in a heterogeneous multi-processor computer.	TRI-Ada	1990	DBLP DOI BibTeX RDF
49	Charles B. Engle Jr.	The marriage of Ada and Joe College.	TRI-Ada	1990	DBLP DOI BibTeX RDF
49	Virginia L. Castor	Ada policy.	TRI-Ada	1990	DBLP DOI BibTeX RDF
49	Kenneth Fussichen	Why COBOL programmers refuse Ada.	TRI-Ada	1990	DBLP DOI BibTeX RDF
49	Daniel Roy	Ada optimizations - why the user should care (panel).	TRI-Ada	1990	DBLP DOI BibTeX RDF
49	Robert J. Knapper	An introduction for the TRI-Ada session on reusability.	TRI-Ada	1988	DBLP DOI BibTeX RDF
49	Nelson H. Weiderman	Evaluating real-time performance of Ada implementations.	TRI-Ada	1988	DBLP DOI BibTeX RDF
49	William T. Howle	Ada in real-time embedded systems Orbital Maneuvering Vehicle (OMV).	TRI-Ada	1988	DBLP DOI BibTeX RDF
49	Victor Berman, Carl Schaefer	The VHDL design system: an Ada-based ECAD system for VLSI.	TRI-Ada	1988	DBLP DOI BibTeX RDF
49	Mary E. Biddle	Lessons learned by using different methodologies on five Ada projects.	TRI-Ada	1988	DBLP DOI BibTeX RDF
49	Paul J. Mayer	Entering the Ada systems design and coding market.	TRI-Ada	1988	DBLP DOI BibTeX RDF
49	Larry Ritter	Tools and methods for embedded system design using Ada.	TRI-Ada	1988	DBLP DOI BibTeX RDF
49	Bill Miller	Improved HELLFIRE, successful use of the Ada language in an embedded, real-time application.	TRI-Ada	1988	DBLP DOI BibTeX RDF
49	Ralph Crafts	Ada for flexible manufacturing: foundation for success.	TRI-Ada	1988	DBLP DOI BibTeX RDF
49	Marc Pitarys	Real-time Ada-observations & experiences with respect to avionics.	TRI-Ada	1988	DBLP DOI BibTeX RDF
49	Mark S. Gerhardt	The real transition problem or don't blame Ada.	TRI-Ada	1988	DBLP DOI BibTeX RDF
49	Donald G. Firesmith	Managing Ada projects: the people issues.	TRI-Ada	1988	DBLP DOI BibTeX RDF
49	Karen E. Sivley	Ada software productivity issues: results from the AFATDS project.	TRI-Ada	1988	DBLP DOI BibTeX RDF
49	Goran Hemdal	Generating efficient and complete Ada from a CASE tool.	TRI-Ada	1988	DBLP DOI BibTeX RDF
49	David Nelson-Gal	High performance implementations for Ada interrupts in real-time systems.	TRI-Ada	1988	DBLP DOI BibTeX RDF
49	Linda S. Alger	Ada software experience with the advanced information processing system.	TRI-Ada	1988	DBLP DOI BibTeX RDF
49	Donald J. Reifer	Ada cost issues and answers.	TRI-Ada	1988	DBLP DOI BibTeX RDF
49	Judy Bamberger	Distributed Ada real-time kernel (DARK).	TRI-Ada	1988	DBLP DOI BibTeX RDF
49	Chuck Hobin	The Ada test and verification systems (ATVS).	TRI-Ada	1988	DBLP DOI BibTeX RDF
49	Robert M. David	Parallel Ada on Alliant's FX/series.	TRI-Ada	1988	DBLP DOI BibTeX RDF
49	P. Simon Tuffs	Real-time process control in Ada.	TRI-Ada	1988	DBLP DOI BibTeX RDF
49	William A. Whitaker	Selling Ada - the early days.	TRI-Ada	1988	DBLP DOI BibTeX RDF
49	Thomas E. Griest	Distributed Ada for deadline driven applications.	TRI-Ada	1988	DBLP DOI BibTeX RDF
49	David L. Barton	VHDL and Ada firmware.	TRI-Ada	1988	DBLP DOI BibTeX RDF
49	Dale J. Gaumer, Daniel Roy, Mark S. Gerhardt, Kenneth L. Bowles, G. Smith	Undoing Ada hype.	TRI-Ada	1988	DBLP DOI BibTeX RDF
49	Bruce W. Soares, Harry H. Sun	Advanced combat systems interactive design laboratory (ACSIDL)-the Ada experience.	TRI-Ada	1988	DBLP DOI BibTeX RDF
49	Claton J. Horning	Ada integration into MIS environment.	TRI-Ada	1988	DBLP DOI BibTeX RDF
49	John Schabowski	Ada on the AM 29000 in military real-time embedded control applications.	TRI-Ada	1988	DBLP DOI BibTeX RDF
49	Stowe Boyd	The Ada binding for POSIX.	TRI-Ada	1988	DBLP DOI BibTeX RDF
49	Michael F. Tighe	Instruction scheduling of Ada on RISC processors.	TRI-Ada	1988	DBLP DOI BibTeX RDF
49	Don O'Neill	Managing Ada transition.	TRI-Ada	1988	DBLP DOI BibTeX RDF
49	David L. Barton	Systems design issues using Ada and VHDL.	TRI-Ada	1988	DBLP DOI BibTeX RDF
49	Kathy Schubert	The evaluation of Ada software to support the space station power management and distribution system.	TRI-Ada	1988	DBLP DOI BibTeX RDF
49	Beth Cockerham	Parallel compilation of Ada units.	TRI-Ada	1988	DBLP DOI BibTeX RDF
49	Barbara Scott	Explorer platform Ada flight software.	TRI-Ada	1988	DBLP DOI BibTeX RDF
49	Gary Frankel	Ada software engineering and optimized code.	TRI-Ada	1988	DBLP DOI BibTeX RDF
49	Larry Howard	Risk management in Ada technology transfer.	TRI-Ada	1988	DBLP DOI BibTeX RDF
49	Richard P. Wesenberg, Bruce W. Johnston, Patrick Mulligan	Using Ada for development of a wird sensing Clear Air Doppler Radar (CADR) work station at the Kennedy space station.	TRI-Ada	1988	DBLP DOI BibTeX RDF
49	Daniel F. Sterne, G. Pretti, A. Glendening, B. Jachowski	A simplified graphic notation for Ada programs.	TRI-Ada	1988	DBLP DOI BibTeX RDF
49	Vic Stenning	The Ada Environment - A Personal View.	System Development and Ada	1986	DBLP BibTeX RDF
49	David C. Luckham, David P. Helmbold, Sigurd Meldal, D. L. Bryan, M. A. Haberler	Task Sequencing Languages for Specifying Distributed Ada Systems.	System Development and Ada	1986	DBLP BibTeX RDF
49	Charles Z. Mitchell	Engineering VAX Ada for a Multi-Language Programming Environment.	System Development and Ada	1986	DBLP BibTeX RDF
49	John B. Goodenough 0002	Ada Compiler Validation: An Example of Software Testing Theory and Practice.	System Development and Ada	1986	DBLP BibTeX RDF
49	S. Tucker Taft	Diana as an internal representation in an Ada-in-Ada compiler.	AdaTEC Conference on Ada	1982	DBLP DOI BibTeX RDF
49	Laura K. Dillon	Verifying General Safety Properties of Ada Tasking Programs.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	safety properties verification, Ada tasking programs, isolation approach, automating partial correctness proofs, Ada, program verification, concurrent programs, deadlock, mutual exclusion, symbolic execution, multiprocessing programs
49	Louise E. Moser	Data Dependency Graphs for Ada Programs.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	composition rules, primitive program statements, data structures, Ada, tracking, programming, information flow, exception handling, correctness, recursion, tasking, iteration, data dependency graphs, Ada programs, program development environment
49	David Guaspari, Carla Marceau, Wolfgang Polak	Formal Verification of Ada Programs.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	Penelope verification editor, formal basis, interactive development, logical soundness, interface languages, software engineering, Ada, program verification, correctness proof, prototype system, predicate transformers, Ada programs
49	Gerald M. Karam, Raymond J. A. Buhr	Starvation and Critical Race Analyzers for Ada.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	race analyzers, critical race analysis tools, Ada designs, temporal analysis toolset, operational specification language, language interpreter, deadlock analyzer, starvation analyzer, set-theoretic model, deadlock analyzer, computation space, preprocessing phase, starvation tool, semiautomatic proof, nondeterministic rendezvous, human operator, design examples, Ada, software tools, programming, specification languages, system recovery, liveness, program interpreters
49	Sophia Drossopoulou, James S. Uhl, Guido Persch, Gerhard Goos, Manfred Dausmann, Georg Winterstein	An Attribute Grammar for Ada.	SIGPLAN Symposium on Compiler Construction	1982	DBLP DOI BibTeX RDF	Ada compiler, Attribute grammer, Ordered attribute grammer, Ada, Static semantics, Compiler compiler
48	Sergey Rybin, Alfred Strohmeier, Vasiliy Fofanov, Alexey Kuchumov	ASIS-for-GNAT: A Report of Practical Experiences.	Ada-Europe	2000	DBLP DOI BibTeX RDF	Ada, Programming Language, Programming Environment, Programming Tool, ASIS
48	Tse-Min Lin, John A. McDermid	(True) Polymorphism in SPARK2000.	Ada-Europe	2000	DBLP DOI BibTeX RDF	Ada, Object-Oriented Programming, Polymorphism, SPARK
48	Cyrille Comar, Gary Dismukes, Franco Gasperoni	Targeting GNAT to the Java Virtual Machine.	TRI-Ada	1997	DBLP DOI BibTeX RDF	Java, Internet, Ada