|
|
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 | Rod Chapman |
Correctness by construction: putting engineering (back) into software. |
SIGAda |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jeffrey O'Leary |
Federal aviation administration and Ada. |
SIGAda |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Paul E. Black |
Static analysis summit II. |
SIGAda |
2007 |
DBLP DOI BibTeX RDF |
security, evaluation, software engineering, design, reliability, ada, metrics, tool, safety, languages, assurance, high integrity, tool evaluation, software assurance |
1 | Ricky E. Sward |
Using ada in a service-Ooriented architecture. |
SIGAda |
2007 |
DBLP DOI BibTeX RDF |
SOA, service-oriented architecture, software architecture, enterprise service bus, ESB |
1 | Paul Pukite, Luke Ludwig |
Generic discrete event simulations using DEGAS: application to logic design and digital signal processing. |
SIGAda |
2007 |
DBLP DOI BibTeX RDF |
scheduling, ada, concurrency, discrete-event simulation, logic design, behavioral modeling, design automation, GNAT |
1 | Joe Jarzombek |
Wanted: software with assurance built-in. |
SIGAda |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Ward Douglas Maurer |
Using mathematics to improve ada compiled code, part 2: the proof. |
SIGAda |
2007 |
DBLP DOI BibTeX RDF |
ada compilers, base registers, code improvement, display method, loop trees, nested procedures |
1 | Karl A. Nyberg |
Multi-core + multi-tasking = multi-opportunity? |
SIGAda |
2007 |
DBLP DOI BibTeX RDF |
multi-core, tasking, parallel execution |
1 | Robert Dewar |
Birds-of-a-feather: where would you like to see GNAT go? |
SIGAda |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Alain Plantec, Frank Singhoff |
Refactoring of an Ada 95 library with a Meta CASE tool. |
SIGAda |
2006 |
DBLP DOI BibTeX RDF |
PlatypusCheddar, code generating, meta-modeling, EXPRESS, STEP, Meta CASE |
1 | Martin C. Carlisle, John A. Hamilton Jr. |
Integrating Ada 2005 into visual studio 2005. |
SIGAda |
2006 |
DBLP DOI BibTeX RDF |
A#, JGNAT, MGNAT, visual studio 2005, Ada 2005 |
1 | Tanya Markow, Eugene K. Ressler, Jean R. S. Blair |
Catch that speeding turtle: latching onto fun graphics in CS1. |
SIGAda |
2006 |
DBLP DOI BibTeX RDF |
AdaGraph, GtkAda, TurtleGraphics, Ada, CS1, graphics, logo, spider |
1 | Robert Dewar |
Ada 2005 & high integrity systems. |
SIGAda |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Judith Klein |
Use of Ada in Lockheed Martin for air traffic management and beyond. |
SIGAda |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Luke Ludwig, Paul Pukite |
DEGAS: discrete event Gnu advanced scheduler. |
SIGAda |
2006 |
DBLP DOI BibTeX RDF |
scheduling, Ada, concurrency, GNAT, pthread |
1 | Bechir Zalila, Jérôme Hugues, Laurent Pautet |
An improved IDL compiler for optimizing CORBA applications. |
SIGAda |
2006 |
DBLP DOI BibTeX RDF |
PolyORB, real-time, Ada, compilation, CORBA, embedded, IDL, OMG |
1 | Rajaa S. Shindi, Shaun Cooper |
Evaluate the performance changes of processor simulator benchmarks When context switches are incorporated. |
SIGAda |
2006 |
DBLP DOI BibTeX RDF |
sim-alpha, cache, cpu, context switches, processor simulators |
1 | Drasko M. Sotirovski |
Time horizon in distributed object societies. |
SIGAda |
2006 |
DBLP DOI BibTeX RDF |
availability through software replication |
1 | Martin C. Carlisle |
Automatic OO parser generation using visitors for Ada 2005. |
SIGAda |
2006 |
DBLP DOI BibTeX RDF |
AdaGOOP, automatic parser generation, Ada 2005, visitor pattern |
1 | S. Tucker Taft |
Why you should be using Ada 2005 now! |
SIGAda |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Khaled Barbaria, Laurent Pautet, Isabelle Perseil |
Schizophrenic middleware support for fault tolerance. |
SIGAda |
2006 |
DBLP DOI BibTeX RDF |
fault tolerance, software architecture, middleware, Ada, CORBA |
1 | Ricky E. Sward, Mark Gerken |
Developing safety critical software for an unmanned aerial vehicle situational awareness tool. |
SIGAda |
2006 |
DBLP DOI BibTeX RDF |
formal methods, UAV, unmanned aerial vehicle, safety critical, SPARK, high integrity |
1 | David Mosley |
When to migrate legacy embedded applications. |
SIGAda |
2006 |
DBLP DOI BibTeX RDF |
certification, migration, portability, lifecycle |
1 | Greg Gicca, Ricky E. Sward, Leemon C. Baird III (eds.) |
Proceedings of the 2006 Annual ACM SIGAda International Conference on Ada, Albuquerque, New Mexico, USA, November 12-16, 2006 |
SIGAda |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Gustaf Naeser, Lars Asplund, Johan Furunäs |
SafetyChip: a time monitoring and policing device. |
SIGAda |
2005 |
DBLP DOI BibTeX RDF |
FPGA, kernel, hardware monitoring |
1 | Matt Mark |
Data sharing between ada and C/C++. |
SIGAda |
2005 |
DBLP DOI BibTeX RDF |
cross-language interface |
1 | John W. McCormick, Leemon C. Baird III (eds.) |
Proceedings of the 2005 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2005, Atlanta, GA, USA, November 13-17, 2005 |
SIGAda |
2005 |
DBLP DOI BibTeX RDF |
|
1 | James F. Davis |
The affordable application of formal methods to software engineering. |
SIGAda |
2005 |
DBLP DOI BibTeX RDF |
trust, correctness, proven, engineering, formal |
1 | Andrew Berns |
A comparison of CORBA and ada's distributed systems annex. |
SIGAda |
2005 |
DBLP DOI BibTeX RDF |
distributed computing, CORBA, distributed systems annex |
1 | Xavier Sautejeau |
Modeling SPARK systems with UML. |
SIGAda |
2005 |
DBLP DOI BibTeX RDF |
UML, ada, profile, metamodel, informed, SPARK |
1 | George Romanski |
Ada in the avionics industry. |
SIGAda |
2005 |
DBLP DOI BibTeX RDF |
Ada |
1 | Ricky E. Sward, Leemon C. Baird III |
Optimizing the SPARK program slicer. |
SIGAda |
2005 |
DBLP DOI BibTeX RDF |
formal methods, program slicing, ASIS |
1 | Knut H. Pedersen, Constantinos Constantinides |
AspectAda: aspect oriented programming for ada95. |
SIGAda |
2005 |
DBLP DOI BibTeX RDF |
ada semantic interface specification (ASIS), aspect-oriented programming (AOP), concurrent programming, inheritance anomaly, ada95 |
1 | Javier Miranda, Edmond Schonberg, Hristian Hristov Kirtchev |
The implementation of ada 2005 synchronized interfaces in the GNAT compiler. |
SIGAda |
2005 |
DBLP DOI BibTeX RDF |
compiler, synchronization, interfaces, Ada 2005, GNAT |
1 | Alexandr Korochkin, Salah Imad, Dmitry Korochkin |
Experimental performance analysis of ada programs in cluster system. |
SIGAda |
2005 |
DBLP DOI BibTeX RDF |
distributed (cluster) systems, java, ada, monitor, process, mutual exclusion, SMP, remote procedure call, process synchronization, client-server model |
1 | David G. Mathisen, Robert W. Carey |
Orchestrating shots for the national ignition racility. |
SIGAda |
2005 |
DBLP DOI BibTeX RDF |
java, XML, architecture, concurrency, workflow, framework, CORBA, multi-threaded, state machine, model-based, data driven, Ada95 |
1 | Frank Singhoff, Jérôme Legrand, Laurent Nana, Lionel Marcé |
Scheduling and memory requirements analysis with AADL. |
SIGAda |
2005 |
DBLP DOI BibTeX RDF |
ada framework, memory requirements and real time scheduling analysis, AADL |
1 | Anthony S. Ruocco |
Experiences using SPARK in an undergraduate CS course. |
SIGAda |
2005 |
DBLP DOI BibTeX RDF |
computer science education, computer science curriculum, SPARK |
1 | Gustaf Naeser, Kristina Lundqvist, Lars Asplund |
Temporal skeletons for verifying time. |
SIGAda |
2005 |
DBLP DOI BibTeX RDF |
verification, ada, formal notation |
1 | Howard Ausden, Karl A. Nyberg |
Using ASIS to generate C++ bindings. |
SIGAda |
2005 |
DBLP DOI BibTeX RDF |
cross-language libraries, multiple language interfaces, program transformation |
1 | John W. McCormick, Ricky E. Sward (eds.) |
Proceedings of the 2004 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2004, Atlanta, GA, USA, November 14-14, 2004 |
SIGAda |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Robert Soricone, Melvin Neville |
Comparative analysis of genetic algorithm implementations. |
SIGAda |
2004 |
DBLP DOI BibTeX RDF |
genetic algorithms, parameterized types |
1 | Geoff T. Smith |
Measuring the effectiveness of ACATS. |
SIGAda |
2004 |
DBLP DOI BibTeX RDF |
ACATS, conformity assessment, validation, conformance, runtime |
1 | Andy Lapping |
Model driven development with Ada. |
SIGAda |
2004 |
DBLP DOI BibTeX RDF |
UML, unified modeling language, Ada, process, model driven development |
1 | C. Wayne Brown |
Teaching graphics using Ada. |
SIGAda |
2004 |
DBLP DOI BibTeX RDF |
Ada, computer graphics, C, VRML, cross compiling, code conversion |
1 | Paul Anderson |
A refactoring tool for Ada 95. |
SIGAda |
2004 |
DBLP DOI BibTeX RDF |
static analysis, refactoring, Ada 95, ASIS, software engineering tools |
1 | Frank Singhoff, Jérôme Legrand, Laurent Nana, Lionel Marcé |
Cheddar: a flexible real time scheduling framework. |
SIGAda |
2004 |
DBLP DOI BibTeX RDF |
real time scheduling, simulation tool |
1 | Javier Miranda, Edmond Schonberg |
GNAT: on the road to Ada 2005. |
SIGAda |
2004 |
DBLP DOI BibTeX RDF |
compiler, Ada 2005, front-end, GNAT |
1 | Ricky E. Sward, A. T. Chamillard |
Re-engineering global variables in Ada. |
SIGAda |
2004 |
DBLP DOI BibTeX RDF |
ASIS, SPARK, global variables |
1 | Roderick Chapman, Adrian Hilton 0002 |
Enforcing security and safety models with an information flow analysis tool. |
SIGAda |
2004 |
DBLP DOI BibTeX RDF |
Bell-LaPadula, Dolev-Yao, SPARK Ada, security, Ada, safety, information flow |
1 | James F. Davis |
Information systems security engineering: a critical component of the systems engineering lifecycle. |
SIGAda |
2004 |
DBLP DOI BibTeX RDF |
ISSE, security, engineering, assurance, IA |
1 | Eric Potratz |
A practical comparison between Java and Ada in implementing a real-time embedded system. |
SIGAda |
2003 |
DBLP DOI BibTeX RDF |
conditional synchronization, package elaboration, scheduling, Java, performance, real-time systems, embedded systems, Ada, concurrency, object-oriented programming, memory management, drivers, priority inversion |
1 | Sami Evangelista, Claude Kaiser, Jean-François Pradat-Peyre, Pierre Rousseau |
Verifying linear time temporal logic properties of concurrent Ada programs with quasar. |
SIGAda |
2003 |
DBLP DOI BibTeX RDF |
petri nets, concurrency, temporal logic, software verification |
1 | Jeffrey W. Humphries, Martin C. Carlisle, Terry A. Wilson |
Multilanguage programming with ada in the .Net environment. |
SIGAda |
2003 |
DBLP DOI BibTeX RDF |
A#, microsoft .NET environment, multilanguage programming, Ada 95 |
1 | Peter Amey, Roderick Chapman |
Static verification and extreme programming. |
SIGAda |
2003 |
DBLP DOI BibTeX RDF |
Ada, extreme programming, SPARK, static verification, program proof, information-flow analysis |
1 | Baowen Xu, Zhenqiang Chen, Jianjun Zhao 0001 |
Measuring cohesion of packages in Ada95. |
SIGAda |
2003 |
DBLP DOI BibTeX RDF |
measurement, object-oriented, cohesion |
1 | Jordi Marco, Xavier Franch |
A framework for designing and implementing the Ada standard container library. |
SIGAda |
2003 |
DBLP DOI BibTeX RDF |
access by position, container libraries, iterators, quality models |
1 | Gaetan Allaert, Dirk Craeynest, Philippe Waroquiers |
European air traffic flow management: porting a large application to GNU/linux. |
SIGAda |
2003 |
DBLP DOI BibTeX RDF |
CFMU, ETFMS, GNU, HP-PA RISC, HP-UX, Korn shell, eurocontrol, intel 80x86, performance, Ada, C++, C, linux, portability, COTS, POSIX, GNAT, air traffic management |
1 | Robert C. Leif, Ricky E. Sward (eds.) |
Proceedings of the 2003 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2003, San Diego, CA, USA, December 7-11, 2003 |
SIGAda |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Ricky E. Sward, A. T. Chamillard |
AdaSlicer: an Ada program slicer. |
SIGAda |
2003 |
DBLP DOI BibTeX RDF |
program slicing, ASIS |
1 | Jean-Pierre Rosen |
Experiences in developing a typical web/database application. |
SIGAda |
2003 |
DBLP DOI BibTeX RDF |
GTK, Ada, design patterns, web server, data-base, AWS |
1 | Ricky E. Sward, Martin C. Carlisle, Barry S. Fagin, David S. Gibson |
The case for Ada at the USAF academy. |
SIGAda |
2003 |
DBLP DOI BibTeX RDF |
Java, C++, computer science education, Ada 95, C# |
1 | Dhavy Gantsou |
A DSA model for data access in self-organizing systems. |
SIGAda |
2003 |
DBLP DOI BibTeX RDF |
mobile data access, real-time data access, self-organizing systems, distributed synchronization, distributed system annex |
1 | V. Santhanam |
The anatomy of an FAA-qualifiable Ada subset compiler. |
SIGAda |
2002 |
DBLP DOI BibTeX RDF |
FAA, Ada, compiler, software certification, DO-178B |
1 | Richard Conn |
Ada, CMM level 4, and the C-130J aircraft. |
SIGAda |
2002 |
DBLP DOI BibTeX RDF |
Ada |
1 | Melvin Neville, Anaika Sibley |
Developing a generic genetic algorithm. |
SIGAda |
2002 |
DBLP DOI BibTeX RDF |
Ada education, genetic algorithm, artificial intelligence, evolutionary algorithm, data structures, software tools, generics, teaching, templates |
1 | Dmitry Korochkin, Sergey Korochkin |
Experimental performance analysis of the Ada95 and Java parallel program on SMP systems. |
SIGAda |
2002 |
DBLP DOI BibTeX RDF |
SMP systems, Java, Ada, synchronization, mutual exclusion, thread, task |
1 | Robert W. Carey, Paul J. Van Arsdall, John P. Woodruff |
The national ignition facility: early operational experience with a large Ada control system. |
SIGAda |
2002 |
DBLP DOI BibTeX RDF |
Ada |
1 | Thomas C. Brooke |
Development of a distributed, cross-platform simulator. |
SIGAda |
2002 |
DBLP DOI BibTeX RDF |
simulation, testing, Ada, training, distributed, linux, portability, windows, satellite |
1 | Martin C. Carlisle, Ricky E. Sward, Jeffrey W. Humphries |
Weaving Ada 95 into the .net environment. |
SIGAda |
2002 |
DBLP DOI BibTeX RDF |
Microsoft .Net environment, common language runtime, Ada 95, just-in-time compiling |
1 | Robert C. Leif, Suzanne B. Leif, Stephanie H. Leif |
XML and Ada complement each other. |
SIGAda |
2002 |
DBLP DOI BibTeX RDF |
Ada DICOM, XML, standards, schema |
1 | Peter Amey, Roderick Chapman |
Industrial strength exception freedom. |
SIGAda |
2002 |
DBLP DOI BibTeX RDF |
DO178B, exception freedom, run-time errors, security, Ada, safety, common criteria, SPARK, high-integrity systems |
1 | Salih Yurttas, John McCormick (eds.) |
Proceedings of the 2002 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2002, Houston, Texas, USA, December 8-12, 2002 |
SIGAda |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Michael McEvilley |
The essence of information assurance and its implications for the Ada community. |
SIGAda |
2002 |
DBLP DOI BibTeX RDF |
Ada, information assurance, security engineering |
1 | Dhavy Gantsou |
An architectural framework for supporting distributed object based routing. |
SIGAda |
2002 |
DBLP DOI BibTeX RDF |
glade, TCP/IP, routing protocols, distributed objects, Ada95, distributed system annex |
1 | Leonid Dulman |
Visual Ada developer. |
SIGAda |
2002 |
DBLP DOI BibTeX RDF |
Ada-95, widget, ide, Tcl/Tk, gui |
1 | S. Tucker Taft |
Keynote address: fixing software before it breaks. |
SIGAda |
2001 |
DBLP DOI BibTeX RDF |
Ada |
1 | Heinz Faßbender |
Reengineering an Ada95-programmed command and control information system by using UML. |
SIGAda |
2001 |
DBLP DOI BibTeX RDF |
modeling, UML, UML, Ada, Reengineering, case tools |
1 | Usha Santhanam |
Automating software module testing for FAA certification. |
SIGAda |
2001 |
DBLP DOI BibTeX RDF |
FAA Certification, Software Module Test, Structural Test, Test Automation |
1 | Kenneth L. Ehresman, Joey L. Frantzen |
Electronic maneuvering board and dead reckoning tracer decision aid for the officer of the deck. |
SIGAda |
2001 |
DBLP DOI BibTeX RDF |
Contact Avoidance, GtkAda, Maneuvering Board, Officer of the Deck Aid, U.S. Navy, UML, Ada, Navigation, Model-View-Controller, GNAT |
1 | Benjamin M. Brosgol, Brian Dobbing |
Real-time convergence of Ada and Java™. |
SIGAda |
2001 |
DBLP DOI BibTeX RDF |
scheduling, Java, Java, Real-Time, Ada, Ada, garbage collection, threads, asynchrony |
1 | Bruce R. Barkstrom |
Ada 95 bindings for the NCSA hierarchical data format. |
SIGAda |
2001 |
DBLP DOI BibTeX RDF |
HDF4, Hierarchical Data Format, Self-documenting files, Ada, File formats, HDF5, HDF |
1 | Robert Dewar |
Keynote address: future development of the Ada language. |
SIGAda |
2001 |
DBLP DOI BibTeX RDF |
Ada |
1 | William W. Pritchett |
An object-oriented metrics suite for Ada 95. |
SIGAda |
2001 |
DBLP DOI BibTeX RDF |
Ada |
1 | S. Tucker Taft |
Using Ada 95 in a compiler course. |
SIGAda |
2001 |
DBLP DOI BibTeX RDF |
Ada, Ada 95, course, compiler construction |
1 | Björn Källberg, Rei Stråhle |
Ship system 2000, a stable architecture under continuous evolution. |
SIGAda |
2001 |
DBLP DOI BibTeX RDF |
Ada |
1 | Janusz W. Laski, William Stanley, Pawel Podgorski |
Beyond ASIS: program data bases and tool-oriented queries. |
SIGAda |
2001 |
DBLP DOI BibTeX RDF |
program data bases, verification, testing, Ada, static analysis, Software, queries, dynamic analysis, program dependencies, ASIS |
1 | Paul D. Stachour (eds.) |
Proceedings ACM SIGAda Annual International Conference, SIGAda 2001, Twin Cities, Best Western The Thunderbird Hotel & Convention Center, Bloomington, MN, USA, September 30 - October 4, 2001. |
SIGAda |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Martin C. Carlisle |
Keynote address: confessions of an academic Ada zealot. |
SIGAda |
2001 |
DBLP DOI BibTeX RDF |
Ada |
1 | William Pritchett, Brian Wood |
Vetronics technology testbed: experience report. |
SIGAda |
2001 |
DBLP DOI BibTeX RDF |
Ada |
1 | Barry S. Fagin, Laurence D. Merkle, Thomas W. Eggers |
Teaching computer science with robotics using Ada/Mindstorms 2.0. |
SIGAda |
2001 |
DBLP DOI BibTeX RDF |
Ada, Robotics, Computer science education, Lego Mindstorms |
1 | Scott Edgerton |
Experience report: architecture-based software development on the Crusader program. |
SIGAda |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Joel Sherrill, Jennifer Averett, Glenn Humphrey |
Implementing a product line-based architecture in Ada. |
SIGAda |
2001 |
DBLP DOI BibTeX RDF |
Ada, object-oriented, reuse, risk management, product line architecture, component architecture, software lifecycle |
1 | Zhengqiang Chen, Baowen Xu, Huiming Yu |
Detecting concurrently executed pairs of statements using an adapted MHP algorithm. |
SIGAda |
2001 |
DBLP DOI BibTeX RDF |
MHP algorithm, program analysis, Concurrent program, control flow graph |
1 | Laura J. White, Norman Wilde |
Dynamic analysis for locating product features in Ada code. |
SIGAda |
2001 |
DBLP DOI BibTeX RDF |
Ada tracing architecture, Software Reconnaissance, locating features in code, performance trials, trace monitoring, Ada, dynamic analysis, instrumentation |
1 | Erhard Plödereder |
Panel: the making of ISO/IEC 8652: Ada 2005. |
SIGAda |
2001 |
DBLP DOI BibTeX RDF |
Ada |
1 | Peter Amey |
A language for systems not just software. |
SIGAda |
2001 |
DBLP DOI BibTeX RDF |
Ada, specification, static analysis, Programming languages, critical systems |
1 | Dhavy Gantsou |
Targeting Ada95/DSA for distributed simulation of multiprotocol communication networks. |
SIGAda |
2001 |
DBLP DOI BibTeX RDF |
distributed networking protocols, distributed objects engineering, Ada, distributed simulation, Distributed system annex |
1 | Joseph R. Wisniewski |
Transitioning an ASIS application: version 1 to Ada95 2.0. |
SIGAda |
1999 |
DBLP DOI BibTeX RDF |
ASISWG, Traverse_Element, semantics, context, syntax, ASIS, element |
1 | Arthur Vargas Lopes |
Ada+SQL-an overview. |
SIGAda |
1999 |
DBLP DOI BibTeX RDF |
compilers, relational databases, programming, interpreters, environments, computer education |
Displaying result #101 - #200 of 330 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ >>] |
|