Search results for "SIGAda"

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

Publications at "SIGAda"( http://dblp.L3S.de/Venues/SIGAda )