Search results for "ada"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
49	R. C. Schaller, Martin Marietta	Total quality management in a software environment.	TRI-Ada Tutorial	1991	DBLP DOI BibTeX RDF
49	Maurice Heitz	Hierarchical object oriented design for large, technical, real-time software developments.	TRI-Ada Tutorial	1991	DBLP DOI BibTeX RDF
49	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
49	Kevin L. McQuown	Object oriented design in a real-time multiprocessor environment.	TRI-Ada	1989	DBLP DOI BibTeX RDF
49	Judah Mogilensky, Dennis Stipe	Applying reusability to software process definition.	TRI-Ada	1989	DBLP DOI BibTeX RDF
49	Erhard Plödereder	Panel: software reuse - is it working?	TRI-Ada	1989	DBLP DOI BibTeX RDF
49	Charles Plinta, Kenneth J. Lee	A model solution for the C3I Domain.	TRI-Ada	1989	DBLP DOI BibTeX RDF
49	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
49	Richard D'Ippolito	Using models in software engineering.	TRI-Ada	1989	DBLP DOI BibTeX RDF
49	Donald J. Reifer	Workstation/APSE productivity study results.	TRI-Ada	1989	DBLP DOI BibTeX RDF
49	Judy Bamberger	What makes a good software engineer?	TRI-Ada	1989	DBLP DOI BibTeX RDF
49	Robert Holibaugh, Sholom Cohen, Kyo Chul Kang, A. Spencer Peterson	Reuse: where to begin and why.	TRI-Ada	1989	DBLP DOI BibTeX RDF
49	Dudrey Smith, Nelson H. Weiderman	Compiler technology evaluation.	TRI-Ada	1989	DBLP DOI BibTeX RDF
49	Donald G. Krantz	The Howitzer improvement program: lessons learned.	TRI-Ada	1989	DBLP DOI BibTeX RDF
49	William B. Frakes, Paul B. Gandel	Representation methods for software reuse.	TRI-Ada	1989	DBLP DOI BibTeX RDF
49	Edward Colbert	The object-oriented software development method: a practical approach to object-oriented development.	TRI-Ada	1989	DBLP DOI BibTeX RDF
49	Jorge Garrido, Juan Zamorano, Alejandro Alonso 0001, Juan Antonio de la Puente	On the Effect of Protected Entry Servicing Policies on the Response Time of Ada Tasks.	Ada-Europe	2018	DBLP DOI BibTeX RDF
49	Sara Royuela, Xavier Martorell, Eduardo Quiñones, Luís Miguel Pinho	Safe Parallelism: Compiler Analysis Techniques for Ada and OpenMP.	Ada-Europe	2018	DBLP DOI BibTeX RDF
49	Maroua Maalej, S. Tucker Taft, Yannick Moy	Safe Dynamic Memory Management in Ada and SPARK.	Ada-Europe	2018	DBLP DOI BibTeX RDF
49	Sara Royuela, Xavier Martorell, Eduardo Quiñones, Luís Miguel Pinho	OpenMP Tasking Model for Ada: Safety and Correctness.	Ada-Europe	2017	DBLP DOI BibTeX RDF
49	Alejandro R. Mosteo	RxAda: An Ada implementation of the ReactiveX API.	Ada-Europe	2017	DBLP DOI BibTeX RDF
49	Morteza Mohaqeqi, Jakaria Abdullah, Wang Yi 0001	An Executable Semantics for Synchronous Task Graphs: From SDRT to Ada.	Ada-Europe	2017	DBLP DOI BibTeX RDF
49	Franco Mazzanti	An Experience in Ada Multicore Programming: Parallelisation of a Model Checking Engine.	Ada-Europe	2016	DBLP DOI BibTeX RDF
49	Alan Burns 0001	Why the Expressive Power of Programming Languages Such as Ada Is Needed for Future Cyber Physical Systems.	Ada-Europe	2016	DBLP DOI BibTeX RDF
49	Robert Mittermayr, Johann Blieberger	Kronecker Algebra for Static Analysis of Barriers in Ada.	Ada-Europe	2016	DBLP DOI BibTeX RDF
49	Andrew V. Jones	Addressing the Regression Test Problem with Change Impact Analysis for Ada.	Ada-Europe	2016	DBLP DOI BibTeX RDF
49	Christopher Hollings	The mathematical correspondence of Ada Lovelace and Augustus De Morgan.	Ada Lovelace Symposium	2015	DBLP DOI BibTeX RDF
49	Julia Markus	The early education of Ada Byron.	Ada Lovelace Symposium	2015	DBLP DOI BibTeX RDF
49	Alexander Wolf	Introduction to the Ada Lovelace Symposium.	Ada Lovelace Symposium	2015	DBLP DOI BibTeX RDF
49	Søren Riis, Ursula Martin, Nick Woodhouse	Ada Lovelace, a scientist in the archives.	Ada Lovelace Symposium	2015	DBLP DOI BibTeX RDF
49	Muffy Calder, Valerie Barr, Suw Charman-Anderson, Murray Pittock	Enchantress of Abstraction, Bride of Science: must Ada Lovelace be a superheroine?	Ada Lovelace Symposium	2015	DBLP DOI BibTeX RDF
49	John Barnes	From Byron to the Ada Programming Language.	Ada Lovelace Symposium	2015	DBLP DOI BibTeX RDF
49	Elizabeth Bruton, Sally Shuttleworth	Enchantress of Numbers or a mere debugger?: a brief history of cultural and academic understandings of Ada Lovelace.	Ada Lovelace Symposium	2015	DBLP DOI BibTeX RDF
49	Luís Miguel Pinho, Brad Moore, Stephen Michell, S. Tucker Taft	An Execution Model for Fine-Grained Parallelism in Ada.	Ada-Europe	2015	DBLP DOI BibTeX RDF
49	Luís Miguel Pinho, Brad Moore, Stephen Michell	Parallelism in Ada: Status and Prospects.	Ada-Europe	2014	DBLP DOI BibTeX RDF
49	Bernd Burgstaller, Johann Blieberger	Kronecker Algebra for Static Analysis of Ada Programs with Protected Objects.	Ada-Europe	2014	DBLP DOI BibTeX RDF
49	André de Matos Pedro, David Pereira, Luís Miguel Pinho, Jorge Sousa Pinto	Towards a Runtime Verification Framework for the Ada Programming Language.	Ada-Europe	2014	DBLP DOI BibTeX RDF
49	Sergio Sáez, Jorge Real, Alfons Crespo	Reliable Handling of Real-Time Scheduling Attributes on Multiprocessor Platforms in Ada 2012.	Ada-Europe	2014	DBLP DOI BibTeX RDF
49	Stephen Michell, Brad Moore, Luís Miguel Pinho	Tasklettes - A Fine Grained Parallelism for Ada on Multicores.	Ada-Europe	2013	DBLP DOI BibTeX RDF
49	Emilio Salazar, Alejandro Alonso 0001, Miguel A. de Miguel, Juan Antonio de la Puente	A Model-Based Framework for Developing Real-Time Safety Ada Systems.	Ada-Europe	2013	DBLP DOI BibTeX RDF
49	Thomas Quinot, Eric Botcazou	Lady Ada Mediates Peace Treaty in Endianness War.	Ada-Europe	2013	DBLP DOI BibTeX RDF
49	Carl Brandon, Peter Chapin	A SPARK/Ada CubeSat Control Program.	Ada-Europe	2013	DBLP DOI BibTeX RDF
49	Marco Panunzio, Tullio Vardanega	Ada Ravenscar Code Archetypes for Component-Based Development.	Ada-Europe	2012	DBLP DOI BibTeX RDF
49	Andrew Edmunds, Abdolbaghi Rezazadeh, Michael J. Butler	Formal Modelling for Ada Implementations: Tasking Event-B.	Ada-Europe	2012	DBLP DOI BibTeX RDF
49	Marisol García-Valls, Felipe Ibáñez-Vázquez	Integrating Middleware for Timely Reconfiguration of Distributed Soft Real-Time Systems with Ada DSA.	Ada-Europe	2012	DBLP DOI BibTeX RDF
49	José F. Ruiz, Cyrille Comar, Yannick Moy	Source Code as the Key Artifact in Requirement-Based Development: The Case of Ada 2012.	Ada-Europe	2012	DBLP DOI BibTeX RDF
49	Theodor Tempelmeier	Teaching 'Concepts of Programming Languages' with Ada.	Ada-Europe	2012	DBLP DOI BibTeX RDF
49	José Miguel Faria, João Martins, Jorge Sousa Pinto	An Approach to Model Checking Ada Programs.	Ada-Europe	2012	DBLP DOI BibTeX RDF
49	Julio L. Medina, Álvaro Garcia Cuesta	Model-Based Analysis and Design of Real-Time Distributed Systems with Ada and the UML Profile for MARTE.	Ada-Europe	2011	DBLP DOI BibTeX RDF
49	Ángel Esquinas, Juan Zamorano, Juan Antonio de la Puente, Miguel Masmano, Ismael Ripoll, Alfons Crespo	ORK+/XtratuM: An Open Partitioning Platform for Ada.	Ada-Europe	2011	DBLP DOI BibTeX RDF
49	Sanjoy K. Baruah, Alan Burns 0001	Implementing Mixed Criticality Systems in Ada.	Ada-Europe	2011	DBLP DOI BibTeX RDF
49	Rigoberto Chil, Diego Alonso, Francisco J. Ortiz, Juan Angel Pastor	Using Robotics as a Motivational Tool: An Ada Interface to a Pioneer Robot.	Ada-Europe	2011	DBLP DOI BibTeX RDF
49	Sergio Sáez, Silvia Terrasa, Alfons Crespo	A Real-Time Framework for Multiprocessor Platforms Using Ada 2012.	Ada-Europe	2011	DBLP DOI BibTeX RDF
49	Thierry Coq, Jean-Pierre Rosen	The SQALE Quality and Analysis Models for Assessing the Quality of Ada Source Code.	Ada-Europe	2011	DBLP DOI BibTeX RDF
49	Björn Andersson, Luís Miguel Pinho	Implementing Multicore Real-Time Scheduling Algorithms Based on Task Splitting Using Ada 2012.	Ada-Europe	2010	DBLP DOI BibTeX RDF
49	Edmond Schonberg	Towards Ada 2012: An Interim Report.	Ada-Europe	2010	DBLP DOI BibTeX RDF
49	Gingun Hong, Kirak Hong, Bernd Burgstaller, Johann Blieberger	AdaStreams: A Type-Based Programming Extension for Stream-Parallelism with Ada 2005.	Ada-Europe	2010	DBLP DOI BibTeX RDF
49	Alan Burns 0001, Andy J. Wellings	Dispatching Domains for Multiprocessor Platforms and Their Representation in Ada.	Ada-Europe	2010	DBLP DOI BibTeX RDF
49	Enrico Mezzetti, Marco Panunzio, Tullio Vardanega	Preservation of Timing Properties with the Ada Ravenscar Profile.	Ada-Europe	2010	DBLP DOI BibTeX RDF
49	Andy J. Wellings, Alan Burns 0001	The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005.	Ada-Europe	2010	DBLP DOI BibTeX RDF
49	Rod White	Using Hardware Support for Scheduling with Ada.	Ada-Europe	2010	DBLP DOI BibTeX RDF
49	Benjamin M. Brosgol	A Comparison of Generic Template Support: Ada, C++, C#, and JavaTM.	Ada-Europe	2010	DBLP DOI BibTeX RDF
49	Sergio Sáez, Alfons Crespo	Preliminary Multiprocessor Support of Ada 2012 in GNU/Linux Systems.	Ada-Europe	2010	DBLP DOI BibTeX RDF
49	Daniel Simon, Gunther Vogel, Erhard Plödereder	Teaching Software Engineering with Ada 95.	Ada-Europe	2005	DBLP DOI BibTeX RDF
49	Peter Amey, Neil White	High Integrity Ada in a UML and C World.	Ada-Europe	2004	DBLP DOI BibTeX RDF
49	Yogananda V. Jeppu, Kundapur Karunakar, P. S. Subramanyam	Testing Safety Critical Ada Code Using Non Real Time Testing.	Ada-Europe	2003	DBLP DOI BibTeX RDF
49	Volkert Barr, Sergio Montenegro 0001	Boss/Ada: An Open Source Ada 95 Safety Kit ( A dependable open source embedded operating system for GNAT).	Ada Deutschland Tagung	2002	DBLP BibTeX RDF
49	Krzysztof Czarnecki 0001, Michael Himsolt, Ernst Richter, Falk Vieweg, Alfred Rosskopf	DataFAN: A Practical Approach to Data Flow Analysis for Ada 95.	Ada-Europe	2002	DBLP DOI BibTeX RDF	language tools, verification, static analysis, quality assurance, safety critical, ASIS, SPARK, mission critical
49	Johann Blieberger, Bernd Burgstaller, Bernhard Scholz	Interprocedural Symbolic Evaluation of Ada Programs with Aliases.	Ada-Europe	1999	DBLP DOI BibTeX RDF
49	Alfred Rosskopf	Development of Flight Control Software in Ada: Architecture and Design Issues and Approaches.	Ada-Europe	1999	DBLP DOI BibTeX RDF
49	Johann Blieberger, Bernd Burgstaller	Symbolic Reaching Definitions Analysis of Ada Programs.	Ada-Europe	1998	DBLP DOI BibTeX RDF
49	David Battaglia, Austin Burke, John Beidler	ReUSE/Ada: A Tool to Promote Code Reuse.	TRI-Ada	1997	DBLP DOI BibTeX RDF
49	Johann Blieberger, Roland Lieger, Bernd Burgstaller	Augmenting Ada 95 with Additional Real-Time Features.	Ada-Europe	1996	DBLP DOI BibTeX RDF
49	Michael Oudshoorn, Stephen Crawley	Beyond Ada 95: The Addition of Persistence and Its Consequences.	Ada-Europe	1996	DBLP DOI BibTeX RDF
49	Chad Bremmon	The Funds Management Modernization: Experiences with Developing an Object-Oriented, Client-Server Management Information System in Ada 95.	Ada-Europe	1996	DBLP DOI BibTeX RDF	Ada95 Transition, Object Oriented, Information Systems, Experience Report, Client/Server
49	Kor Molenmaker	Converting the Part Task Nautical Simulator to Ada 95.	Ada-Europe	1996	DBLP DOI BibTeX RDF
49	Stephen R. Lindsay, Mark A. Roth	An Ada binding for ODMG-93.	TRI-Ada	1995	DBLP DOI BibTeX RDF
49	Ingmar Ögren, Håkan Lindergren	Ada 95 a base to architect systems in O4S (Objects For Systems).	TRI-Ada	1995	DBLP DOI BibTeX RDF
49	David A. Mundie	Using Ada 95 for embedded applications.	TRI-Ada	1995	DBLP DOI BibTeX RDF
49	Magnus Kempe	The composition of abstractions: evolution of software component design with Ada 95.	TRI-Ada	1995	DBLP DOI BibTeX RDF
49	Yvon Kermarrec, Laurent Pautet, Samuel Tardieu	GARLIC: generic Ada reusable library for interpartition communication.	TRI-Ada	1995	DBLP DOI BibTeX RDF
49	Hal Hart, Sy Wong	Why we don't use Ada (panel session).	TRI-Ada	1995	DBLP DOI BibTeX RDF
49	Arne Carlsson	Cost effective satellite development with use of an Ada microprocessor.	TRI-Ada	1995	DBLP DOI BibTeX RDF
49	T. Colin Pratt, Leslie Russell	Two award-winning Ada systems at object world.	TRI-Ada	1995	DBLP DOI BibTeX RDF
49	Charles W. Lillie, Frances L. Van Scoy, Brian A. Malloy, John Beidler	Development and distribution of Ada courseware.	TRI-Ada	1995	DBLP DOI BibTeX RDF
49	Sadhana Kapur	Ada and C interface issues in the development of peripheral device support libraries.	TRI-Ada	1995	DBLP DOI BibTeX RDF
49	John A. Hamilton Jr., David A. Cook, Udo W. Pooch	Distributed simulation in Ada 95.	TRI-Ada	1995	DBLP DOI BibTeX RDF
49	E. W. Giering, Theodore P. Baker	Implementing Ada protected objects - interface issues and optimization.	TRI-Ada	1995	DBLP DOI BibTeX RDF
49	Bart J. Nigro	Tri-Ada Panel 95 (panel session): commercial use of MIL-STD-498 and its replacement.	TRI-Ada	1995	DBLP DOI BibTeX RDF
49	John Hayward, Stephen Bale	Refinement of Z specifications using reusable software components in Ada.	TRI-Ada	1995	DBLP DOI BibTeX RDF
49	Peter E. Obermayer, Georg Schüer, Rudolf Landwehr	An implementation of the DIS standard in ADA.	TRI-Ada	1995	DBLP DOI BibTeX RDF
49	Robert G. Pettit IV, Hassan Gomaa	A software design method for Ada 95 based concurrent and real-time systems.	TRI-Ada	1995	DBLP DOI BibTeX RDF
49	James Sutton, Bernard Carré	Ada: the cheapest way to build a line of business.	TRI-Ada	1995	DBLP DOI BibTeX RDF
49	Jørgen Bundgaard	An ANDF based Ada 95 compiler system.	TRI-Ada	1995	DBLP DOI BibTeX RDF
49	Charles W. Lillie, Michael B. Feldman, Frances L. Van Scoy, John Beidler, Brian A. Malloy	Development and distribution of Ada courseware (panel).	TRI-Ada	1995	DBLP DOI BibTeX RDF
49	Alan Paterson	Swiss postbank: Ada in a commercial application.	TRI-Ada	1995	DBLP DOI BibTeX RDF
49	John Thornley	Performance of a high-level parallel programming layer defined on top of the Ada tasking model.	TRI-Ada	1995	DBLP DOI BibTeX RDF
49	Neal S. Coulter, Ira Monarch, Suresh Konda, Marvin J. Carr	Ada and the evolution of software engineering.	TRI-Ada	1995	DBLP DOI BibTeX RDF
49	Mitch Gart	Interfacing Ada to C - solutions to four problems.	TRI-Ada	1995	DBLP DOI BibTeX RDF
49	Stéphane Barbey	Ada 95 as implementation language for object-oriented designs.	TRI-Ada	1995	DBLP DOI BibTeX RDF