The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Ada95 with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1995-1996 (17) 1997-1999 (26) 2000-2002 (16) 2003-2006 (15) 2007-2009 (4)
Publication types (Num. hits)
article(4) inproceedings(73) phdthesis(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 177 occurrences of 126 keywords

Results
Found 78 publication records. Showing 78 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
116Yang Guang, Dongchan Wen, Lu Jia Parallel Objects in Distributed Ada95 Compiler and Running System - PDEFA. Search on Bibsonomy TOOLS (31) The full citation details ... 1999 DBLP  DOI  BibTeX  RDF distributed system, parallelism, concurrency, object-oriented, Ada95
84Detlef Schmitt Analysis, Design and Implementation of an Object-Oriented Framework in Ada95. Search on Bibsonomy Ada-Europe The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Experience Reports from Projects using Ada95, Case Studies and Experiments, Frameworks, Object-Oriented Technologies
75Sang-Yoon Min, Yoon-Kyu Jan, Sung Deok Cha, Yong Rae Kwon, Doo-Hwan Bae Safety Verification of Ada95 Programs Using Software Fault Trees. Search on Bibsonomy SAFECOMP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
68Knut H. Pedersen, Constantinos Constantinides AspectAda: aspect oriented programming for ada95. Search on Bibsonomy SIGAda The full citation details ... 2005 DBLP  DOI  BibTeX  RDF ada semantic interface specification (ASIS), aspect-oriented programming (AOP), concurrent programming, inheritance anomaly, ada95
59Zdenko Vrandecic, Daniel Simon XML4Ada95 Accessing XML Using the DOM in Ada95. Search on Bibsonomy Ada-Europe The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
59Philippe Waroquiers, Stef van Vlierberghe, Dirk Craeynest, Andrew Hately, Erik Duvinage Migrating Large Applications from Ada83 to Ada95. Search on Bibsonomy Ada-Europe The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
59Joseph R. Wisniewski Transitioning an ASIS application: version 1 to Ada95 2.0. Search on Bibsonomy SIGAda The full citation details ... 1999 DBLP  DOI  BibTeX  RDF ASISWG, Traverse_Element, semantics, context, syntax, ASIS, element
59Donald M. Needham, Steven A. Demurjian, Thomas J. Peters Towards a distributed object-oriented propagation model using Ada95. Search on Bibsonomy SIGAda The full citation details ... 1999 DBLP  DOI  BibTeX  RDF methods and techniques, distributed systems, object-oriented technology, Ada languages
59Jacob Frost An Ada95 Solution for Certification of Embedded Safety Critical Applications. Search on Bibsonomy Ada-Europe The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
59Martin J. Stift (Astro)Physical Supercomputing: Ada95 as a Safe, Object Oriented Alternative. Search on Bibsonomy Ada-Europe The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
56David G. Mathisen, Robert W. Carey Orchestrating shots for the national ignition racility. Search on Bibsonomy SIGAda The full citation details ... 2005 DBLP  DOI  BibTeX  RDF java, XML, architecture, concurrency, workflow, framework, CORBA, multi-threaded, state machine, model-based, data driven, Ada95
56Yang Guang, Dongchan Wen, Dingxing Wang A Revised, Inheritance-Supporting Parallel Object Model in PDEFA-I. Search on Bibsonomy TOOLS (36) The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Ada95 parallel object-oriented inheritance anomaly concurrent
56Chad Bremmon The Funds Management Modernization: Experiences with Developing an Object-Oriented, Client-Server Management Information System in Ada 95. Search on Bibsonomy Ada-Europe The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Ada95 Transition, Object Oriented, Information Systems, Experience Report, Client/Server
48Daniel Simon, Gunther Vogel, Erhard Plödereder Teaching Software Engineering with Ada 95. Search on Bibsonomy Ada-Europe The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
48Juan Carlos Díaz Martín, Isidro Irala Veloso, José Manuel Rodríguez García Building Tcl-Tk GUIs for HRT-HOOD systems. Search on Bibsonomy SIGAda The full citation details ... 1999 DBLP  DOI  BibTeX  RDF HRT-HOOD, Tcl-Tk, TAXIS, real time systems, user interfaces, Ada, Tcl
48Roderick Chapman, Robert Dewar Re-engineering a Safety-Critical Application Using SPARK 95 and GNORT. Search on Bibsonomy Ada-Europe The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Ada Language and Tools, High Integrity Systems
48Brian Dobbing, Marc Richard-Foy T-SMART - Task-Safe, Minimal Ada Realtime Toolset. Search on Bibsonomy Ada-Europe The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Ada83, Software Reliability, Certification, Ada 95
43Baowen Xu, Zhenqiang Chen, Jianjun Zhao 0001 Measuring cohesion of packages in Ada95. Search on Bibsonomy SIGAda The full citation details ... 2003 DBLP  DOI  BibTeX  RDF measurement, object-oriented, cohesion
43Matthew Heaney Charles: A Data Structure Library for Ada95. Search on Bibsonomy Ada-Europe The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
43Heinz Faßbender Reengineering an Ada95-programmed command and control information system by using UML. Search on Bibsonomy SIGAda The full citation details ... 2001 DBLP  DOI  BibTeX  RDF modeling, UML, UML, Ada, Reengineering, case tools
43Dhavy Gantsou Targeting Ada95/DSA for distributed simulation of multiprotocol communication networks. Search on Bibsonomy SIGAda The full citation details ... 2001 DBLP  DOI  BibTeX  RDF distributed networking protocols, distributed objects engineering, Ada, distributed simulation, Distributed system annex
43Dan Marius Regep, Fabrice Kordon Using MetaScribe to Prototype an UML to C++/Ada95 Code Generator. Search on Bibsonomy IEEE International Workshop on Rapid System Prototyping The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Meta-data description, Semantic transformation, Hypergenericity, Prototyping, Program generation
43Patrick Closhen, Hans-Jürgen Hoffmann An Ada95 Programming Style Checker Using the GNAT ASIS Implementation. Search on Bibsonomy Ada-Europe The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Style Checking, Framework, Software Quality, ASIS, GNAT
43Emilio Tuosto An Ada95 Implementation of a Network Coordination Language with Code Mobility. Search on Bibsonomy Ada-Europe The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Ada Language and Tools, Ada Experience Reports, Case Studies and Experiments, Ada and other Languages, Distributed Systems
43Steve Michell, Mark Saaltink Guidance on the Use of Ada95 in High Integrity Systems. Search on Bibsonomy Ada-Europe The full citation details ... 1998 DBLP  DOI  BibTeX  RDF HRG, Ada, critical systems, predictable systems, high integrity systems
43Jason Jen-Yen Chen CSPL: An Ada95-Like, Unix-Based Process Environment. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF software engineering, process modeling, software process, software engineering environment, Process-centered environment
43Maurice Heitz Achieving Reusable and Reliable Client-Server Code using HOODTM Automated Code Generation for ADA95 and C++ Targets. Search on Bibsonomy Ada-Europe The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Control expression, Reliability, Verification, Real-Time, Object Oriented Programming, Object Orientation, Distributed, Object Oriented Design, Method integration, HOOD
40Chris Nettleton, Wilson Ifill, Colin Marsh Towards a demonstrably-correct ada compiler. Search on Bibsonomy SIGAda The full citation details ... 2007 DBLP  DOI  BibTeX  RDF compiler, correctness, ada95
40Dhavy Gantsou An architectural framework for supporting distributed object based routing. Search on Bibsonomy SIGAda The full citation details ... 2002 DBLP  DOI  BibTeX  RDF glade, TCP/IP, routing protocols, distributed objects, Ada95, distributed system annex
40Kevin Lano, Stephen J. Goldsack Discrete event process controller synthesis using VDM++. Search on Bibsonomy ICECCS The full citation details ... 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
32Yuan Liu, Baowen Xu Process algebra model of Ada protected objects. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 2004 DBLP  DOI  BibTeX  RDF model checking, process algebra, atomic action, protected object
32Robert Soricone, Melvin Neville Comparative analysis of genetic algorithm implementations. Search on Bibsonomy SIGAda The full citation details ... 2004 DBLP  DOI  BibTeX  RDF genetic algorithms, parameterized types
32Michael Ward, Neil C. Audsley Hardware compilation of sequential Ada. Search on Bibsonomy CASES The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Ada
32Bertrand Dupouy, Olivier Hainque, Laurent Pautet, Samuel Tardieu The SPIF Project. Search on Bibsonomy Ada-Europe The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
32Bernd Gliss An Ada 95 Harness for Converting Legacy Fortran Applications. Search on Bibsonomy Ada-Europe The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Fortran language, Object-Orientation, Reuse, Software Development Methods, Ada language
32Paul A. Bailes, Paul Burnim, Murray Chapman, Eric J. Salzman KBSE and Ada - Object and Enabling Technology. Search on Bibsonomy Ada-Europe The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
27Mark Gardinier Open source development of a safety critical dual redundant (Ada95/C++) signal control program environment (SCOPE). Search on Bibsonomy SIGAda The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
27Bernd Burgstaller, Johann Blieberger, Robert Mittermayr Static Detection of Access Anomalies in Ada95. Search on Bibsonomy Ada-Europe The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
27Bruce Lewis Software portability gains realized with METAH and Ada95. Search on Bibsonomy IRTAW The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
27Dmitry Korochkin, Sergey Korochkin Experimental performance analysis of the Ada95 and Java parallel program on SMP systems. Search on Bibsonomy SIGAda The full citation details ... 2002 DBLP  DOI  BibTeX  RDF SMP systems, Java, Ada, synchronization, mutual exclusion, thread, task
27Francisco 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. Search on Bibsonomy Ada-Europe The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
27Mike Kamrad An Application (Layer 7) Routing Switch with Ada95 Software. Search on Bibsonomy Ada-Europe The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
27Thierry 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. Search on Bibsonomy Ada-Europe The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Ada 83, O2, data environment, Java, interoperability, Persistence, Ada 95, Object Oriented Database Management System
27Baowen Xu Comments On Several Syntax Rules in Ada95. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Ada
27Zhenyu Wang, Heng Zhao, Li Zhang Automatically Generating Ada95 Codes for Concurrent Objects. Search on Bibsonomy TOOLS (27) The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
27Stephen Alan Bale The refinement of formal specifications using reusable software components in Ada95. Search on Bibsonomy 1998   RDF
27Stephen Michell, Dan Craigen, Mark Saaltink Using analytical approaches for high integrity Ada95 systems. Search on Bibsonomy IRTAW The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
27Karlotto Mangold Sicherheit mit Standard-Software - Was kann Ada95 dazu beitragen. Search on Bibsonomy PEARL The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
27Donald M. Needham, Steven A. Demurjian, Thomas J. Peters An Ada95 Basis for Propagation Modeling. Search on Bibsonomy TRI-Ada The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Ada
27Eltefaat Shokri, Kam S. Tso Ada95 object-oriented and real-time support for development of software fault tolerance reusable components. Search on Bibsonomy WORDS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
27Kenneth N. Warner, Alicia S. Slaughter A transition analysis of an operational system from ADA83 to ADA95. Search on Bibsonomy TRI-Ada The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
27Patrick Rogers, Marc Pitarys The first embedded distributed Ada95 application. Search on Bibsonomy TRI-Ada The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
27Magnus Kempe Heterogeneous Data Structures and Cross-Classification of Objects with Ada95. Search on Bibsonomy Ada-Europe The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Heterogeneous Collections, Classification, Abstract Data Types, Ada 95, Catalogues
27Karlotto Mangold Ada95 - An Approach to Overcome the Software Crisis? Search on Bibsonomy Ada-Europe The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
24Alan Burns 0001, Tse-Min Lin An engineering process for the verification of real-time systems. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Rely/guarantee conditions, Model checking, Scheduling analysis, UPPAAL, SPARK, Ada95, Ravenscar profile
24Charles Plinta, Richard D'Ippolito, Roger Van Scoy A Specification and Code Generation Tool for Message Translation and Validation. Search on Bibsonomy SIGAda The full citation details ... 1998 DBLP  DOI  BibTeX  RDF CORBA servers, specification tool, model, Ada, interoperability, integration, validation, code generation, translation, message, model-based software engineering, Ada95
24Yoav Tzruya, Mordechai Ben-Ari A Portable Implementation of the Distributed Systems Annex in Java. Search on Bibsonomy SIGAda The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Java, Java, distributed systems, Ada, Ada95
16Sheldon X. Liang, Lyle A. Reibling, John Betts Re-ADA: reliable Ada-based descriptive architecture for C4ISR via a quantitative interoperating model. Search on Bibsonomy SIGAda The full citation details ... 2008 DBLP  DOI  BibTeX  RDF interoperability, dependability, heterogeneity, architectural description
16Khaled Barbaria, Laurent Pautet, Isabelle Perseil Schizophrenic middleware support for fault tolerance. Search on Bibsonomy SIGAda The full citation details ... 2006 DBLP  DOI  BibTeX  RDF fault tolerance, software architecture, middleware, Ada, CORBA
16Francisco J. Ortiz, Diego Alonso, Bárbara Álvarez, Juan Angel Pastor A Reference Control Architecture for Service Robots Implemented on a Climbing Vehicle. Search on Bibsonomy Ada-Europe The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
16Wojciech Bozejko, Mieczyslaw Wodecki Parallel Genetic Algorithm for Minimizing Total Weighted Completion Time. Search on Bibsonomy ICAISC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
16Wojciech Bozejko, Mieczyslaw Wodecki Parallel Tabu Search Method Approach for Very Difficult Permutation Scheduling Problems. Search on Bibsonomy PARELEC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
16Wolf Zimmermann, Axel Dold A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines. Search on Bibsonomy Abstract State Machines The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
16Johann Blieberger, Bernd Burgstaller Eliminating Redundant Range Checks in GNAT Using Symbolic Evaluation. Search on Bibsonomy Ada-Europe The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
16Benjamin M. Brosgol, Brian Dobbing Real-time convergence of Ada and Java™. Search on Bibsonomy SIGAda The full citation details ... 2001 DBLP  DOI  BibTeX  RDF scheduling, Java, Java, Real-Time, Ada, Ada, garbage collection, threads, asynchrony
16Bruce R. Barkstrom Ada 95 bindings for the NCSA hierarchical data format. Search on Bibsonomy SIGAda The full citation details ... 2001 DBLP  DOI  BibTeX  RDF HDF4, Hierarchical Data Format, Self-documenting files, Ada, File formats, HDF5, HDF
16Benjamin M. Brosgol, Brian Dobbing Can Java Meet Its Real-Time Deadlines? Search on Bibsonomy Ada-Europe The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
16Thierry Lacomme, Séverine Carles, Agusti Canals, François Normend MTS Integrating UML, HOOD, Ada in a Full Ada Operational Software Project. Search on Bibsonomy Ada-Europe The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
16Mike Kamrad, Barry A. Spinney An Ada Runtime System Implementation of the Ravenscar Profile for High Speed Application-Layer Data Switch. Search on Bibsonomy Ada-Europe The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
16Kristina Lundqvist, Lars Asplund, Stephen Mitchell A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objects. Search on Bibsonomy Ada-Europe The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Ravenscar, Formal Methods, Run-Time System, UPPAAL, Ada Tasking, Protected Objects
16Kresten Krab Thorup Genericity in Java with Virtual Types. Search on Bibsonomy ECOOP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
16Alejandro Alonso 0001, Juan Antonio de la Puente Building Reusable Software Architectures with Ada 95. Search on Bibsonomy ICECCS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
16Dan Craigen, Mark Saaltink, Steve Michell Ada 95 and Critical Systems: An Analytical Approach. Search on Bibsonomy Ada-Europe The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
16Johann Blieberger, Roland Lieger, Bernd Burgstaller Augmenting Ada 95 with Additional Real-Time Features. Search on Bibsonomy Ada-Europe The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
16Michael Oudshoorn, Stephen Crawley Beyond Ada 95: The Addition of Persistence and Its Consequences. Search on Bibsonomy Ada-Europe The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
16Wolfgang Gellerich, Markus Kosiol, Erhard Plödereder Where Does GOTO Go to? Search on Bibsonomy Ada-Europe The full citation details ... 1996 DBLP  DOI  BibTeX  RDF GOTO, evaluation of programming techniques
16Kor Molenmaker Converting the Part Task Nautical Simulator to Ada 95. Search on Bibsonomy Ada-Europe The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
16Marc Richard-Foy Safe Ada Executive: An Executive for Ada Safety Critical Applications. Search on Bibsonomy Ada-Europe The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #78 of 78 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license