Search results for "ada"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
57	Michael Erdmann	GNAT Ada Database Development Environment.	Ada-Europe	2002	DBLP DOI BibTeX RDF
57	Javier Miranda, Francisco Guerra Santana, Ernestina Martel, José Martín, Alexis González	How to Use GNAT to Efficiently Preprocess New Ada Sentences.	Ada-Europe	2002	DBLP DOI BibTeX RDF
57	Johann Blieberger, Bernd Burgstaller, Bernhard Scholz	Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs.	Ada-Europe	2000	DBLP DOI BibTeX RDF
57	Reto Weiss	Kingcat MCAS - Monitoring, Control and Alarm System for a Luxury Motor Yacht Implemented in Ada and Java.	Ada-Europe	2000	DBLP DOI BibTeX RDF
57	Alexandr Korochkin	Ada 95 as a Foundation Language in Computer Engineering Education in Ukraine.	Ada-Europe	1999	DBLP DOI BibTeX RDF
57	Fabrice Kordon	MetaScribe, an Ada-based Tool for the Construction of Transformation Engines.	Ada-Europe	1999	DBLP DOI BibTeX RDF	Meta-data description, Semantic transformation, Code generation
57	Javier Miranda, Francisco Guerra Santana, José Martín, Alexis González	How to Modify the GNAT Frontend tp Experiment with Ada Extensions.	Ada-Europe	1999	DBLP DOI BibTeX RDF
57	Mike Kamrad, Barry A. Spinney	An Ada Runtime System Implementation of the Ravenscar Profile for High Speed Application-Layer Data Switch.	Ada-Europe	1999	DBLP DOI BibTeX RDF
57	Apolinar González, Alfons Crespo	Environment for the Development and Specification of Real-Time Ada Programs.	Ada-Europe	1999	DBLP DOI BibTeX RDF
57	Dominique Canazzi	yaRTI, an Ada 95 HLA Run-Time Infrastructure.	Ada-Europe	1999	DBLP DOI BibTeX RDF
57	Helge Hagenauer, Werner Pohlmann	Ada 95 for a Distributed Simulation System.	Ada-Europe	1998	DBLP DOI BibTeX RDF
57	Michael Tonndorf	Ten Years of Tool Based Ada Compiler Validations. An Experience Report.	Ada-Europe	1998	DBLP DOI BibTeX RDF
57	Guido Schumacher, Wolfgang Nebel	How to Avoid the Inheritance Anomaly in Ada.	Ada-Europe	1998	DBLP DOI BibTeX RDF
57	Marta Patiño-Martínez, Ricardo Jiménez-Peris, Sergio Arévalo	Integrating Groups and Transactions: A Fault-Tolerant Extension of Ada.	Ada-Europe	1998	DBLP DOI BibTeX RDF
57	Bo Frisberg	Ada in the JAS 39 Gripen Flight Control System.	Ada-Europe	1998	DBLP DOI BibTeX RDF
57	Pierre Chapront	Ada+B The Formula for Safety Critical Software Development.	Ada-Europe	1998	DBLP DOI BibTeX RDF
57	Michael González Harbour, Mario Aldea Rivas, J. J. Gutiérrez García, José C. Palencia Gutiérrez	Implementing and Using Execution Time Clocks in Ada Hard Real-Time Applications.	Ada-Europe	1998	DBLP DOI BibTeX RDF
57	Bernd Holzmüller, Erhard Plödereder	Finite Unions for Ada 95.	Ada-Europe	1997	DBLP DOI BibTeX RDF	Finite Unions, Polymorphism, Language Extension, Dispatching, Multi-Methods
57	Dan Craigen, Mark Saaltink, Steve Michell	Ada 95 and Critical Systems: An Analytical Approach.	Ada-Europe	1996	DBLP DOI BibTeX RDF
57	Dong-Ik Oh, Theodore P. Baker, Seung-Jin Moon	The GNARL Implementation of POSIX/Ada Signal Services.	Ada-Europe	1996	DBLP DOI BibTeX RDF
57	Philippe Kruchten, Christopher J. Thompson	Iterative Software Development for Large Ada Programs.	Ada-Europe	1996	DBLP DOI BibTeX RDF	Software Development Process, Air Traffic Control, Iterative Process
57	G. Taurisano, I. Williams	Ada in Mixed Language Applications.	Ada-Europe	1995	DBLP DOI BibTeX RDF
57	Tim Birus, Paul Knueven, Ed Kuzemchak, Jack Rosenzweig, Joyce L. Tokar	Extending the Ada 95 Initial Conditions for Preelaboration for Use in Real-Time Systems.	Ada-Europe	1995	DBLP DOI BibTeX RDF
57	François Bossard	Periodic Processing in Hard Real-Time Systems: Assessment of Different Design Models in Ada.	Ada-Europe	1995	DBLP DOI BibTeX RDF
57	Lars Lundberg	Predicting the Speedup of Parallel Ada Programs.	Ada-Europe	1992	DBLP DOI BibTeX RDF
57	Alison Wearing	Software Engineering, Ada and Metrics.	Ada-Europe	1992	DBLP DOI BibTeX RDF
57	Leslie C. Lander, Sandeep Mitra	Detection and Avoidance of Elaboration-Time Problems for Multi-Unit Real-Time Ada Applications.	Ada-Europe	1992	DBLP DOI BibTeX RDF
57	Rob Duell, Hugo J. Sebel, Franklin C. A. de Wit	Using Ada Source Code Generators in a Large Project.	Ada-Europe	1992	DBLP DOI BibTeX RDF
57	D. C. Levy, M. C. Randelhoff, Joyce L. Tokar	Reconfigurable Ada Distributed Control System Software.	Ada-Europe	1991	DBLP DOI BibTeX RDF
57	Alex Delis, William M. Thomas	Design Assessment of Ada Systems Using Static Analysis.	Ada-Europe	1991	DBLP DOI BibTeX RDF
57	Lars Lundberg	A Coprocessor for High Performance Multiprocessor Ada Tasking.	Ada-Europe	1991	DBLP DOI BibTeX RDF
57	Michael C. Curtis, Victoria J. D. Sivess	Modelling the Temporal Summation of Neural Membranes Using the Ada Language.	Ada-Europe	1991	DBLP DOI BibTeX RDF
57	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
57	Moon Lee, Noah S. Prywes, Insup Lee 0001	Automation of analysis and simulation for understanding of large real-time Ada software.	ICECCS	1995	DBLP DOI BibTeX RDF	large real-time Ada software, simulation, real-time systems, Ada, digital simulation, state machines, hierarchical structure
57	William W. Agresti, William M. Evanco	Projecting Software Defects From Analyzing Ada Designs.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	software defects projection, context coupling, Ada designs, process characteristics, import-export of declarations, reuse level, regression analyses, Ada, static analysis, software quality, software quality, software metrics, software reliability, statistical analysis, visibility, defect density
57	Gerald M. Karam, Raymond J. A. Buhr	Temporal Logic-Based Deadlock Analysis For Ada.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	temporal logic-based specification language, deadlock analyzer, Timebench, concurrent system-design environment, COL, linear-time temporal logic, formal basis, axiomatic reasoning, deadlock analysis tool, reasoning power, Ada designs, systemwide deadlock-free, deadlock algorithm, finite systems, worst-case computational complexity, gas station, layered communications system, computational complexity, Ada, logic programming, temporal logic, Prolog, specification language, specification languages, inference mechanisms, system recovery, theorem prover, readers, dining philosophers, writers
56	Steve Michell, Mark Saaltink	Guidance on the Use of Ada95 in High Integrity Systems.	Ada-Europe	1998	DBLP DOI BibTeX RDF	HRG, Ada, critical systems, predictable systems, high integrity systems
56	David E. Emery, Jas Madhur	HCSD Unit Development Process: Step-Wise Process Improvement.	Ada-Europe	1996	DBLP DOI BibTeX RDF	Ada, Software Process, Software Management
56	Peter Lützen Møller	Run-Time Check Elimination for Ada 9X.	TRI-Ada	1994	DBLP DOI BibTeX RDF	Ada
56	Sergey Rybin, Vitali Sh. Kaufman	Ada-Based Programming Language Course in Moscow State University.	TRI-Ada	1994	DBLP DOI BibTeX RDF	Ada
56	Susan Bodily, David W. Embley, Scott N. Woodfield	Implementing OSA Model Instances in Ada.	TRI-Ada	1994	DBLP DOI BibTeX RDF	Ada
56	J. R. Larre, N. Alfaro, J. J. Galán, Juan Garbajosa	Introducing HOOD into Software Process Modelling Based Environments.	Ada-Europe	1991	DBLP DOI BibTeX RDF	MASP, ALF, Ada, tools, methods, CASE, HOOD
55	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
55	Tyler B. Hallmark, Eugene K. Ressler	Parallel evolution of game evaluation functions in ada.	SIGAda	2007	DBLP DOI BibTeX RDF
55	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
55	Santiago Urueña, José Antonio Pulido, Jorge López, Juan Zamorano, Juan Antonio de la Puente	A New Approach to Memory Partitioning in On-Board Spacecraft Software.	Ada-Europe	2008	DBLP DOI BibTeX RDF	Ravenscar Ada, integrated modular avionics, embedded systems, hard real-time, high-integrity
55	José María Martínez, Michael González Harbour	RT-EP: A Fixed-Priority Real Time Communication Protocol over Standard Ethernet.	Ada-Europe	2005	DBLP DOI BibTeX RDF	Schedulability, Modelling, Distributed Systems, Embedded Systems, Real-Time, Networks, Ethernet, Ada 95
55	Roderick Chapman, Robert Dewar	Re-engineering a Safety-Critical Application Using SPARK 95 and GNORT.	Ada-Europe	1999	DBLP DOI BibTeX RDF	Ada Language and Tools, High Integrity Systems
55	Yusuke Nonaka, Kazuo Ushijima, Jingde Cheng	Monitoring facilities in languages supporting development of concurrent self-measurement programs.	APSEC	2000	DBLP DOI BibTeX RDF	concurrent self-measurement programs, reliable concurrent systems, measurement handler, Ada MH, Ada, object-oriented programming, software maintenance, software maintenance, monitoring, software development, distributed processing, programming languages, software reliability, object-oriented languages, Ada 95, system monitoring
55	John E. Melde, Philip G. Gage	Ada simulation technology - methods and metrics.	Annual Simulation Symposium	1988	DBLP BibTeX RDF	Ada
54	Andy Lapping	Model driven development with Ada.	SIGAda	2004	DBLP DOI BibTeX RDF	UML, unified modeling language, Ada, process, model driven development
54	V. Santhanam	The anatomy of an FAA-qualifiable Ada subset compiler.	SIGAda	2002	DBLP DOI BibTeX RDF	FAA, Ada, compiler, software certification, DO-178B
54	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
54	Haerim Lee, Warren Moseley	A parallel inference engine (PIE) (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF	blackboard-driven, forward/backward chaining, parallel inference engine, artificial intelligence, ADA, Ada, object-oriented design, frame, real-time embedded system, inference engine
54	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
53	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
53	Iulian Ober, Nicolas Halbwachs	On the Timed Automata-Based Verification of Ravenscar Systems.	Ada-Europe	2008	DBLP DOI BibTeX RDF
53	Juan López Campos, J. Javier Gutiérrez, Michael González Harbour	Interchangeable Scheduling Policies in Real-Time Middleware for Distribution.	Ada-Europe	2006	DBLP DOI BibTeX RDF
53	Santiago Urueña, Juan Zamorano, Daniel Berjón, José Antonio Pulido, Juan Antonio de la Puente	The Arbitrated Real-Time Protocol (AR-TP): A Ravenscar Compliant Communication Protocol for High-Integrity Distributed Systems.	Ada-Europe	2006	DBLP DOI BibTeX RDF
53	Sami Evangelista, Claude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre, Pierre Rousseau	Dynamic Tasks Verification with Quasar.	Ada-Europe	2005	DBLP DOI BibTeX RDF
53	Diyaa-Addein Atiya, Steve King 0001	Extending Ravenscar with CSP Channels.	Ada-Europe	2005	DBLP DOI BibTeX RDF
53	Thomas Vergnaud, Jérôme Hugues, Laurent Pautet, Fabrice Kordon	PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications.	Ada-Europe	2004	DBLP DOI BibTeX RDF
53	Francisco J. Ortiz, Alejandro S. Martínez, Bárbara Álvarez, Andrés Iborra, José M. Fernández	Development of a Control System for Teleoperated Robots Using UML and Ada95.	Ada-Europe	2002	DBLP DOI BibTeX RDF
53	Wolfgang Gellerich, Erhard Plödereder	Parameter-Induced Aliasing in Ada.	Ada-Europe	2001	DBLP DOI BibTeX RDF
53	Alexandre Duret-Lutz	Expression Templates in Ada.	Ada-Europe	2001	DBLP DOI BibTeX RDF
53	Juan Zamorano, José F. Ruiz, Juan Antonio de la Puente	Implementing Ada.Real_Time.Clock and Absolute Delays in Real-Time Kernels.	Ada-Europe	2001	DBLP DOI BibTeX RDF
53	Xavier Franch, Josep Pinyol, Joan Vancells	Browsing a Component Library Using Non-functional Information.	Ada-Europe	1999	DBLP DOI BibTeX RDF
53	Helge Hagenauer	On the Use of Controlled Types for Fossil Collection in a Distributed Simulation Systems.	Ada-Europe	1999	DBLP DOI BibTeX RDF
53	Ricardo Jiménez-Peris, Marta Patiño-Martínez, Francisco J. Ballesteros, Sergio Arévalo	Efficient and Extensible Multithreaded Remote Servers.	Ada-Europe	1999	DBLP DOI BibTeX RDF
53	Laurent Millet, Ted Baker	Porting the GNAT Tasking Runtime System to the Java Virtual Machine.	Ada-Europe	1998	DBLP DOI BibTeX RDF
53	Peter E. Obermayer, Georg Schüer, Rudolf Landwehr	DIS - An Interface to Distributed Interactive Simulation.	Ada-Europe	1995	DBLP DOI BibTeX RDF
53	Wayne M. Zage, Dolores M. Zage, Manjari Bhargava, Dale J. Gaumer	Design and Code Metrics Through a DIANA-Based Tool.	Ada-Europe	1992	DBLP DOI BibTeX RDF	DIANA, quality assessment, code metrics, Design metrics
53	John B. Goodenough 0002, Thomas H. Probert	Designing and Testing Interfaces for Portable Software: Ada TEXT_IO as an Example.	Ada Software Tools Interfaces	1983	DBLP DOI BibTeX RDF
52	David A. Workman, Richard Crutchfield	Quality Guidelines = Designer Metrics.	TRI-Ada	1994	DBLP DOI BibTeX RDF	Ada
52	Michael I. Frankel	Model Like an Egyptian.	TRI-Ada	1994	DBLP DOI BibTeX RDF	Ada
52	Franco Gasperoni, Patrick Bazire	Smart Recompilation and the GNAT Compiler.	TRI-Ada	1994	DBLP DOI BibTeX RDF	Ada
52	Robert G. Crispen, Lynn D. Stuckey Jr.	Structural Model: Architecture for Software Designers.	TRI-Ada	1994	DBLP DOI BibTeX RDF	Ada
52	Lisa M. Levy Kortright	An Incremental Approach to the Development of Reusable General-Purpose Discrete-Event Simulator Components.	TRI-Ada	1994	DBLP DOI BibTeX RDF	Ada
52	Kathleen Gilroy	Interesting Problems in Transforming Existing Software for Reusability.	TRI-Ada	1994	DBLP DOI BibTeX RDF	Ada
52	Karl A. Nyberg	Multi-core + multi-tasking = multi-opportunity?	SIGAda	2007	DBLP DOI BibTeX RDF	multi-core, tasking, parallel execution
52	Jianming Fu, Xian Yi, Huanguo Zhang	Modeling the Behavior of Ada Tasks and Verifying Its Safety.	CIT	2004	DBLP DOI BibTeX RDF
52	Allen S. Parrish, David W. Cordes, James Cross, Brian A. Malloy	Ada in the undergraduate curriculum.	ACM Southeast Regional Conference	1995	DBLP DOI BibTeX RDF
52	William W. McLendon Jr., Richard F. Vidale	Analysis of an Ada System Using Coloured Petri Nets and Occurrence Graphs.	Application and Theory of Petri Nets	1992	DBLP DOI BibTeX RDF
52	M. I. Blower	An efficient implementation of visibility in Ada.	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF
51	Matt Mark	Data sharing between ada and C/C++.	SIGAda	2005	DBLP DOI BibTeX RDF	cross-language interface
51	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
51	Xavier Caron, Jörg Kienzle, Alfred Strohmeier	Object-Oriented Stable Storage Based on Mirroring.	Ada-Europe	2001	DBLP DOI BibTeX RDF	Fault Tolerance, Memory Management, Shadowing, Ada 95, Mirroring, Stable Storage
51	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
51	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
51	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
50	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
50	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
50	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
50	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
50	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
49	Benjamin M. Brosgol, Brian Dobbing	Can Java Meet Its Real-Time Deadlines?	Ada-Europe	2001	DBLP DOI BibTeX RDF
49	Michel Gauthier (eds.)	Ada-Europe '93, 12th Ada-Europe International Conference, Ada Sans Frontières, Paris, France, June 14-18, 1993, Proceedings	Ada-Europe	1993	DBLP DOI BibTeX RDF
49	Marie-Gabrielle Bloch	An Operational Computer Aided Software Environment: ILIADE.	Ada-Europe	1993	DBLP DOI BibTeX RDF
49	Judy Bamberger (eds.)	Introduction to Ada - Tri-Ada 1991 Tutorial, TRI-Ada 1991, San Jose, California, USA, October 21-25, 1991	TRI-Ada Tutorial	1991	DBLP DOI BibTeX RDF
49	Judah Mogilensky	Tutorial: measuring and improving software process maturity (part 1).	TRI-Ada Tutorial	1991	DBLP DOI BibTeX RDF