Search results for "Ada83"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
98	Philippe Waroquiers, Stef van Vlierberghe, Dirk Craeynest, Andrew Hately, Erik Duvinage	Migrating Large Applications from Ada83 to Ada95.	Ada-Europe	2001	DBLP DOI BibTeX RDF
79	Sang-Yoon Min, Yoon-Kyu Jan, Sung Deok Cha, Yong Rae Kwon, Doo-Hwan Bae	Safety Verification of Ada95 Programs Using Software Fault Trees.	SAFECOMP	1999	DBLP DOI BibTeX RDF
56	Brian Dobbing, Marc Richard-Foy	T-SMART - Task-Safe, Minimal Ada Realtime Toolset.	Ada-Europe	1997	DBLP DOI BibTeX RDF	Ada83, Software Reliability, Certification, Ada 95
40	Kor Molenmaker	Converting the Part Task Nautical Simulator to Ada 95.	Ada-Europe	1996	DBLP DOI BibTeX RDF
39	Baowen Xu, Yuming Zhou	Extracting Objects from Ada83 Programs: A Case Study.	J. Comput. Sci. Technol.	2001	DBLP DOI BibTeX RDF
39	Kenneth N. Warner, Alicia S. Slaughter	A transition analysis of an operational system from ADA83 to ADA95.	TRI-Ada	1995	DBLP DOI BibTeX RDF
39	Henry Baker	Object-Oriented Programming in Ada83 and Ada9X.	TOOLS (8)	1992	DBLP BibTeX RDF
20	William M. Evanco, June M. Verner	Some Architectural Features of Ada Systems Affecting Defects.	Ada-Europe	2003	DBLP DOI BibTeX RDF
20	William M. Evanco	Architectural Tradeoffs at the Object.	IEEE METRICS	2002	DBLP DOI BibTeX RDF
20	Benjamin M. Brosgol, Brian Dobbing	Can Java Meet Its Real-Time Deadlines?	Ada-Europe	2001	DBLP DOI BibTeX RDF
20	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
20	Yang Guang, Dongchan Wen, Lu Jia	Parallel Objects in Distributed Ada95 Compiler and Running System - PDEFA.	TOOLS (31)	1999	DBLP DOI BibTeX RDF	distributed system, parallelism, concurrency, object-oriented, Ada95
20	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
20	Henry G. Baker	You Could Learn a Lot from a Quadratic: I. Overloading Considered Harmful.	ACM SIGPLAN Notices	1998	DBLP DOI BibTeX RDF
20	Martin J. Stift	(Astro)Physical Supercomputing: Ada95 as a Safe, Object Oriented Alternative.	Ada-Europe	1998	DBLP DOI BibTeX RDF
20	Matthew J. Gallagher, V. Lakshmi Narasimhan	ADTEST: A Test Data Generation Suite for Ada Software Systems.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	Software test data generation, software testing, symbolic execution, program instrumentation
20	Chad Bremmon	The Funds Management Modernization: Experiences with Developing an Object-Oriented, Client-Server Management Information System in Ada 95.	Ada-Europe	1996	DBLP DOI BibTeX RDF	Ada95 Transition, Object Oriented, Information Systems, Experience Report, Client/Server
20	Paul A. Bailes, Paul Burnim, Murray Chapman, Eric J. Salzman	KBSE and Ada - Object and Enabling Technology.	Ada-Europe	1995	DBLP DOI BibTeX RDF
20	Marc Richard-Foy	Safe Ada Executive: An Executive for Ada Safety Critical Applications.	Ada-Europe	1995	DBLP DOI BibTeX RDF
20	Noemi de La Rocque Rodriguez, Roberto Ierusalimschy, José Lucas Rangel	Types in School.	ACM SIGPLAN Notices	1993	DBLP DOI BibTeX RDF
20	Henry G. Baker	Inlining Semantics for Subroutines which are Recursive.	ACM SIGPLAN Notices	1992	DBLP DOI BibTeX RDF
20	M. Gobin, M. Timmerman, Frank Gielen	Runtime System Support for Data-Oriented Synchronization in Ada-9X.	Ada-Europe	1992	DBLP DOI BibTeX RDF
20	Frank W. Miller	Predictive Deadline Multi-Processing.	ACM SIGOPS Oper. Syst. Rev.	1990	DBLP DOI BibTeX RDF