|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 687 occurrences of 330 keywords
|
|
|
|
|
Results
Found 330 publication records. Showing 330 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ian Broster, Andrew Coombes |
How to measure and optimize reliable embedded software.  |
SIGAda  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricky E. Sward, Michael B. Feldman, Dan Eilers, Jean-Pierre Rosen, Frank Singhoff, Julien Delange, Mark Gardinier, Karl A. Nyberg, Jeff Boleng (eds.) |
Proceedings of the 2011 Annual ACM SIGAda International Conference on Ada, Denver, Colorado, USA, November 6-10, 2011 |
SIGAda |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Pierre Rosen |
Designing and checking coding standards for ada. |
SIGAda |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hazem Ismail Ali, Luís Miguel Pinho |
A parallel programming model for ada. |
SIGAda |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jay Abraham, Jeff Chapple, Cyril Preve |
Improving quality of Ada software with range analysis. |
SIGAda |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Grady Booch |
Everything i know i learned from ada. |
SIGAda |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Gaudel, Frank Singhoff, Alain Plantec, Stéphane Rubini, Pierre Dissaux, Jérôme Legrand |
An Ada design pattern recognition tool for AADL performance analysis. |
SIGAda |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael B. Feldman |
Introduction to Ada. |
SIGAda |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin C. Carlisle |
Why i came back to Ada. |
SIGAda |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bradley J. Moore |
Stack safe parallel recursion with paraffin. |
SIGAda |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Joyce L. Tokar, F. David Jones, Paul E. Black, Chris E. Dupilka |
Software vulnerabilities precluded by spark. |
SIGAda |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jay Abraham, Jeff Chapple, Cyril Preve |
Improving quality of Ada software with range analysis. |
SIGAda |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan Eilers, Tero Koskinen |
Making the non-executable ACATS tests executable. |
SIGAda |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Pierre Rosen, Brad Moore, S. Tucker Taft |
How to make ada go 'viral'. |
SIGAda |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | John W. McCormick, Frank Singhoff |
Building embedded real-time applications. |
SIGAda |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Tucker Taft |
Experimenting with parasail: parallel specification and implementation language. |
SIGAda |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricky E. Sward, Jeff Boleng |
Service-oriented architecture (SOA)concepts and implementations. |
SIGAda |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin M. Brosgol |
Do-178c: the next avionics safety standard. |
SIGAda |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | James S. Rogers |
Language choice for safety critical applications. |
SIGAda |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jason Belt, John Hatcliff, Robby, Patrice Chalin, David S. Hardin, Xianghua Deng |
Enhancing spark's contract checking facilities using symbolic execution. |
SIGAda |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert G. Pettit IV |
Designing real-time, concurrent, and embedded software systems using UML and Ada. |
SIGAda |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim Ras, Albert M. K. Cheng |
A deterministic run-time environment for Ada-05 on the ATmega16 microcontroller. |
SIGAda |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Elizabeth Fong, Paul E. Black, Richard F. Leslie, Simson L. Garfinkel, Larry Wagoner, Gary McGraw, Jeff Williams |
Wouldn't it be nice to have software labels. |
SIGAda |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard B. Schmidt |
Experience report: Ada & Java integration in the FAA's ERAM SWIM program. |
SIGAda |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | John W. McCormick |
Ada for parallel, embedded, and real-time applications. |
SIGAda |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | You Li, Lu Yang, Lei Bu, Linzhang Wang, Jianhua Zhao, Xuandong Li |
Extending Ada to support multi-core based monitoring and fault tolerance. |
SIGAda |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard M. Weatherly |
"Unmanned systems and Ada". |
SIGAda |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Cindy Della Torre Cicalese, Joel Sherrill, Ricky E. Sward, Richard M. Weatherly |
Unmanned systems with Ada and RTEMS. |
SIGAda |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Edmond Schonberg |
Towards Ada 2012: an interim report. |
SIGAda |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | William Bail |
Effective requirements engineering. |
SIGAda |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Pierre Rosen |
Use of object oriented technologies in high reliability system. |
SIGAda |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter J. Bradley, Juan Antonio de la Puente, Juan Zamorano |
Real-time system development in ada using LEGO® mindstorms® NXT. |
SIGAda |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Brad J. Moore |
Parallelism generics for Ada 2005 and beyond. |
SIGAda |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mamdouh Jemli, Jean-Pierre Rosen |
A methodology for avoiding known compiler problems using static analysis. |
SIGAda |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricky E. Sward |
The rise, fall and persistence of Ada. |
SIGAda |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris Lane |
Systems software integrity assurance. |
SIGAda |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alok Srivastava, Jeff Boleng (eds.) |
Proceedings of the 2010 Annual ACM SIGAda International Conference on Ada, Fairfax, Virginia, USA, October 24-28, 2010 |
SIGAda |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Pierre Rosen, S. Tucker Taft |
The new semantic model in ASIS for Ada 2005. |
SIGAda |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricky E. Sward |
Service oriented architecture (SOA) concepts and implementations. |
SIGAda |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Chad Loseby, Peter Chapin, Carl Brandon |
Use of SPARK in a resource constrained embedded system. |
SIGAda |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard B. Schmidt |
An ada retrospective: developing large, mature, reliable systems. |
SIGAda |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Samuel Tardieu, Alexis Polti |
Complementing Ada with other programming languages. |
SIGAda |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sheldon X. Liang, Lyle A. Reibling, Samuel Sambasivam |
"Automatic Prototype Generating" restated with re-ADA: perspective-bridged architecture for document-driven systems transitioning. |
SIGAda |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | John W. McCormick |
Ada for real-time and parallel processing. |
SIGAda |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | John Knight |
Echo: a new approach to formal verification based on Ada. |
SIGAda |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricky E. Sward |
Georegistration of imagery from unmanned aircraft systems using Ada. |
SIGAda |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Gardinier |
Open source development of a safety critical dual redundant (Ada95/C++) signal control program environment (SCOPE). |
SIGAda |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven M. Lathrop |
Dynamic analysis of branch mispredictions in Ada. |
SIGAda |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | David P. Gluch |
Embedded systems engineering with the AADL: modeling & analysis. |
SIGAda |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Héctor Pérez Tijero, J. Javier Gutiérrez |
Experience in integrating interchangeable scheduling policies into a distribution middleware for Ada. |
SIGAda |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander S. Mentis |
A robotics API dialect for type-safe robots: translating Myro to Ada. |
SIGAda |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Delange, Laurent Pautet, Alain Plantec, Mickaël Kerboeuf, Frank Singhoff, Fabrice Kordon |
Validate, simulate, and implement ARINC653 systems using the AADL. |
SIGAda |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ben Brosgol |
An introduction to the C# language and .NET infrastructure. |
SIGAda |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | James V. Chelini |
Working towards DO-178C/ED-12C, DO-248C/ED-94C, and DO-278A/ED109A. |
SIGAda |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Quentin Ochem |
Multi-language programming with Ada. |
SIGAda |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Greg Gicca, Jeff Boleng (eds.) |
Proceedings of the 2009 Annual ACM SIGAda International Conference on Ada, Saint Petersburg, Florida, USA, November 1-5, 2009 |
SIGAda |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Tong Dinh, Shan Barkataki |
Distributed container: a design pattern for fault tolerance and high speed data exchange. |
SIGAda |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeanne L. Murtagh, Drew Hamilton |
How Ada object orientation works. |
SIGAda |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jay C. Smart |
A look at Ada from both sides now (a government, and a defense contractor perspective). |
SIGAda |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Cynthia Della Torre Cicalese, Joel Sherrill, Ricky E. Sward, Richard M. Weatherly |
Unmanned systems and Ada. |
SIGAda |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael B. Feldman |
Introduction to Ada. |
SIGAda |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pat Rogers |
Embedded, hard, real-time systems with Ada. |
SIGAda |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Trevor Jennings |
SPARK: the libre language and toolset for high-assurance software engineering. |
SIGAda |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruce R. Barkstrom |
On using Ada to solve problems in computational economics and related disciplines with concurrent, multiagent algorithms. |
SIGAda |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Cynthia Della Torre Cicalese, Richard M. Weatherly, Joel Sherrill, Robert H. Bolling, Kevin Forbes, Robert J. Grabowski, Keven Ring, David Seidel |
A distributed, multi-language architecture for large unmanned ground vehicles. |
SIGAda |
2008 |
DBLP DOI BibTeX RDF |
large unmanned ground vehicles, java, ada, robotics |
| 1 | S. Tucker Taft |
Implementing the extended return statement for Ada 2005. |
SIGAda |
2008 |
DBLP DOI BibTeX RDF |
build in place, extended return statement, limited types, ada 2005 |
| 1 | Benjamin M. Brosgol |
From strawman to Ada 2005: a socio-technical retrospective. |
SIGAda |
2008 |
DBLP DOI BibTeX RDF |
security, software engineering, design, reliability, ada, software, safety, languages, systems, assurance, high integrity |
| 1 | Ward Douglas Maurer |
Removing backward go-to statements from Ada programs: possibilities and problems. |
SIGAda |
2008 |
DBLP DOI BibTeX RDF |
ada compilers, go-to statements, loop trees, directed graphs |
| 1 | Michael B. Feldman |
SF1: introduction to ada. |
SIGAda |
2008 |
DBLP DOI BibTeX RDF |
software engineering, reliability, ada, object-oriented programming, programming language, software, concurrent programming |
| 1 | Joyce L. Tokar |
30 years after steelman, does DoD still have a software crisis? |
SIGAda |
2008 |
DBLP DOI BibTeX RDF |
security, software engineering, design, reliability, ada, software, safety, languages, systems, assurance, high integrity |
| 1 | John W. McCormick |
MA1: Ada for real-time and parallel processing. |
SIGAda |
2008 |
DBLP DOI BibTeX RDF |
software engineering, design, reliability, real-time, parallel processing, ada, software, safety, languages, systems, assurance, high integrity |
| 1 | Michael B. Feldman, Leemon C. Baird III (eds.) |
Proceedings of the 2008 Annual ACM SIGAda International Conference on Ada, Portland, OR, USA, October 26-30, 2008 |
SIGAda |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin M. Brosgol |
MP1: languages for safety-critical software: issues and assessment. |
SIGAda |
2008 |
DBLP DOI BibTeX RDF |
do-178, security, software engineering, design, reliability, ada, object-oriented, software, safety, languages, systems, assurance, safety-critical, high integrity |
| 1 | Elaheh Safari-Sharifabadi, Constantinos Constantinides |
Dynamic analysis of Ada programs for comprehension and quality measurement. |
SIGAda |
2008 |
DBLP DOI BibTeX RDF |
quality measurement and metrics, program comprehension, dynamic program analysis |
| 1 | Brad J. Moore |
Distributed status monitoring and controlusing remote buffers and Ada 2005. |
SIGAda |
2008 |
DBLP DOI BibTeX RDF |
multicast, c++, ada 2005, remote interfaces, distributed systems annex |
| 1 | Brad J. Moore |
A buffer container class hierarchy using Ada 2005. |
SIGAda |
2008 |
DBLP DOI BibTeX RDF |
container, ada 2005, remote interfaces, bounded buffer |
| 1 | Ricky E. Sward |
SP1: service oriented architecture (SOA) concepts and implementations for Ada. |
SIGAda |
2008 |
DBLP DOI BibTeX RDF |
software engineering, service oriented architecture, reliability, ada, software, languages, systems, web server, enterprise service bus, high integrity |
| 1 | Ricky E. Sward, Kelly J. Whitacre |
A multi-language service-oriented architecture using an enterprise service bus. |
SIGAda |
2008 |
DBLP DOI BibTeX RDF |
multi-language development, service-oriented architecture, soa, software architecture, enterprise service bus, esb |
| 1 | Steven Doran |
Anima: a Ada derived programming language for real-time embedded software development. |
SIGAda |
2008 |
DBLP DOI BibTeX RDF |
reliability, real-time, embedded |
| 1 | Jim Ras, Albert M. K. Cheng |
Real-time synchronization on distributed architecture with Ada-2005. |
SIGAda |
2008 |
DBLP DOI BibTeX RDF |
dpcp, dsrp, edf, ada, pcp, rms, srp |
| 1 | Jean-Pierre Rosen |
The Ada paradox(es). |
SIGAda |
2008 |
DBLP DOI BibTeX RDF |
security, software engineering, design, reliability, ada, software, safety, languages, systems, assurance, high integrity |
| 1 | John W. McCormick |
Ada and software engineering education: one professor's experiences. |
SIGAda |
2008 |
DBLP DOI BibTeX RDF |
model railroads, model trains, real-time, education, ada, c, embedded, laboratory |
| 1 | Greg Gicca, Benjamin M. Brosgol |
GNAT BoF: where would you like to see GNAT go? |
SIGAda |
2008 |
DBLP DOI BibTeX RDF |
birds-of-a-feather, safety |
| 1 | Sheldon X. Liang, Lyle A. Reibling, John Betts |
Re-ADA: reliable Ada-based descriptive architecture for C4ISR via a quantitative interoperating model. |
SIGAda |
2008 |
DBLP DOI BibTeX RDF |
interoperability, dependability, heterogeneity, architectural description |
| 1 | Tom Grosman |
Hibachi: the eclipse ada development toolset. |
SIGAda |
2007 |
DBLP DOI BibTeX RDF |
reliability, ada, software, safety, languages, eclipse, development environment, high integrity |
| 1 | Tyler B. Hallmark, Eugene K. Ressler |
Parallel evolution of game evaluation functions in ada. |
SIGAda |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | John W. McCormick |
MA1: real-time and parallel processing in ada. |
SIGAda |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricky E. Sward |
SP2: exposing ada web services using a service-oriented architecture (SOA). |
SIGAda |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin M. Brosgol |
SA2: languages for safety-critical software: issues and assessment. |
SIGAda |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Kung-Kiu Lau |
Using SPARK for a beginner's course on reasoning about imperative programs. |
SIGAda |
2007 |
DBLP DOI BibTeX RDF |
predicate transformer semantics, imperative programming |
| 1 | Frank Singhoff |
MP1: real time scheduling theory and its use with ada. |
SIGAda |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris Nettleton, Wilson Ifill, Colin Marsh |
Towards a demonstrably-correct ada compiler. |
SIGAda |
2007 |
DBLP DOI BibTeX RDF |
compiler, correctness, ada95 |
| 1 | Alok Srivastava, Leemon C. Baird III (eds.) |
Proceedings of the 2007 Annual ACM SIGAda International Conference on Ada, Fairfax, Virginia, USA, November 4-8, 2007 |
SIGAda |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin C. Carlisle, Leemon C. Baird III |
Timing neural networks in C and ada. |
SIGAda |
2007 |
DBLP DOI BibTeX RDF |
neural networks, ada, benchmarking, C |
| 1 | Kung-Kiu Lau, Zheng Wang 0015 |
Verified component-based software in SPARK: experimental results for a missile guidance system. |
SIGAda |
2007 |
DBLP DOI BibTeX RDF |
proof reuse, verified software, software components, SPARK |
| 1 | Robert B. K. Dewar |
The compiler as a static analysis tool. |
SIGAda |
2007 |
DBLP DOI BibTeX RDF |
ada, compilers, C++, static analysis, C, safety, certification |
| 1 | Frank Singhoff, Alain Plantec |
AADL modeling and analysis of hierarchical schedulers. |
SIGAda |
2007 |
DBLP DOI BibTeX RDF |
ada framework, cheddar, platypus, real time, scheduling analysis, AADL, timed automaton |
| 1 | Rod Chapman |
MF1: security by construction. |
SIGAda |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | John G. P. Barnes |
SA1: introducing the best of ada. |
SIGAda |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | John G. P. Barnes |
SP1: introducing the best of ada 2005. |
SIGAda |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 330 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license