Search results for "ada95"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
116	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
84	Detlef Schmitt	Analysis, Design and Implementation of an Object-Oriented Framework in Ada95.	Ada-Europe	2000	DBLP DOI BibTeX RDF	Experience Reports from Projects using Ada95, Case Studies and Experiments, Frameworks, Object-Oriented Technologies
75	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
68	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
59	Zdenko Vrandecic, Daniel Simon	XML4Ada95 Accessing XML Using the DOM in Ada95.	Ada-Europe	2004	DBLP DOI BibTeX RDF
59	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
59	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
59	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
59	Jacob Frost	An Ada95 Solution for Certification of Embedded Safety Critical Applications.	Ada-Europe	1999	DBLP DOI BibTeX RDF
59	Martin J. Stift	(Astro)Physical Supercomputing: Ada95 as a Safe, Object Oriented Alternative.	Ada-Europe	1998	DBLP DOI BibTeX RDF
56	David G. Mathisen, Robert W. Carey	Orchestrating shots for the national ignition racility.	SIGAda	2005	DBLP DOI BibTeX RDF	java, XML, architecture, concurrency, workflow, framework, CORBA, multi-threaded, state machine, model-based, data driven, Ada95
56	Yang Guang, Dongchan Wen, Dingxing Wang	A Revised, Inheritance-Supporting Parallel Object Model in PDEFA-I.	TOOLS (36)	2000	DBLP DOI BibTeX RDF	Ada95 parallel object-oriented inheritance anomaly concurrent
56	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
48	Daniel Simon, Gunther Vogel, Erhard Plödereder	Teaching Software Engineering with Ada 95.	Ada-Europe	2005	DBLP DOI BibTeX RDF
48	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
48	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
48	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
43	Baowen Xu, Zhenqiang Chen, Jianjun Zhao 0001	Measuring cohesion of packages in Ada95.	SIGAda	2003	DBLP DOI BibTeX RDF	measurement, object-oriented, cohesion
43	Matthew Heaney	Charles: A Data Structure Library for Ada95.	Ada-Europe	2003	DBLP DOI BibTeX RDF
43	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
43	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
43	Dan Marius Regep, Fabrice Kordon	Using MetaScribe to Prototype an UML to C++/Ada95 Code Generator.	IEEE International Workshop on Rapid System Prototyping	2000	DBLP DOI BibTeX RDF	Meta-data description, Semantic transformation, Hypergenericity, Prototyping, Program generation
43	Patrick Closhen, Hans-Jürgen Hoffmann	An Ada95 Programming Style Checker Using the GNAT ASIS Implementation.	Ada-Europe	2000	DBLP DOI BibTeX RDF	Style Checking, Framework, Software Quality, ASIS, GNAT
43	Emilio Tuosto	An Ada95 Implementation of a Network Coordination Language with Code Mobility.	Ada-Europe	1999	DBLP DOI BibTeX RDF	Ada Language and Tools, Ada Experience Reports, Case Studies and Experiments, Ada and other Languages, Distributed Systems
43	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
43	Jason Jen-Yen Chen	CSPL: An Ada95-Like, Unix-Based Process Environment.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	software engineering, process modeling, software process, software engineering environment, Process-centered environment
43	Maurice Heitz	Achieving Reusable and Reliable Client-Server Code using HOODTM Automated Code Generation for ADA95 and C++ Targets.	Ada-Europe	1995	DBLP DOI BibTeX RDF	Control expression, Reliability, Verification, Real-Time, Object Oriented Programming, Object Orientation, Distributed, Object Oriented Design, Method integration, HOOD
40	Chris Nettleton, Wilson Ifill, Colin Marsh	Towards a demonstrably-correct ada compiler.	SIGAda	2007	DBLP DOI BibTeX RDF	compiler, correctness, ada95
40	Dhavy Gantsou	An architectural framework for supporting distributed object based routing.	SIGAda	2002	DBLP DOI BibTeX RDF	glade, TCP/IP, routing protocols, distributed objects, Ada95, distributed system annex
40	Kevin Lano, Stephen J. Goldsack	Discrete event process controller synthesis using VDM++.	ICECCS	1995	DBLP DOI BibTeX RDF	ignition, control system synthesis, heat systems, discrete event process controller synthesis, VDM/sup ++/, controller specification, gas burner system, systematic method, declarative requirement statements, abstract VDM/sup ++/ specifications, concrete VDM/sup ++/ specifications, formalised requirements, refinement process, real-time systems, formal specification, temporal logic, timing, specification languages, timing analysis, object-oriented languages, process control, parallel languages, discrete event systems, programmable controllers, controller design, Vienna development method, control system CAD, Ada95, real-time temporal logic, combustion
32	Yuan Liu, Baowen Xu	Process algebra model of Ada protected objects.	ACM SIGPLAN Notices	2004	DBLP DOI BibTeX RDF	model checking, process algebra, atomic action, protected object
32	Robert Soricone, Melvin Neville	Comparative analysis of genetic algorithm implementations.	SIGAda	2004	DBLP DOI BibTeX RDF	genetic algorithms, parameterized types
32	Michael Ward, Neil C. Audsley	Hardware compilation of sequential Ada.	CASES	2001	DBLP DOI BibTeX RDF	Ada
32	Bertrand Dupouy, Olivier Hainque, Laurent Pautet, Samuel Tardieu	The SPIF Project.	Ada-Europe	1997	DBLP DOI BibTeX RDF
32	Bernd Gliss	An Ada 95 Harness for Converting Legacy Fortran Applications.	Ada-Europe	1996	DBLP DOI BibTeX RDF	Fortran language, Object-Orientation, Reuse, Software Development Methods, Ada language
32	Paul A. Bailes, Paul Burnim, Murray Chapman, Eric J. Salzman	KBSE and Ada - Object and Enabling Technology.	Ada-Europe	1995	DBLP DOI BibTeX RDF
27	Mark Gardinier	Open source development of a safety critical dual redundant (Ada95/C++) signal control program environment (SCOPE).	SIGAda	2009	DBLP DOI BibTeX RDF
27	Bernd Burgstaller, Johann Blieberger, Robert Mittermayr	Static Detection of Access Anomalies in Ada95.	Ada-Europe	2006	DBLP DOI BibTeX RDF
27	Bruce Lewis	Software portability gains realized with METAH and Ada95.	IRTAW	2002	DBLP DOI BibTeX RDF
27	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
27	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
27	Mike Kamrad	An Application (Layer 7) Routing Switch with Ada95 Software.	Ada-Europe	1999	DBLP DOI BibTeX RDF
27	Thierry Millan, Myriam Lamolle, Frédéric Mulatero	An Adaptation of our Ada95/O2 Binding to Provide Persistence to the Java Language: Sharing and Handling of Data between Heterogenous Applications using Persistence.	Ada-Europe	1999	DBLP DOI BibTeX RDF	Ada 83, O2, data environment, Java, interoperability, Persistence, Ada 95, Object Oriented Database Management System
27	Baowen Xu	Comments On Several Syntax Rules in Ada95.	ACM SIGPLAN Notices	1998	DBLP DOI BibTeX RDF	Ada
27	Zhenyu Wang, Heng Zhao, Li Zhang	Automatically Generating Ada95 Codes for Concurrent Objects.	TOOLS (27)	1998	DBLP DOI BibTeX RDF
27	Stephen Alan Bale	The refinement of formal specifications using reusable software components in Ada95.		1998	RDF
27	Stephen Michell, Dan Craigen, Mark Saaltink	Using analytical approaches for high integrity Ada95 systems.	IRTAW	1997	DBLP DOI BibTeX RDF
27	Karlotto Mangold	Sicherheit mit Standard-Software - Was kann Ada95 dazu beitragen.	PEARL	1997	DBLP DOI BibTeX RDF
27	Donald M. Needham, Steven A. Demurjian, Thomas J. Peters	An Ada95 Basis for Propagation Modeling.	TRI-Ada	1997	DBLP DOI BibTeX RDF	Ada
27	Eltefaat Shokri, Kam S. Tso	Ada95 object-oriented and real-time support for development of software fault tolerance reusable components.	WORDS	1996	DBLP DOI BibTeX RDF
27	Kenneth N. Warner, Alicia S. Slaughter	A transition analysis of an operational system from ADA83 to ADA95.	TRI-Ada	1995	DBLP DOI BibTeX RDF
27	Patrick Rogers, Marc Pitarys	The first embedded distributed Ada95 application.	TRI-Ada	1995	DBLP DOI BibTeX RDF
27	Magnus Kempe	Heterogeneous Data Structures and Cross-Classification of Objects with Ada95.	Ada-Europe	1995	DBLP DOI BibTeX RDF	Heterogeneous Collections, Classification, Abstract Data Types, Ada 95, Catalogues
27	Karlotto Mangold	Ada95 - An Approach to Overcome the Software Crisis?	Ada-Europe	1995	DBLP DOI BibTeX RDF
24	Alan Burns 0001, Tse-Min Lin	An engineering process for the verification of real-time systems.	Formal Aspects Comput.	2007	DBLP DOI BibTeX RDF	Rely/guarantee conditions, Model checking, Scheduling analysis, UPPAAL, SPARK, Ada95, Ravenscar profile
24	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
24	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
16	Sheldon X. Liang, Lyle A. Reibling, John Betts	Re-ADA: reliable Ada-based descriptive architecture for C4ISR via a quantitative interoperating model.	SIGAda	2008	DBLP DOI BibTeX RDF	interoperability, dependability, heterogeneity, architectural description
16	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
16	Francisco J. Ortiz, Diego Alonso, Bárbara Álvarez, Juan Angel Pastor	A Reference Control Architecture for Service Robots Implemented on a Climbing Vehicle.	Ada-Europe	2005	DBLP DOI BibTeX RDF
16	Wojciech Bozejko, Mieczyslaw Wodecki	Parallel Genetic Algorithm for Minimizing Total Weighted Completion Time.	ICAISC	2004	DBLP DOI BibTeX RDF
16	Wojciech Bozejko, Mieczyslaw Wodecki	Parallel Tabu Search Method Approach for Very Difficult Permutation Scheduling Problems.	PARELEC	2004	DBLP DOI BibTeX RDF
16	Wolf Zimmermann, Axel Dold	A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
16	Johann Blieberger, Bernd Burgstaller	Eliminating Redundant Range Checks in GNAT Using Symbolic Evaluation.	Ada-Europe	2003	DBLP DOI BibTeX RDF
16	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
16	Bruce R. Barkstrom	Ada 95 bindings for the NCSA hierarchical data format.	SIGAda	2001	DBLP DOI BibTeX RDF	HDF4, Hierarchical Data Format, Self-documenting files, Ada, File formats, HDF5, HDF
16	Benjamin M. Brosgol, Brian Dobbing	Can Java Meet Its Real-Time Deadlines?	Ada-Europe	2001	DBLP DOI BibTeX RDF
16	Thierry Lacomme, Séverine Carles, Agusti Canals, François Normend	MTS Integrating UML, HOOD, Ada in a Full Ada Operational Software Project.	Ada-Europe	2000	DBLP DOI BibTeX RDF
16	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
16	Kristina Lundqvist, Lars Asplund, Stephen Mitchell	A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objects.	Ada-Europe	1999	DBLP DOI BibTeX RDF	Ravenscar, Formal Methods, Run-Time System, UPPAAL, Ada Tasking, Protected Objects
16	Kresten Krab Thorup	Genericity in Java with Virtual Types.	ECOOP	1997	DBLP DOI BibTeX RDF
16	Alejandro Alonso 0001, Juan Antonio de la Puente	Building Reusable Software Architectures with Ada 95.	ICECCS	1996	DBLP DOI BibTeX RDF
16	Dan Craigen, Mark Saaltink, Steve Michell	Ada 95 and Critical Systems: An Analytical Approach.	Ada-Europe	1996	DBLP DOI BibTeX RDF
16	Johann Blieberger, Roland Lieger, Bernd Burgstaller	Augmenting Ada 95 with Additional Real-Time Features.	Ada-Europe	1996	DBLP DOI BibTeX RDF
16	Michael Oudshoorn, Stephen Crawley	Beyond Ada 95: The Addition of Persistence and Its Consequences.	Ada-Europe	1996	DBLP DOI BibTeX RDF
16	Wolfgang Gellerich, Markus Kosiol, Erhard Plödereder	Where Does GOTO Go to?	Ada-Europe	1996	DBLP DOI BibTeX RDF	GOTO, evaluation of programming techniques
16	Kor Molenmaker	Converting the Part Task Nautical Simulator to Ada 95.	Ada-Europe	1996	DBLP DOI BibTeX RDF
16	Marc Richard-Foy	Safe Ada Executive: An Executive for Ada Safety Critical Applications.	Ada-Europe	1995	DBLP DOI BibTeX RDF