Search results for "SIGAda"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Scott James	Redistribution in distributed Ada.	SIGAda	1999	DBLP DOI BibTeX RDF
1	Yvon Kermarrec	CORBA vs. Ada 95 DSA: a programmer's view.	SIGAda	1999	DBLP DOI BibTeX RDF
1	Donald M. Needham, Steven A. Demurjian, Thomas J. Peters	Towards a distributed object-oriented propagation model using Ada95.	SIGAda	1999	DBLP DOI BibTeX RDF	methods and techniques, distributed systems, object-oriented technology, Ada languages
1	Laurent Pautet, Samuel Tardieu	What future for the distributed systems annex?.	SIGAda	1999	DBLP DOI BibTeX RDF
1	Patricia Balbastre, Silvia Terrasa, Joan Vila i Carbó, Alfons Crespo	Experiences using Ada in a real-time and distributed laboratory.	SIGAda	1999	DBLP DOI BibTeX RDF	distributed systems, real-time systems, robot application
1	Ian Gilchrist	Attitudes to Ada - a market survey.	SIGAda	1999	DBLP DOI BibTeX RDF	Ada
1	Juan Carlos Díaz Martín, Isidro Irala Veloso, José Manuel Rodríguez García	Building Tcl-Tk GUIs for HRT-HOOD systems.	SIGAda	1999	DBLP DOI BibTeX RDF	HRT-HOOD, Tcl-Tk, TAXIS, real time systems, user interfaces, Ada, Tcl
1	Hal Hart, Barry W. Boehm, S. Tucker Taft, Tony Wasserman	What happened to integrated environments? (panel session).	SIGAda	1999	DBLP DOI BibTeX RDF	APSE, IPSE, KAPSE, MAPSE, SDE, SEE, Stoneman, environment, PSE
1	Martin C. Carlisle	A truly implementation independent GUI development tool.	SIGAda	1999	DBLP DOI BibTeX RDF	Java, Ada, graphical user interfaces, automatic code generation, Tcl/Tk
1	John W. McCormick	Ada, model railroading, and real-time software engineering education (keynote address).	SIGAda	1999	DBLP DOI BibTeX RDF
1	Ming Wang	Integrating a software engineering approach into an Ada closed laboratory.	SIGAda	1999	DBLP DOI BibTeX RDF	software engineering, Ada, closed lab
1	Tony Lowe	Pinching pennies while losing dollars.	SIGAda	1999	DBLP DOI BibTeX RDF
1	Tony Lowe	Extending Ada to assist multiprocessor embedded development.	SIGAda	1999	DBLP DOI BibTeX RDF
1	Brad Balfour	The current state of CORBA (invited presentation).	SIGAda	1999	DBLP DOI BibTeX RDF
1	Paul B. Carpenter	Verification of requirements for saftey-critical software.	SIGAda	1999	DBLP DOI BibTeX RDF	IEEE/EIA 12207, requirements-based testing, UML, requirements analysis, software verification, DO-178B
1	Ravi K. Gedela, Sol M. Shatz, Haiping Xu	Formal modeling of synchronization methods for concurrent objects in Ada 95.	SIGAda	1999	DBLP DOI BibTeX RDF	Petri net formalism, Ada-95, concurrent objects, distributed software, synchronization methods
1	Henry A. Lortz, Timothy A. Tibbetts	The role of distributed, real-time Ada & C++ on the Airborne Surveillance Testbed (AST) program.	SIGAda	1999	DBLP DOI BibTeX RDF
1	Gerhard Bühler, Heinz Faßbender	Applying Ada, Java and CORBA for making a command and control information system platform independent.	SIGAda	1999	DBLP DOI BibTeX RDF	use of several languages, Java, distributed system, CORBA, legacy system
1	Barry W. Boehm	Predicting the future of computer systems and software engineering (keynote address).	SIGAda	1999	DBLP DOI BibTeX RDF	Ada
1	Bran Selic	Architectural patterns for complex real-time systems (abstract of keynote address).	SIGAda	1999	DBLP DOI BibTeX RDF	Ada
1	Michael Tonndorf	Ada conformity assessments: a model for other programming languages?.	SIGAda	1999	DBLP DOI BibTeX RDF	Ada conformity assessments, Ada standardization, programming languages validations
1	Christine Hulse, Scott Edgerton, Michael Ubnoske, Louis Vazquez	Reducing maintenance costs through the application of modern software architecture principles.	SIGAda	1999	DBLP DOI BibTeX RDF	modeling, architecture, design patterns, software maintenance, real-time software
1	Sheri J. Bernstein, Robert S. Duff	Optimizing Ada on the fly.	SIGAda	1999	DBLP DOI BibTeX RDF	check elimination, range checking, range propagation, uninitialized variables, optimization, Ada, compiler, array bounds checking, warnings
1	David Botton	Interfacing Ada 95 to Microsoft COM and DCOM technologies.	SIGAda	1999	DBLP DOI BibTeX RDF	distributed COM, components, ActiveX, OLE, COM, component object model
1	Olga Rusanova, Alexandr Korochkin	Scheduling problems for parallel and distributed systems.	SIGAda	1999	DBLP DOI BibTeX RDF	scheduling, algorithms, parallel, distributed, computer systems
1	Steven Doran	Interfacing low-level C device drivers with Ada 95.	SIGAda	1999	DBLP DOI BibTeX RDF	real-time, Ada 95, device drivers, C programming language
1	Kristina Lundqvist, Lars Asplund	A formal model of the Ada Ravenscar tasking profile; delay until.	SIGAda	1999	DBLP DOI BibTeX RDF
1	William Currie Colket	Code analysis of saftey-critical and real-time software using ASIS.	SIGAda	1999	DBLP DOI BibTeX RDF	real-time, tasking, safety-critical, code analysis, ASIS, high integrity, Ada language, Ravenscar profile
1	Hal Hart, S. Tucker Taft, Franco Gasperoni (eds.)	Proceedings ACM SIGAda Annual International Conference, SIGAda 1999, The Engineering of Industrial Strength Real-Time Software & Distributed Systems: Using Ada and Related Technologie, Redondo Beach, CA, USA, October 17-21, 1999.	SIGAda	1999	DBLP DOI BibTeX RDF
1	Ian Gilchrist	Attitudes to Ada in the UK high-reliability software sector (plenary session).	SIGAda	1999	DBLP DOI BibTeX RDF
1	Laurent Pautet, Thomas Quinot, Samuel Tardieu	CORBA and CORBA services for DSA.	SIGAda	1999	DBLP DOI BibTeX RDF
1	David Silberberg	Applying the Personal Software Process (PSP) with Ada.	SIGAda	1998	DBLP DOI BibTeX RDF	Ada, Ada, CMM, capability, maturity model, personal software process, PSP
1	Arthur G. Duncan	Reusable Ada Libraries Supporting Infinite Data Structures.	SIGAda	1998	DBLP DOI BibTeX RDF	infinite data structures, Ada, Ada, functional programming, lazy evaluation
1	Stephen H. Kaisler, Michael B. Feldman	Object-Oriented and Concurrent Program Design Issues in Ada 95.	SIGAda	1998	DBLP DOI BibTeX RDF	Ada
1	Patricia J. Dousette, Ari Danesh, Matthew Jones	Command and Control Using World Wide Web Technology.	SIGAda	1998	DBLP DOI BibTeX RDF	Java, Java, WWW, architecture, command and control
1	Ed Seidewitz, William Thomas, Michael B. Feldman (eds.)	Proceedings of the ACM SIGAda Annual International Conference on Ada Technology, SIGAda 1998, Washington, DC, USA, November 8-12, 1998	SIGAda	1998	DBLP DOI BibTeX RDF
1	William W. Pritchett IV, John D. Riley	An ASIS-Based Static Analysis Tool for High-Integrity Systems.	SIGAda	1998	DBLP DOI BibTeX RDF	Ada, static analysis, software tool, Ada 95, safety-critical
1	Duane J. Jarc, Michael B. Feldman	An Empirical Study of Web-Based algorithm Animation Courseware in an Ada Data Structure Course.	SIGAda	1998	DBLP DOI BibTeX RDF	Ada data structure course, Web-based courseware, Ada, empirical study, learning styles, algorithm animation, interactive multimedia
1	John A. Reisner, Zeenat Lainwala, Thomas J. Peters, Steven A. Demurjian	Implementing a Culling and Self-Intersection Algorithm for Stereolithography Files in Ada 95.	SIGAda	1998	DBLP DOI BibTeX RDF	CAD applications, culling algorithms, stereolithography, Ada, computer graphics, topology
1	Brad S. Crawford	Algorithm Animation with Symbol Processing Robots.	SIGAda	1998	DBLP DOI BibTeX RDF
1	Mike Kamrad	Ada experience report for BlazeNet, Inc..	SIGAda	1998	DBLP DOI BibTeX RDF	Layer 7-applications switch, embedded system software, language features of Ada, Ada
1	Samuel Tardieu, Laurent Pautet	Building Fault Tolerant Distributed Systems Using IP Multicast.	SIGAda	1998	DBLP DOI BibTeX RDF	Ada
1	Mike Mills, Greg Peterson	Hardware/Software Co-Design: VHDL and Ada 95 Code Migration and Integrated Analysis.	SIGAda	1998	DBLP DOI BibTeX RDF	Ada
1	Scott James	The Evolution of a Distributed dataflow Processing Model Using Ada.	SIGAda	1998	DBLP DOI BibTeX RDF	Ada
1	Luís Miguel Pinho, Francisco Vasques	Multi-µ: An Ada 95 Based Architecture for Fault Tolerance Support of Real-Time Systems.	SIGAda	1998	DBLP DOI BibTeX RDF	software based fault tolerance, real-time systems, Ada, Ada 95, off-the-shelf components
1	Martin C. Carlisle, Patrick Maes	RAPID: A Free, Portable GUI Design Tool.	SIGAda	1998	DBLP DOI BibTeX RDF	automatic code genertion, Ada, Ada, graphical user interfaces, Tcl/Tk
1	Ross H. Wainwright	An Application Engineering Workbench for Tailoring Ada Flight Components.	SIGAda	1998	DBLP DOI BibTeX RDF	satellite flight software, Ada, Ada, software reuse, rapid prototyping, decision model
1	Janusz W. Laski, William Stanley, Jim Hurst	Dependency Analysis of Ada Programs.	SIGAda	1998	DBLP DOI BibTeX RDF	program anomalies, Ada, Ada, static analysis, information flow, program dependencies, path analysis
1	Bangqing Li, Baowen Xu, Huiming Yu	Transforming Ada Serving Tasks into Protected Objects.	SIGAda	1998	DBLP DOI BibTeX RDF	serving tasks, Ada, Ada, transformation, protected objects
1	A. T. Chamillard, Ronald J. Lisowski, Richard R. Young	Using Ada in Non-CS Majors.	SIGAda	1998	DBLP DOI BibTeX RDF	Ada
1	T. Dean Hendrix, James H. Cross II, Larry A. Barowski, Karl S. Mathias	Visual Support for Incremental Abstraction and Refinement in Ada 95.	SIGAda	1998	DBLP DOI BibTeX RDF	software visualizaton, Ada, program understanding, GRASP, folding
1	O. P. Kiddle, Andy J. Wellings	Extensible Protected Types.	SIGAda	1998	DBLP DOI BibTeX RDF	Ada, Ada 95, concurrent object-oriented programming
1	Shayne Flint	Using Java APIs with Native Ada Compilers.	SIGAda	1998	DBLP DOI BibTeX RDF	Java, Java, Ada, Ada, bindings, Java native interface
1	Charles Plinta, Richard D'Ippolito, Roger Van Scoy	A Specification and Code Generation Tool for Message Translation and Validation.	SIGAda	1998	DBLP DOI BibTeX RDF	CORBA servers, specification tool, model, Ada, interoperability, integration, validation, code generation, translation, message, model-based software engineering, Ada95
1	John P. Woodruff, Paul J. Van Arsdall	A Large Distributed Control System Using Ada in Fusion Research.	SIGAda	1998	DBLP DOI BibTeX RDF	Ada, CORBA, application frameworks, object-oriented development, distributed control system, levels of abstraction
1	Yoav Tzruya, Mordechai Ben-Ari	A Portable Implementation of the Distributed Systems Annex in Java.	SIGAda	1998	DBLP DOI BibTeX RDF	Java, Java, distributed systems, Ada, Ada95
1	Robert C. Leif, Suzanne B. Leif	Ada in Embedded Boards for Scientific and Medical Instruments.	SIGAda	1998	DBLP DOI BibTeX RDF	low-level, embedded system, Ada, OOP, object oriented programming, Ada 95, device, board
1	Sy Wong, Gertrude Levine	Kernel Ada to Unify Hardware and Software Design.	SIGAda	1998	DBLP DOI BibTeX RDF	Ada, Ada, VHDL, EDA, hardware description language, HDL
1	Benjamin M. Brosgol	A Comparison of the Concurrency Features of Ada 95 and Java.	SIGAda	1998	DBLP DOI BibTeX RDF	Java, Java, Ada, Ada, concurrency, object-oriented programming, threads, tasking, inheritance anomaly
1	Shan Barkataki, Stuart Harte, Tong Dinh	Reengineering a Legacy System Using Design Patterns and Ada-95 Object-Oriented Features.	SIGAda	1998	DBLP DOI BibTeX RDF	Ada, design patterns, reuse, reengineering, Ada-95
1	Bo Frisberg	Usage of Ada in the Gripen Flight Control System.	SIGAda	1998	DBLP DOI BibTeX RDF	flight control system, exception handling, tasking, data consistency
1	Jim Hopper, Jennifer De Bilbiss, Harry Heaton, Tom Haberlandt	Use of Ada in Digital Radar Landmass Simulation (DRLMS).	SIGAda	1998	DBLP DOI BibTeX RDF	simulation, real time, Ada, Ada 95, object oriented development
1	Daniel Hoffman, Jayakrishnan Nair, Paul A. Strooper	Testing Generic Ada Packages with APE.	SIGAda	1998	DBLP DOI BibTeX RDF	Ada
1	Jeanne L. Murtagh, John A. Hamilton Jr.	A Comparison of Ada and Pascal in an Introductory Computer Science Course.	SIGAda	1998	DBLP DOI BibTeX RDF	Ada, Pascal
1	Brian Dobbing, Alan Burns 0001	The Ravenscar Tasking Profile for High Integrity Real-Time Programs.	SIGAda	1998	DBLP DOI BibTeX RDF	Ravenscar, Ada, Ada, tasking, safety-critical, high-integrity
1	Victor D. Albertini, Craig J. Berrett	Ada in an On-Board Military Communication System.	SIGAda	1998	DBLP DOI BibTeX RDF	hardware to software mapping, modular software, Ada, Ada
1	Dragan Macos, Frank Mueller 0001	The Rendezvous is Dead - Long Live the Protected Object.	SIGAda	1998	DBLP DOI BibTeX RDF	Ada
1	Stephen Michell, Mark Saaltink, Brian A. Wichmann	Looking into Safety with the Safety and Security Rapporteur Group.	SIGAda	1998	DBLP DOI BibTeX RDF	Ada
1	Nathan Fleener, Laura Moody, Mary Stewart	A Reusable Lightweight Executive for Command and Control Systems.	SIGAda	1998	DBLP DOI BibTeX RDF	Ada, Ada, portability, executive
1	David R. Musser, Alexander A. Stepanov 0001	A library of generic algorithms in Ada.	SIGAda	1987	DBLP DOI BibTeX RDF
1	Manfred Dausmann	Library structures for reusable components.	SIGAda	1987	DBLP DOI BibTeX RDF
1	Brett Bachman	Design automation for Ada development under DOD-STD-2167 (and beyond).	SIGAda	1987	DBLP DOI BibTeX RDF
1	Ron Kownacki, S. Tucker Taft	Portable and efficient dynamic storage management in Ada.	SIGAda	1987	DBLP DOI BibTeX RDF
1	Charles B. Williams	Use of the Rational R1000 Ada development environment for an IBM based command and control system.	SIGAda	1987	DBLP DOI BibTeX RDF
1	Michael D. Walters	Expert systems development in LISP and Ada.	SIGAda	1987	DBLP DOI BibTeX RDF
1	Shohei Fujita	Self-organizing distributed operating system: implementation and problem using Ada.	SIGAda	1987	DBLP DOI BibTeX RDF
1	Gerald M. Karam, Raymond J. A. Buhr	Experience with the automatic temporal analysis of multitasking Ada designs.	SIGAda	1987	DBLP DOI BibTeX RDF
1	Michael R. Middlemas	Ada applications on embedded targets.	SIGAda	1987	DBLP DOI BibTeX RDF
1	Dick Schefström	The system-oriented editor - a tool for managing large software systems.	SIGAda	1987	DBLP DOI BibTeX RDF
1	Eric N. Schacht	Ada programming techniques, research, and experiences on a fast control loop system.	SIGAda	1987	DBLP DOI BibTeX RDF
1	L. Lucas, D. Dent	Real-time Ada demonstration.	SIGAda	1987	DBLP DOI BibTeX RDF
1	Joseph C. DiGrazia, Jehuda Ziegler, Richard Mueller	An Ada distributed multiprocessor executive: from conceptualization to implementation.	SIGAda	1987	DBLP DOI BibTeX RDF
1	Theodore P. Baker	A low-level tasking package for Ada.	SIGAda	1987	DBLP DOI BibTeX RDF
1	C. Amiguet, André Schiper	Discrete-event simulation in Ada.	SIGAda	1987	DBLP DOI BibTeX RDF
1	Geoffrey O. Mendal	Storage reclamation models for Ada programs.	SIGAda	1987	DBLP DOI BibTeX RDF
1	Sam Harbaugh, Greg Saunders	GKS/Ada post mortem, a cost analysis.	SIGAda	1987	DBLP DOI BibTeX RDF
1	Shunichi Fukuyama, Naoi Okuse, Masato Fujimaru, Seiichi Yamasaki	Empirical guidelines to use Ada effectively.	SIGAda	1987	DBLP DOI BibTeX RDF
1	Amelia Maxted, John C. Rowe	An Ada graphical tool to support software development.	SIGAda	1987	DBLP DOI BibTeX RDF
1	David H. Ternes	Developmental software configuration and integration in a large Ada project.	SIGAda	1987	DBLP DOI BibTeX RDF
1	Donald J. Reifer	Ada's impact: a quantitative assessment.	SIGAda	1987	DBLP DOI BibTeX RDF
1	Trevor Moreton	Partitioned Ada libraries as a basis for variant control (extended abstract).	SIGAda	1987	DBLP DOI BibTeX RDF
1	William L. Schultz, Asheem Chandna	An Ada based approach to factory scale MAP network simulaton.	SIGAda	1987	DBLP DOI BibTeX RDF
1	L. E. Murray	A life-cycle oriented Ada design language.	SIGAda	1987	DBLP DOI BibTeX RDF
1	Yoëlle S. Maarek, Gail E. Kaiser	Using conceptual clustering for classifying reusable Ada code.	SIGAda	1987	DBLP DOI BibTeX RDF
1	Robert F. Mathis	Elementary functions packages for Ada.	SIGAda	1987	DBLP DOI BibTeX RDF
1	Philip J. Lefebvre	Reclamation of memory for dynamic Ada tasking.	SIGAda	1987	DBLP DOI BibTeX RDF
1	Benjamin M. Brosgol (eds.)	Proceedings of the 1987 Annual ACM SIGAda International Conference on Ada, SIGAda 1987, Boston, Massachusetts, USA, 1987	SIGAda	1987	DBLP DOI BibTeX RDF
1	Allan R. Klumpp	Linear algebra and other Ada packages adapted from HAL/S, FORTRAN, PL/I and MAC.	SIGAda	1987	DBLP DOI BibTeX RDF
1	Fred Francl	Pioneering mission - critical Ada software.	SIGAda	1987	DBLP DOI BibTeX RDF
1	John E. Melde, Phillip G. Gage	Large system simulation using Ada.	SIGAda	1987	DBLP DOI BibTeX RDF

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