Search results for "Ada"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Alexander Wolfe	There's still some life left in Ada.	ACM Queue	2004	DBLP DOI BibTeX RDF	Ada, Ada
2	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
2	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
2	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
2	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
2	Brian Dobbing, Alan Burns	The Ravenscar Tasking Profile for High Integrity Real-Time Programs.	SIGAda	1998	DBLP DOI BibTeX RDF	Ravenscar, Ada, Ada, tasking, safety-critical, high-integrity
2	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
2	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
2	Shayne Flint	Using Java APIs with Native Ada Compilers.	SIGAda	1998	DBLP DOI BibTeX RDF	Java, Java, Ada, Ada, bindings, Java native interface
2	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
2	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
2	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
2	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
2	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
2	George S. Avrunin, James C. Corbett, Laura K. Dillon	Analyzing Partially-Implemented Real-Time Systems.	ICSE	1997	DBLP DOI BibTeX RDF	graphical interval logic, real-time, Ada, Ada, concurrency, static analysis, temporal logic, hybrid systems
2	Vasiliy Fofanov, Sergey Rybin, Alfred Strohmeier	ASIStint: An Interactive ASIS Interpreter.	TRI-Ada	1997	DBLP DOI BibTeX RDF	Ada, Ada, interpreter, ASIS
2	M. Bari, P. Gabrini, Colette Rolland, Kacem Zeroual	Active Information Systems, From Object-Oriented Design to Ada 95.	TRI-Ada	1996	DBLP DOI BibTeX RDF	active information systems, Ada, Ada, object-oriented design, traceability, mapping rules
2	Yvon Kermarrec, Laurent Nana, Laurent Pautet	Providing Fault-Tolerant Services to Distributed Ada 95 Applications.	TRI-Ada	1996	DBLP DOI BibTeX RDF	Ada, Ada
2	Sergey Rybin, Alfred Strohmeier	Ada and ASIS: Justification of Differences in Terminology and Mechanisms.	TRI-Ada	1996	DBLP DOI BibTeX RDF	Ada, Ada
2	E. M. Osman, Grace Baratta-Perez, Thomas J. Walsh, Kenneth J. Fowler	A unique tool set for engineering complex systems. (PDF / PS)	ICECCS	1995	DBLP DOI BibTeX RDF	tool set, life-cycle management, large-system features, Ada 83, C System Dependency Analyzers, Ada 83 Common Code Recognizer, Ada 83 Tasking Identifier, Rate Monotonic Analysis Scheduler, source code analysis tools, software engineering, reliability, software architecture, Ada, Ada, software maintenance, software tools, complex systems, portability, maintainability, software portability, software systems, porting
2	William Hankley, Peikun Tsai	A Verification Helper for Task Specifications.	SAC	1993	DBLP DOI BibTeX RDF	verification, Ada, Ada, specifications, temporal logic, tools, concurrent systems
2	Colin J. Fidge	A Formal Definition of Priority in CSP.	ACM Trans. Program. Lang. Syst.	1993	DBLP DOI BibTeX RDF	Ada, Ada, CSP, Priority, Communicating Sequential Processes, occam, OCCAM, real-time programming
2	Michael Young, David L. Levine, Richard N. Taylor	Comments on ``Temporal Logic-Based Deadlock Analysis for Ada''. (PDF / PS)	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	temporal logic-based deadlock analysis, axiomatic proof method, event-based models, computational complexity, computational complexity, Ada, Ada, temporal logic, concurrency control, nondeterminism, symbolic manipulation, symbol manipulation, state-based models
2	John P. J. Kelly, Susan C. Murphy	Achieving Dependability Throughout the Development Process: A Distributed Software Experiment. (PDF / PS)	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	B/B testing, multiple independent implementations, distributed communication protocol, complex concurrent processing systems, data communication systems, formal specification, Ada, Ada, protocols, software testing, distributed processing, dependability, program testing, automated testing, computer communications software, distributed software engineering
2	Raymond J. A. Buhr, Gerald M. Karam, Carol J. Hayes, C. Murray Woodside	Software CAD: A Revolutionary Approach. (PDF / PS)	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	software CAD environment, Carleton embedded system design environment, CAEDE, visual paradigm, semantic depth, syntactic shallowness, skeleton Ada code, software engineering, embedded systems, performance analysis, Ada, Ada, CAD, software tools, Prolog, programming environments, automatic programming, automatic programming, abstract machines, temporal analysis, research project, tool development
2	Pankaj Jalote	Functional Refinement and Nested Objects for Object-Oriented Design. (PDF / PS)	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	nested objects, progressive object refinement, software engineering, Ada, Ada, object-oriented programming, object-oriented design, stepwise refinement, nesting
2	Rakesh Jha, J. Michael Kamrad II, Dennis T. Cornhill	Ada Program Partitioning Language: A Notation for Distributing Ada Programs. (PDF / PS)	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	Honeywell, Ada program partitioning language, Distributed Ada project, host development environment, language translation tools, complexity, Ada, Ada, software tools, distributed processing, distributed applications, run-time system, program interpreters, program design, APPL, hardware configuration
2	Narain H. Gehani, William D. Roome	Rendezvous Facilities: Concurrent C and the Ada Language. (PDF / PS)	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	rendezvous concept, parallel programming, parallel programming, Ada, Ada, concurrent programming, C language, Concurrent C
2	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
1	Ben 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	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	Cynthia Della Torre Cicalese, Richard M. Weatherly, Joel Sherrill, Robert H. Bolling, Kevin Forbes, Robert 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	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	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	John W. McCormick	MA1: Ada for real-time and parallel processing.	SIGAda	2008	DBLP DOI BibTeX RDF	software engineering, design, reliability, real-time, ada, parallel processing, software, safety, languages, systems, assurance, high integrity
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-Paul 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	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, high integrity, enterprise service bus
1	Joyce 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	Yijuan Lu, Qi Tian, Jennifer L. Neary, Feng Liu, Yufeng Wang	Adaptive discriminant analysis for microarray-based classification.	TKDD	2008	DBLP DOI BibTeX RDF	BDA, boosted ADA, ADA, microarray, LDA, dimension reduction
1	Irfan Hamid, Bechir Zalila, Elie Najm, Jérôme Hugues	Automatic framework generation for hard real-time applications.	ISSE	2008	DBLP DOI BibTeX RDF	Ravenscar, Real-time, Ada, Code generation, Model transformation, AADL
1	Markus Wolf	Concurrent and Real-time Programming in Ada (3rd edition) Alan Burns, Andy Wellings, Cambridge University Press, 2007, ISBN 9780521866972.	ACM Queue	2008	DBLP DOI BibTeX RDF	Ada
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	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	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	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	Paul Pukite, Luke Ludwig	Generic discrete event simulations using D<scp>EGAS</scp>: : 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	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	Luke Ludwig, Paul Pukite	DEGAS: discrete event Gnu advanced scheduler.	SIGAda	2006	DBLP DOI BibTeX RDF	scheduling, Ada, concurrency, GNAT, pthread
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	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	Diane Crawford	Forum.	Commun. ACM	2006	DBLP DOI BibTeX RDF	Ada
1	Korochkin Alexandr, Salah Imad, Korochkin Dmitry	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	Gustaf Naeser, Kristina Lundqvist, Lars Asplund	Temporal skeletons for verifying time.	SIGAda	2005	DBLP DOI BibTeX RDF	verification, ada, formal notation
1	Xavier Sautejeau	Modeling SPARK systems with UML.	SIGAda	2005	DBLP DOI BibTeX RDF	UML, ada, profile, metamodel, informed, SPARK
1	John W. McCormick	We've been working on the railroad: a laboratory for real-time embedded systems.	SIGCSE	2005	DBLP DOI BibTeX RDF	real-time, ada, C, embedded, curriculum, project, laboratory
1	Mario Aldea Rivas, Javier Miranda, Michael González Harbour	Integrating Application-Defined Scheduling with the New Dispatching Policies for Ada Tasks.	Ada-Europe	2005	DBLP DOI BibTeX RDF	Scheduling, Real-Time Systems, Ada, Compilers, Kernel, POSIX
1	Patrick Rogers, Andy J. Wellings	The Application of Compile-Time Reflection to Software Fault Tolerance Using Ada 95.	Ada-Europe	2005	DBLP DOI BibTeX RDF	Ada, Reflection, conversations, software fault tolerance, atomic actions, recovery blocks, backward error recovery
1	M. M. Adams, Philip B. Clayton	ClawZ: Cost-Effective Formal Verification for Control Systems.	ICFEM	2005	DBLP DOI BibTeX RDF	industrial formal verification, ProofPower, Eurofighter Typhoon, Ada, refinement, Z, control systems, safety-critical software, Simulink, real-time software, formal proof
1	George Romanski	Ada in the avionics industry.	SIGAda	2005	DBLP DOI BibTeX RDF	Ada
1	C. Wayne Brown	Teaching graphics using Ada.	SIGAda	2004	DBLP DOI BibTeX RDF	code conversion, Ada, computer graphics, VRML, C, cross compiling
1	Andy Lapping	Model driven development with Ada.	SIGAda	2004	DBLP DOI BibTeX RDF	UML, unified modeling language, Ada, process, model driven development
1	Manuel Carro, Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro	Teaching How to Derive Correct Concurrent Programs from State-Based Specifications and Code Patterns.	TFM	2004	DBLP DOI BibTeX RDF	Formal Specification, Ada, Code Generation, Safety, Concurrent Programming, Liveness
1	Roderick Chapman, Adrian Hilton	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	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	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	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	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	Ernestina Martel, Francisco Guerra Santana, Javier Miranda, Luis Hernández	A Graphical Environment for GLADE.	Ada-Europe	2003	DBLP BibTeX RDF	Distributed Configuration, GLADE, Group_IO, Ada
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	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	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	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	Brian Sierkowski	Achieving web accessibility.	SIGUCCS	2002	DBLP DOI BibTeX RDF	ADA, accessibility, disabilities, web design, web development
1	Martin C. Carlisle, Keith Shomper	ROBOT interpreter.	ACM Journal of Educational Resources in Computing	2002	DBLP DOI BibTeX RDF	Ada, robots, Lego Mindstorms
1	Barry S. Fagin, Laurence D. Merkle	Quantitative analysis of the effects of robots on introductory Computer Science education.	ACM Journal of Educational Resources in Computing	2002	DBLP DOI BibTeX RDF	Ada, robots, Lego Mindstorms
1	Ernestina Martel, Francisco Guerra Santana, Javier Miranda	EPDA-modeller: a tool for modelling a distributed programming environment. (PDF / PS)	ISCC	2002	DBLP DOI BibTeX RDF	Distributed Configuration, Group IO, Glade, Fault-Tolerance, Ada
1	Francisco Guerra Santana, Javier Miranda, J. M. Santos, Ernestina Martel, Luis Hernández, E. Pulido	Programming Distributed Systems with Group_IO.	PDP	2002	DBLP DOI BibTeX RDF	Distributed Systems, Ada, Group Communication, Fault-Tolerant Systems
1	Javier Miranda, Francisco Guerra Santana, J. Martin, A. Gonzalez	A Technique to Build Ada Preprocessors.	PDP	2002	DBLP DOI BibTeX RDF	Ada, Compilers, Pre-processing, GNAT
1	Sergey Rybin, Alfred Strohmeier	About the Difficulties of Building a Pretty-Printer for Ada.	Ada-Europe	2002	DBLP BibTeX RDF	Pretty-Printer, Ada, ASIS
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	Richard Conn	Ada, CMM level 4, and the C-130J aircraft.	SIGAda	2002	DBLP DOI BibTeX RDF	Ada
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	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	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, component architecture, product line architecture, software lifecycle
1	Mário Amado Alves	Safe Web Forms and XML Processing with Ada.	Ada-Europe	2001	DBLP BibTeX RDF	web services development, XML, Ada, HTML, CGI
1	Alexey Kuchumov, Sergey Rybin, Alfred Strohmeier	OASIS - An ASIS Secondary Library for Analyzing Object-Oriented Ada Code.	Ada-Europe	2001	DBLP BibTeX RDF	Ada Semantic Interface Specification, GNU Ada Compiler, ASIS-for-GNAT, Ada, Object-Oriented Programming, ASIS, GNAT
1	Michael Ward, Neil C. Audsley	Hardware compilation of sequential Ada.	CASES	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	Bruce R. Barkstrom	Ada 95 bindings for the NCSA hierarchical data format.	SIGAda	2001	DBLP DOI BibTeX RDF	HDF, HDF4, Hierarchical Data Format, Self-documenting files, Ada, File formats, HDF5
1	Martin C. Carlisle	Keynote address: confessions of an academic Ada zealot.	SIGAda	2001	DBLP DOI BibTeX RDF	Ada
1	Robert Dewar	Keynote address: future development of the Ada language.	SIGAda	2001	DBLP DOI BibTeX RDF	Ada
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	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	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	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	Björn Källberg, Rei Stråhle	Ship system 2000, a stable architecture under continuous evolution.	SIGAda	2001	DBLP DOI BibTeX RDF	Ada
1	Erhard Plödereder	Panel: the making of ISO/IEC 8652: Ada 2005.	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	William Pritchett, Brian Wood	Vetronics technology testbed: experience report.	SIGAda	2001	DBLP DOI BibTeX RDF	Ada