Search results for "ada"

Hits ?▲	Authors	Title	Venue	Year	Link
49	Jodene M. Sasine, Raymond J. Toal	Implementing the model-view-controller paradigm in Ada 95.	TRI-Ada	1995	DBLP DOI BibTeX RDF
49	James R. Hamilton, Harold G. Hawley, Clinton J. Lalum	Product-line reuse for Ada systems.	TRI-Ada	1995	DBLP DOI BibTeX RDF
49	I Lee Patton II, William W. Pritchett IV	Early experiences adopting Ada 95.	TRI-Ada	1995	DBLP DOI BibTeX RDF
49	Anthony B. Gargaro, A. Spencer Peterson	Transitioning a model-based software engineering architectural style to Ada 95.	TRI-Ada	1995	DBLP DOI BibTeX RDF
49	Christopher J. Thompson, Vincent Celier	DVM: an object-oriented framework for building large distributed Ada systems.	TRI-Ada	1995	DBLP DOI BibTeX RDF
49	Lars Björnfot, Kristina Lundqvist, Göran Wall, Lars Asplund	Termination of Ada tasks in hardware.	TRI-Ada	1995	DBLP DOI BibTeX RDF
49	Don K. Silvasi-Patchin	Real-time avionics in Ada 83.	TRI-Ada	1995	DBLP DOI BibTeX RDF
49	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
49	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
49	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
49	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
49	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
49	Jean-François Kaufeler	Ada: A Sceptical Assessment.	Ada-Europe	1995	DBLP DOI BibTeX RDF
49	Rupert Brown	The Practical Application of Safety Techniques on an Ada Based Project.	Ada-Europe	1995	DBLP DOI BibTeX RDF
49	Paul A. Bailes, Paul Burnim, Murray Chapman, Eric J. Salzman	KBSE and Ada - Object and Enabling Technology.	Ada-Europe	1995	DBLP DOI BibTeX RDF
49	Chris Anderson	Opening Address: Ada 9X.	Ada-Europe	1994	DBLP DOI BibTeX RDF
49	Jacques Sevestre, Jacques Brygier	Adequacy of the New Generation of Multithreading Operating Systems to the Ada Tasking Model.	Ada-Europe	1994	DBLP DOI BibTeX RDF
49	Patrick Rogers, Marc Pitarys	The AECSS Fault Tolerant Distributed Ada Testbed and Application.	Ada-Europe	1994	DBLP DOI BibTeX RDF
49	Patrick de Bondeli	A Fully Reusable Class of Objects for Synchronization and Communication in Ada 9X.	Ada-Europe	1994	DBLP DOI BibTeX RDF
49	Lewis Gray	How Should Military Ada Software be Documented?.	Ada-Europe	1994	DBLP DOI BibTeX RDF
49	Peter Lützen Møller	Run-Time Check Elimination for Ada 9X.	Ada-Europe	1994	DBLP DOI BibTeX RDF
49	Peter E. Obermayer, Joachim Schröer, Georg Schüer, Achilles Klimek, Peter Kompalla, Rudolf Landwehr	Portability Effort Estimates for Real Time Applications Written in Ada Through Static Code Analysis.	Ada-Europe	1994	DBLP DOI BibTeX RDF
49	Nasser Kettani	How to Avoid and Control Proliferation of New Ada Real Time Extensions.	Ada-Europe	1994	DBLP DOI BibTeX RDF
49	Gilles M. Pitette, Jean-Yves Corniglion, Daniel Gepner, Jean-Marie Sers	Ex2: Intergrating Ada and Extra Support in a Doubly Portable Extended Executive Designed for Hard Real Time Systems.	Ada-Europe	1994	DBLP DOI BibTeX RDF
49	Joyce L. Tokar	Handling Interrupts in Ada 9X.	Ada-Europe	1994	DBLP DOI BibTeX RDF
49	Jordan R. Kayloe, Patricia K. Lawlis	Merging Ada 9X and C++ in a Graphics System Software Architecture.	Ada-Europe	1994	DBLP DOI BibTeX RDF
49	A. D. Hutcheon, D. T. Jordan, John A. McDermid, R. H. Pierce, I. C. Wand, B. J. Jepson	Tool Support for High Integrity Ada Software.	Ada-Europe	1994	DBLP DOI BibTeX RDF
49	John R. Rymer	Evolving an Ada Curriculum to 9X.	Ada-Europe	1994	DBLP DOI BibTeX RDF
49	Ingmar Ögren	Extended Application of Ada to Cover ECBS with O4S.	Ada-Europe	1994	DBLP DOI BibTeX RDF
49	Steen Silberg, Thorkil B. Rasmussen	FAA Certification of Ada Run-Time Systems.	Ada-Europe	1994	DBLP DOI BibTeX RDF
49	Leslie P. Gale	Recommendations and Proposals for an Ada Strategy in the Space Software Development Environment.	Ada-Europe	1994	DBLP DOI BibTeX RDF
49	Stéphane Barbey, Didier Buchs	Testing Ada Abstract Data Types Using Formal Specifications.	Ada-Europe	1994	DBLP DOI BibTeX RDF
49	Slobodan S. Jovanovic, Linda Simon, Drasko M. Sotirovski	Interfacing Computer Communications from Ada in a Diverse and Evolving Environment.	Ada-Europe	1994	DBLP DOI BibTeX RDF
49	Steen Ulrik Palm	Life*ADA: An APSE Integrating Multiple Compiler.	Ada-Europe	1994	DBLP DOI BibTeX RDF
49	Pierre Dissaux, Patrick Farail, Pierre Leroy, P. Micouin	A New Approach for HOOD/Ada Mapping.	Ada-Europe	1994	DBLP DOI BibTeX RDF
49	Hervé Le Doeuff	Automatic Generation of Ada Source Code for the Rafale Mission Computer.	Ada-Europe	1994	DBLP DOI BibTeX RDF
49	Jeroen J. M. Wiggers, Marc J. A. Oort	Ada Controls the European Robotic Arm.	Ada-Europe	1994	DBLP DOI BibTeX RDF
49	Rainer Gerlich, Uwe Wagner	Tuning Ada Programs in Advance.	Ada-Europe	1994	DBLP DOI BibTeX RDF
49	Susan Flynn Hummel	A Highly Parallel Ada Task Scheduler.	Ada-Europe	1992	DBLP DOI BibTeX RDF
49	Benjamin M. Brosgol, Robert I. Eachus, David E. Emery	Decimal Arithmetic in Ada.	Ada-Europe	1992	DBLP DOI BibTeX RDF
49	Fred A. Maymir-Ducharme	Porting Embedded Real-Time Ada Software.	Ada-Europe	1992	DBLP DOI BibTeX RDF
49	Thanh-Nu Do	Compilation Integration: A Solution for the Challenge of Developing and Reusing Ada Software on Different Platforms.	Ada-Europe	1992	DBLP DOI BibTeX RDF
49	Stuart Lewin, Kirk Beitz, Christopher Byrnes, Michael Hardy, Rich Hilliard, Craig Warsaw	Ada and the X Window System.	TRI-Ada	1991	DBLP DOI BibTeX RDF
49	John W. McCormick	Using a model railroad to teach Ada and software engineering.	TRI-Ada	1991	DBLP DOI BibTeX RDF
49	Takayuki Hagihara	Ada in Japan.	TRI-Ada	1991	DBLP DOI BibTeX RDF
49	A. Nico Habermann	Ada and beyond.	TRI-Ada	1991	DBLP DOI BibTeX RDF
49	Jean Francois Wets	Thomson-CSF and Ada for ATC: An experience of eight years.	TRI-Ada	1991	DBLP DOI BibTeX RDF
49	Magnus Sjöland, Rune Thyselius, Barbro Sjöland	Adam, an Ada simulation library.	TRI-Ada	1991	DBLP DOI BibTeX RDF
49	Stephen J. Goldsack, Colin Atkinson 0002	DRAGOON: a tool for the Ada programmer.	TRI-Ada	1991	DBLP DOI BibTeX RDF
49	Robert Steigerwald, Valdis Berzins	Normal forms for algebraic specifications of reusable Ada packages.	TRI-Ada	1991	DBLP DOI BibTeX RDF
49	Ben Brosgol, Stephen Faris, Marc H. Graham, James W. Moore, Jean-Pierre Rosen, S. Tucker Taft	Ada and SQL.	TRI-Ada	1991	DBLP DOI BibTeX RDF
49	Peter Dencker	Debugging of optimized Ada code.	TRI-Ada	1991	DBLP DOI BibTeX RDF
49	Taleb Bizri, Richard Knowles, Richard Crawford	A three level Ada interface to a commercial database.	TRI-Ada	1991	DBLP DOI BibTeX RDF
49	Vincent Encontre	SDL: a standard language for Ada real-time applications.	TRI-Ada	1991	DBLP DOI BibTeX RDF
49	Miguel A. de Tomás, Luis Gómez, Antonio Pérez	Vestal: a tool for teaching concurrency in Ada.	TRI-Ada	1991	DBLP DOI BibTeX RDF
49	Belén de Vicente, Alejandro Alonso 0001, Jorge Amador	Dynamic software replacement model and its Ada implementation.	TRI-Ada	1991	DBLP DOI BibTeX RDF
49	Dennis L. Doubleday, Mario R. Barbacci, Charles B. Weinstock, Michael J. Gardner, Randall W. Lichota	Building distributed Ada applications from specifications and functional components.	TRI-Ada	1991	DBLP DOI BibTeX RDF
49	Richard W. Root, Gerard LaCroix, Michael Springman	Management challenges and techniques on a large Ada project.	TRI-Ada	1991	DBLP DOI BibTeX RDF
49	James B. Bladen, David Spenhoff, Steven J. Blake	Ada semantic interface specification (ASIS).	TRI-Ada	1991	DBLP DOI BibTeX RDF
49	Virginia R. Seng	Ada pilot project at HQ Pacific Air Forces: lessons learned during development.	TRI-Ada	1991	DBLP DOI BibTeX RDF
49	Kent Thackrey, John Wright	Experience tracking software development progress on a large Ada project (a window into the development process).	TRI-Ada	1991	DBLP DOI BibTeX RDF
49	Hansheng Chen 0003, Yuneng Chen, Deiqui Shen, Lin Xu, Hanming Jiang, Ren Shi	Experiences in developing an Ada cross compiler.	TRI-Ada	1991	DBLP DOI BibTeX RDF
49	Stefan Asserhäll	A microprocessor with Ada real time support.	TRI-Ada	1991	DBLP DOI BibTeX RDF
49	Jun Shen, Gordon V. Cormack	Automatic instantiation in Ada.	TRI-Ada	1991	DBLP DOI BibTeX RDF
49	Jeffrey L. Richardson	Object based data engineering: the necessary evil of Ada development.	TRI-Ada	1991	DBLP DOI BibTeX RDF
49	Michael Hind, Edmond Schonberg	Efficient loop-level parallelism in Ada.	TRI-Ada	1991	DBLP DOI BibTeX RDF
49	Marianne E. Erdos, Ralph Crafts, Robert Dewar, Kenneth Fussichen, Robert Roe, John P. Solomond	The first 100 days of Ada.	TRI-Ada	1991	DBLP DOI BibTeX RDF
49	Pamela S. Kimminau, Russell J. Graves	Promoting Ada at the National Security Agency.	TRI-Ada	1991	DBLP DOI BibTeX RDF
49	David A. Rosenfeld	Supporting packed decimal in Ada.	TRI-Ada	1991	DBLP DOI BibTeX RDF
49	Xianzhong Liang, Zhenyu Wang	Ada-based support for abstraction, encapsulation and unit hierarchy.	TRI-Ada	1991	DBLP DOI BibTeX RDF
49	Anneliese von Mayrhauser	AMT - the Ada maintenance toolchest.	TRI-Ada	1991	DBLP DOI BibTeX RDF
49	S. M. Austin, D. R. Wilkins, Brian A. Wichmann	An Ada program test generator.	TRI-Ada	1991	DBLP DOI BibTeX RDF
49	Kari Kruempel	Ada and CMS-2 cohabitation: A transition method for U.S. Navy realtime tactical systems.	TRI-Ada	1991	DBLP DOI BibTeX RDF
49	Rodney M. Bates, Viswa Santhanam, Donald E. Johnson	Design and implementation of a multi-tool Ada front end.	TRI-Ada	1991	DBLP DOI BibTeX RDF
49	Noah S. Prywes, Evan D. Lock, Xiang Ge	Automatic abstraction of real-time software and re-implementation in Ada.	TRI-Ada	1991	DBLP DOI BibTeX RDF
49	Haruhiko Nishida, Takumi Itoh, Ryuji Nakayama	Distribution of Ada tasks onto a heterogeneous environment.	TRI-Ada	1991	DBLP DOI BibTeX RDF
49	Lisa Brownsword, Rick McUmber	Applying the iterative development process to large 2167A Ada projects.	TRI-Ada	1991	DBLP DOI BibTeX RDF
49	C. Colombini, A. della Torre, R. Palotti	Ada as High Level Language for Real-Time Systems Exploiting RDBMS Techniques.	Ada-Europe	1991	DBLP DOI BibTeX RDF
49	Uwe Baumgarten	Distributed Systems and Ada - Current Projects and Approaches Comparative Study's Results.	Ada-Europe	1991	DBLP DOI BibTeX RDF
49	C. T. Tsalidis, A. E. Hatzimanikatis	AFADA, a Measurement Tool for Ada.	Ada-Europe	1991	DBLP DOI BibTeX RDF
49	Tzilla Elrad, V. Winans	The Use of Ada in Reactive Systems: A 3-Dimensional Model.	Ada-Europe	1991	DBLP DOI BibTeX RDF
49	Jürgen Wolff von Gudenberg	Modellin SIMD - Type Parallel Arithmetic Operations in Ada.	Ada-Europe	1991	DBLP DOI BibTeX RDF
49	P. Soupos, S. Goutas	Using Ada to Implement the Transaction Mechanism of a Distributed Object-Oriented DBMS.	Ada-Europe	1991	DBLP DOI BibTeX RDF
49	Brian Gilbert, Mike Taylor, Greg Bek	Experience Developing two Ada Applications for Embedded Real-Time Systems Using Different Software Processes.	Ada-Europe	1991	DBLP DOI BibTeX RDF
49	Lee Silverthorn	Ada optimizations - why should a user care?	TRI-Ada	1990	DBLP DOI BibTeX RDF
49	Pen-Nan Lee, Ravinder P. Reddy, Yiwei Chen	Allocation strategies for Ada tasks on hypercube multi-processors.	TRI-Ada	1990	DBLP DOI BibTeX RDF
49	David E. Emery	A prototype implementation of the Ada binding to POSIX.	TRI-Ada	1990	DBLP DOI BibTeX RDF
49	Larry E. Druffel	Ada-oriented software engineering environments.	TRI-Ada	1990	DBLP DOI BibTeX RDF
49	Dan Conners	Selecting an Ada contractor - one way that worked.	TRI-Ada	1990	DBLP DOI BibTeX RDF
49	Robert L. McGarvey	ABET - a standard for Ada in a test environment.	TRI-Ada	1990	DBLP DOI BibTeX RDF
49	Ed Seidewitz	How much object-orientation in Ada? (panel).	TRI-Ada	1990	DBLP DOI BibTeX RDF
49	Chris Anderson	Getting Ada into the mainstream.	TRI-Ada	1990	DBLP DOI BibTeX RDF
49	Robert F. Mathis	Personal thoughts on Ada's object orientation.	TRI-Ada	1990	DBLP DOI BibTeX RDF
49	Marc H. Graham	Down in the details: lessons learned in interfacing Ada and SQL.	TRI-Ada	1990	DBLP DOI BibTeX RDF
49	Ralph Crafts	Ada awareness issues: in government, Congress, and industry (panel).	TRI-Ada	1990	DBLP DOI BibTeX RDF
49	Chia-Shiang Shih, John A. Stankovic	Distributed deadlock detection in Ada run-time environments.	TRI-Ada	1990	DBLP DOI BibTeX RDF
49	Sidney C. Bailin, Manju Bewtra, J. Mike Moore	Combining object-oriented and functional paradigms in a design methodology for Ada.	TRI-Ada	1990	DBLP DOI BibTeX RDF
49	Harlan D. Mills	Ada systems.	TRI-Ada	1990	DBLP DOI BibTeX RDF
49	Patti J. Hicks, Jennifer M. Taulbee	LINX - Ada in an open systems architecture.	TRI-Ada	1990	DBLP DOI BibTeX RDF
49	Devesh Bhatt	Implementing a distributed fault-tolerant embedded system in Ada.	TRI-Ada	1990	DBLP DOI BibTeX RDF