|
|
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 |
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 |
|
Displaying result #1 - #78 of 78 (100 per page; Change: )
|
|