Search results for "Ada-95"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Anthony B. Gargaro, A. Spencer Peterson	Transitioning a model-based software engineering architectural style to Ada 95.	TRI-Ada	1995	DBLP DOI BibTeX RDF
12	Stéphane Barbey, Magnus Kempe, A. Strohmeir	Advanced Object-Oriented Features and Programming in Ada 95.	TRI-Ada Tutorials	1995	DBLP DOI BibTeX RDF	Ada
11	Leonid Dulman	Visual Ada developer.	SIGAda	2002	DBLP DOI BibTeX RDF	Ada-95, widget, ide, Tcl/Tk, gui
10	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
10	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#
10	Yuming Zhou, Baowen Xu	Extracting Objects of Ada Programs Using Module Features.	ICSM	1999	DBLP DOI BibTeX RDF	Ada 83, module cohesion, module coupling, object-oriented reengineering, inheritance, Ada 95, object extraction
10	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
10	O. P. Kiddle, Andy J. Wellings	Extensible Protected Types.	SIGAda	1998	DBLP DOI BibTeX RDF	Ada, Ada 95, concurrent object-oriented programming
10	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
10	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
10	Laurent Pautet, Thomas Wolf	Transparent Filtering of Streams in GLADE.	TRI-Ada	1997	DBLP DOI BibTeX RDF	security, distributed systems, cryptography, Ada, compression, distributed objects, Ada 95
10	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
10	Slobodan S. Jovanovic, Drasko M. Sotirovski, Pierre van Aswegen	Developing Scripting Capabilities for an Ada-Based Simulator.	Ada-Europe	1997	DBLP DOI BibTeX RDF	Simulation, Scripting, Ada 95
8	Tullio Vardanega, Juan Zamorano, Juan Antonio de la Puente	On the Dynamic Semantics and the Timing Behavior of Ravenscar Kernels.	Real Time Syst.	2005	DBLP DOI BibTeX RDF	tasking restrictions, Real-time systems, concurrent programming, static timing analysis, response time analysis, Ravenscar Profile
8	Diyaa-Addein Atiya, Steve King 0001, Jim Woodcock 0001	A Circus Semantics for Ravenscar Protected Objects.	FME	2003	DBLP DOI BibTeX RDF	Ravenscar, Ada Protected Objects, Formal Semantics, Z, Circus
8	Baowen Xu, Zhenqiang Chen, Jianjun Zhao 0001	Measuring cohesion of packages in Ada95.	SIGAda	2003	DBLP DOI BibTeX RDF	measurement, object-oriented, cohesion
8	Jérôme Hugues, Laurent Pautet, Fabrice Kordon	Contributions to middleware architectures to prototype distribution infrastructures.	IEEE International Workshop on Rapid System Prototyping	2003	DBLP DOI BibTeX RDF
8	Julio L. Medina, J. Javier Gutiérrez, José M. Drake, Michael González Harbour	Modeling and Schedulability Analysis of Hard Real-Time Distributed Systems Based on Ada Components.	Ada-Europe	2002	DBLP DOI BibTeX RDF
8	Luís Miguel Pinho, Francisco Vasques	Transparent Environment for Replicated Ravenscar Applications.	Ada-Europe	2002	DBLP DOI BibTeX RDF
8	Michael Erdmann	GNAT Ada Database Development Environment.	Ada-Europe	2002	DBLP DOI BibTeX RDF
8	Marta Patiño-Martínez, Ricardo Jiménez-Peris, Jörg Kienzle, Sergio Arévalo	Concurrency Control in Transactional Drago.	Ada-Europe	2002	DBLP DOI BibTeX RDF	distributed systems, databases, transactions, locking
8	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
8	Thomas Quinot, Laurent Pautet, Fabrice Kordon	From Functional to Architectural Analysis of a Middleware Supporting Interoperability across Heterogeneous Distribution Models.	DOA	2001	DBLP DOI BibTeX RDF
8	Laurent Pautet, Thomas Quinot, Samuel Tardieu	Building Modern Distributed Systems.	Ada-Europe	2001	DBLP DOI BibTeX RDF
8	Zhengqiang Chen, Baowen Xu, Hongji Yang	Slicing Tagged Objects in Ada.	Ada-Europe	2001	DBLP DOI BibTeX RDF
8	Jordi Marco, Xavier Franch	Reengineering the Booch Component Library.	Ada-Europe	2000	DBLP DOI BibTeX RDF
8	Yusuke Nonaka, Katsuhiko Hatano, Yoshinari Nomura, Jingde Cheng, Kazuo Ushijima	A System Dependence Net Generator for Ada Programs.	APSEC	1999	DBLP DOI BibTeX RDF	Ada, concurrency, program dependences
8	Kristina Lundqvist, Lars Asplund	A formal model of the Ada Ravenscar tasking profile; delay until.	SIGAda	1999	DBLP DOI BibTeX RDF
8	Hélène Waeselynck, Pascale Thévenod-Fosse	A Case Study in Statistical Testing of Reusable Concurrent Objects.	EDCC	1999	DBLP DOI BibTeX RDF
8	S. Tucker Taft	Programming Language Design and Software Quality.	TOOLS (30)	1999	DBLP DOI BibTeX RDF
8	Laurent Pautet, Thomas Quinot, Samuel Tardieu	CORBA & DSA: Divorce or Marriage?	Ada-Europe	1999	DBLP DOI BibTeX RDF
8	Peter J. Ashenden, Philip A. Wilsey, Dale E. Martin	SUAVE: Extending VHDL to Improve Data Modeling Support.	IEEE Des. Test Comput.	1998	DBLP DOI BibTeX RDF
8	Jie Xu 0007, Alexander B. Romanovsky, Brian Randell	Coordinated Exception Handling in Distributed Object Systems: From Model to System Implementation.	ICDCS	1998	DBLP DOI BibTeX RDF	coordinated exception handling, exception resolution, nested atomic actions, Concurrent programs, distributed object systems
8	Shuzhen Yao, Fagen Tang, Yunfeng Liu	An Object-Oriented Model for Parallel Softwares.	TOOLS (27)	1998	DBLP DOI BibTeX RDF	object_oriented, parallel software, Petri net
8	Bruce A. Lewis, Steve Vestal, David J. McConnell	Modern Avionics Requirements for the Distributed Systems Annex.	Ada-Europe	1998	DBLP DOI BibTeX RDF
8	Franco Gasperoni	Embedded Opportunities.	Ada-Europe	1998	DBLP DOI BibTeX RDF
8	Kam S. Tso, Eltefaat Shokri, Roger J. Dziegiel Jr.	ReSoFT: A Reusable Testbed for Development and Evaluation of Software Fault-Tolerant Systems.	HASE	1997	DBLP DOI BibTeX RDF
8	Bohdan Nebash, Michael B. Feldman	Using HTML linking to help novice programmers to reuse components.	SIGCSE	1997	DBLP DOI BibTeX RDF	HTML
8	Francesco Calzolari, Stefano Crespi-Reghizzi, Luca Cicognani, Giorgio Bossi	The Evolution of MML/MME towards Real Time and Heterogeneous Systems.	EUROMICRO	1997	DBLP DOI BibTeX RDF
8	Wolfgang Gellerich, Erhard Plödereder	: Parameter-Induced Aliasing and Related Problems can be Avoided.	Ada-Europe	1997	DBLP DOI BibTeX RDF
8	Dong-Ik Oh, Theodore P. Baker, Seung-Jin Moon	The GNARL Implementation of POSIX/Ada Signal Services.	Ada-Europe	1996	DBLP DOI BibTeX RDF