|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2580 occurrences of 979 keywords
|
|
|
Results
Found 5018 publication records. Showing 4847 according to the selection in the facets
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 |
|
Displaying result #501 - #600 of 4847 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|