|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 750 occurrences of 416 keywords
|
|
|
|
|
Results
Found 630 publication records. Showing 630 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 2 | Susan Entwisle, Heinz W. Schmidt, Ian D. Peake, Elizabeth A. Kendall |
A Model Driven Exception Management Framework for Developing Reliable Software Systems.  |
EDOC  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Gerard J. Holzmann, Rajeev Joshi |
Reliable Software Systems Design: Defect Prevention, Detection, and Containment.  |
VSTTE  |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Axel van Lamsweerde |
Building Formal Requirements Models for Reliable Software.  |
Ada-Europe  |
2001 |
DBLP DOI BibTeX RDF |
|
| 2 | Juan Antonio de la Puente, José F. Ruiz, Juan Zamorano |
An Open Ravenscar Real-Time Kernel for GNAT.  |
Ada-Europe  |
2000 |
DBLP DOI BibTeX RDF |
|
| 2 | John D. Musa |
Developing More Reliable Software Faster and Cheaper. (PDF / PS)  |
ICECCS  |
1999 |
DBLP DOI BibTeX RDF |
reliability objective, failure intensity, failure intensity objective, operational profile, software reliability engineering |
| 2 | Michael G. Walker 0002 |
Note: Pages 1 thru 501 will be found in volume 1. managing reliable software.  |
ACM Annual Conference  |
1978 |
DBLP DOI BibTeX RDF |
Management of software, Software organization theory, Software engineering, Software reliability |
| 1 | Gerard J. Holzmann |
Reliable Software Development: Analysis-Aware Design.  |
TACAS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yutaka Watanobe, Rentaro Yoshioka, Nikolay N. Mirenkov |
Programming in pictures: a way toward reliable software.  |
SoMeT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Romanovsky, Tullio Vardanega (eds.) |
Reliable Software Technologies - Ada-Europe 2011 - 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings  |
Ada-Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Semeen Rehman, Muhammad Shafique, Florian Kriebel, Jörg Henkel |
Reliable software for unreliable hardware: embedded code generation aiming at reliability.  |
CODES+ISSS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Hammond |
Why Parallel Functional Programming Matters: Panel Statement.  |
Ada-Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Syed Aoun Raza, Stefan Franke, Erhard Ploedereder |
Detecting High-Level Synchronization Errors in Parallel Programs.  |
Ada-Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Saez, Silvia Terrasa, Alfons Crespo |
A Real-Time Framework for Multiprocessor Platforms Using Ada 2012.  |
Ada-Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rigoberto Chil, Diego Alonso, Francisco J. Ortiz, Juan A. Pastor |
Using Robotics as a Motivational Tool: An Ada Interface to a Pioneer Robot.  |
Ada-Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Les Hatton |
On the Evolution of Unnatural Language.  |
Ada-Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Burns |
Programming Languages for Real-Time Applications Executing on Parallel Hardware.  |
Ada-Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanjoy K. Baruah, Alan Burns |
Implementing Mixed Criticality Systems in Ada.  |
Ada-Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Pierre Rosen |
Object Orientation in Critical Systems: Yes, in Moderation - Position Paper for the DO178C and Object-Orientation for Critical Systems Panel.  |
Ada-Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Erhard Ploedereder |
Programming Languages Meet Multicore.  |
Ada-Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thierry Coq, Jean-Pierre Rosen |
The SQALE Quality and Analysis Models for Assessing the Quality of Ada Source Code.  |
Ada-Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ángel Esquinas, Juan Zamorano, Juan Antonio de la Puente, Miguel Masmano, Ismael Ripoll, Alfons Crespo |
ORK+/XtratuM: An Open Partitioning Platform for Ada.  |
Ada-Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan Eilers, Tero Koskinen |
Adapting ACATS to the Ahven Testing Framework.  |
Ada-Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeffrey O'Leary |
Assuring Software Reliability While Using Web Services and Commercial Products.  |
Ada-Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Carnevali, Giuseppe Lipari, Alessandro Pinzuti, Enrico Vicario |
A Formal Approach to Design and Verification of Two-Level Hierarchical Scheduling Systems.  |
Ada-Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dewi Daniels |
Position Paper: DO-178C/ED-12C and Object-Orientation for Critical Systems.  |
Ada-Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Tucker Taft |
Multicore Programming in ParaSail - Parallel Specification and Implementation Language.  |
Ada-Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Johnsen, Kristina Lundqvist |
Developing Dependable Software-Intensive Systems: AADL vs. EAST-ADL.  |
Ada-Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Julio L. Medina, Alvaro Garcia Cuesta |
Model-Based Analysis and Design of Real-Time Distributed Systems with Ada and the UML Profile for MARTE.  |
Ada-Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Iago Rodríguez-López, Marisol García-Valls |
Architecting a Common Bridge Abstraction over Different Middleware Paradigms.  |
Ada-Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Roderick Chapman, Trevor Jennings |
OOT, DO-178C and SPARK.  |
Ada-Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabien Chouteau, José F. Ruiz |
Design and Implementation of a Ravenscar Extension for Multiprocessors.  |
Ada-Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jorge Real, Tullio Vardanega (eds.) |
Reliable Software Technologiey - Ada-Europe 2010, 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings  |
Ada-Europe  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Atef Mohamed, Mohammad Zulkernine |
Architectural Design Decisions for Achieving Reliable Software Systems.  |
ISARCS  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Björn Andersson, Luís Miguel Pinho |
Implementing Multicore Real-Time Scheduling Algorithms Based on Task Splitting Using Ada 2012.  |
Ada-Europe  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Albertos, Alfons Crespo, José E. Simó, Adel Fernández |
Control Co-design: Algorithms and Their Implementation.  |
Ada-Europe  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick J. Graydon, John C. Knight, Xiang Yin |
Practical Limits on Software Dependability: A Case Study.  |
Ada-Europe  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Mezzetti, Marco Panunzio, Tullio Vardanega |
Preservation of Timing Properties with the Ada Ravenscar Profile.  |
Ada-Europe  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andy J. Wellings, Alan Burns |
The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005.  |
Ada-Europe  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacob Sparre Andersen |
An Efficient Implementation of Persistent Objects.  |
Ada-Europe  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rod White |
Using Hardware Support for Scheduling with Ada.  |
Ada-Europe  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Saez, Alfons Crespo |
Preliminary Multiprocessor Support of Ada 2012 in GNU/Linux Systems.  |
Ada-Europe  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Edmond Schonberg |
Towards Ada 2012: An Interim Report.  |
Ada-Europe  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Burns, Andy J. Wellings |
Dispatching Domains for Multiprocessor Platforms and Their Representation in Ada.  |
Ada-Europe  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan A. Pastor, Diego Alonso, Pedro Sánchez, Bárbara Álvarez |
Towards the Definition of a Pattern Sequence for Real-Time Applications Using a Model-Driven Engineering Approach.  |
Ada-Europe  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Sangorrín, Michael González Harbour, Héctor Pérez, J. Javier Gutiérrez |
Managing Transactions in Flexible Distributed Real-Time Systems.  |
Ada-Europe  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Eduardo Brito, Jorge Sousa Pinto |
Program Verification in SPARK and ACSL: A Comparative Case Study.  |
Ada-Europe  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Theodore P. Baker |
What to Make of Multicore Processors for Reliable Real-Time Systems?  |
Ada-Europe  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin M. Brosgol |
A Comparison of Generic Template Support: Ada, C++, C#, and JavaTM.  |
Ada-Europe  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Mezzetti, Adam Betts, José Ruiz, Tullio Vardanega |
Cache-Aware Development of High-Integrity Systems.  |
Ada-Europe  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen Keul |
Static Versioning of Global State for Race Condition Detection.  |
Ada-Europe  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia López Martínez, Laura Barros, José M. Drake |
Scheduling Configuration of Real-Time Component-Based Applications.  |
Ada-Europe  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gingun Hong, Kirak Hong, Bernd Burgstaller, Johann Blieberger |
AdaStreams: A Type-Based Programming Extension for Stream-Parallelism with Ada 2005.  |
Ada-Europe  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Reijo Savola, Teemu Kanstrén, Antti Evesti |
First International Workshop on Measurability of Security in Software Architectures -- MeSSa 2010.  |
ECSA Companion Volume  |
2010 |
DBLP DOI BibTeX RDF |
security, privacy, evaluation, trust, measurement, metrics, assessment, assurance |
| 1 | Enyi Tang, Earl T. Barr, Xuandong Li, Zhendong Su |
Perturbing numerical calculations for statistical analysis of floating-point program (in)stability.  |
ISSTA  |
2010 |
DBLP DOI BibTeX RDF |
testing, stability, floating-point, perturbation, numerical code |
| 1 | Fabrice Kordon, Yvon Kermarrec (eds.) |
Reliable Software Technologies - Ada-Europe 2009, 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings  |
Ada-Europe  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jinpil Lee, Mitsuhisa Sato |
Reliable Software Distributed Shared Memory Using Page Migration.  |
ICPADS  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco J. Montoya-Dato, José Luis Fernández Alemán, Ginés García-Mateos |
An Experience on Ada Programming Using On-Line Judging.  |
Ada-Europe  |
2009 |
DBLP DOI BibTeX RDF |
e-learning, Programming, assessment |
| 1 | Mario Aldea Rivas, Michael González Harbour, José F. Ruiz |
Implementation of the Ada 2005 Task Dispatching Model in MaRTE OS and GNAT.  |
Ada-Europe  |
2009 |
DBLP DOI BibTeX RDF |
Scheduling, Real-Time Systems, Compilers, POSIX, Ada 2005 |
| 1 | Eric Le Pors, Olivier Grisvard |
Conceptual Modeling for System Requirements Enhancement.  |
Ada-Europe  |
2009 |
DBLP DOI BibTeX RDF |
conceptual modeling, requirements, complex systems, System engineering |
| 1 | Alessandro Zovi, Tullio Vardanega |
Requirements on the Target Programming Language for High-Integrity MDE.  |
Ada-Europe  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernard Berthomieu, Jean-Paul Bodeveix, Christelle Chaudet, Silvano Dal-Zilio, Mamoun Filali, François Vernadat |
Formal Verification of AADL Specifications in the Topcased Environment.  |
Ada-Europe  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Amine Marref, Guillem Bernat |
Predicated Worst-Case Execution-Time Analysis.  |
Ada-Europe  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Delange, Laurent Pautet, Peter H. Feiler |
Validating Safety and Security Requirements for Partitioned Architectures.  |
Ada-Europe  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Liliana Favre |
A Formal Foundation for Metamodeling.  |
Ada-Europe  |
2009 |
DBLP DOI BibTeX RDF |
Meta Object Facility (MOF), Formal specification, Model Driven Architecture (MDA), Transformation (QVT), Metamodeling, Query, View |
| 1 | Claude Kaiser, Jean-François Pradat-Peyre |
Weak Fairness Semantic Drawbacks in Java Multithreading.  |
Ada-Europe  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Christine Choppy, Olivier Bertrand, Patrice Carle |
Coloured Petri Nets for Chronicle Recognition.  |
Ada-Europe  |
2009 |
DBLP DOI BibTeX RDF |
chronicle recognition formal modelling, distributed simulation processing, coloured Petri nets |
| 1 | Sergio Saez, Silvia Terrasa, Vicente Lorente Garcés, Alfons Crespo |
Implementing Reactive Systems with UML State Machines and Ada 2005.  |
Ada-Europe  |
2009 |
DBLP DOI BibTeX RDF |
Behavioral State Machines, Embedded Systems, Code Generation, Reactive Systems, Ada 2005 |
| 1 | Lei Pi, Jean-Paul Bodeveix, Mamoun Filali |
Modeling AADL Data Communication with BIP.  |
Ada-Europe  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | José L. Fernández-Sánchez, Gloria Mármol Acitores |
Modelling and Evaluating Real-Time Software Architectures.  |
Ada-Europe  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Didier Buchs, Levi Lucio, Ang Chen |
Model Checking Techniques for Test Generation from Business Process Models.  |
Ada-Europe  |
2009 |
DBLP DOI BibTeX RDF |
System design and verification, Higher-level Nets, Algebraic Petri Nets, Decisions Diagrams, State Space Generation |
| 1 | Santiago Urueña, Juan Zamorano, Juan Antonio de la Puente |
A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems.  |
Ada-Europe  |
2009 |
DBLP DOI BibTeX RDF |
distributed systems, real-time systems, Ada 2005, high-integrity systems, Ravenscar profile |
| 1 | Alan Burns, Andy J. Wellings, Fengxiang Zhang |
Combining EDF and FP Scheduling: Analysis and Implementation in Ada 2005.  |
Ada-Europe  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Lasnier, Bechir Zalila, Laurent Pautet, Jérôme Hugues |
Ocarina : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications.  |
Ada-Europe  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Oleg Sokolsky, Insup Lee, Duncan Clarke |
Process-Algebraic Interpretation of AADL Models.  |
Ada-Europe  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Man Fai Lau, Yuen-Tak Yu |
On Comparing Testing Criteria for Logical Decisions.  |
Ada-Europe  |
2009 |
DBLP DOI BibTeX RDF |
condition coverage, condition/decision coverage, control flow criteria, decision coverage, modified condition/ decision coverage (MC/DC), software testing, Boolean expression |
| 1 | Stelios Sidiroglou, Oren Laadan, Carlos Perez, Nicolas Viennot, Jason Nieh, Angelos D. Keromytis |
ASSURE: automatic software self-healing using rescue points.  |
ASPLOS  |
2009 |
DBLP DOI BibTeX RDF |
binary patching, chekpoint restart, reliable software, software self-healing, error recovery |
| 1 | Norman F. Schneidewind, Mike Hinchey |
A consumer/producer approach to risk-driven software reliability and testing.  |
SAC  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Joel Adams |
Test-driven data structures: revitalizing CS2.  |
SIGCSE  |
2009 |
DBLP DOI BibTeX RDF |
data structures, pedagogy, unit testing, test-driven development, agile methods, cs2 |
| 1 | Dalju Lee, Jongmoon Baik, Ju-Hwan Shin |
Software Reliability Assurance Using a Framework in Weapon System Development: A Case Study.  |
ACIS-ICIS  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Lu Yang, Zhanqi Cui, Xuandong Li |
A Case Study for Fault Tolerance Oriented Programming in Multi-core Architecture.  |
HPCC  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hassan Khosravi, Recep Colak |
Exploratory Analysis of Co-Change Graphs for Code Refactoring.  |
Canadian Conference on AI  |
2009 |
DBLP DOI BibTeX RDF |
Clustering, Expectation Maximization, Software artifacts |
| 1 | Wojciech Moczydlowski |
Unifying Sets and Programs via Dependent Types.  |
LFCS  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Naveen Neelakantam, Ravi Rajwar, Suresh Srinivas, Uma Srinivasan, Craig B. Zilles |
Hardware Atomicity: An Effective Abstraction for Reliable Software Speculation.  |
IEEE Micro  |
2008 |
DBLP DOI BibTeX RDF |
Java, optimization, architecture, compiler, checkpoint, atomicity, speculation, isolation, compiler-architecture interactions |
| 1 | Fabrice Kordon, Tullio Vardanega (eds.) |
Reliable Software Technologies - Ada-Europe 2008, 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings  |
Ada-Europe  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Claude Evéquoz |
Practical, Fast and Simple Concurrent FIFO Queues Using Single Word Synchronization Primitives.  |
Ada-Europe  |
2008 |
DBLP DOI BibTeX RDF |
Concurrent queue, load-linked/store-conditional (LL/SC), lock-free, compare-and-swap (CAS), non-blocking |
| 1 | Sri Hari Krishna Narayanan, Mahmut T. Kandemir |
A Systematic Approach to Automatically Generate Multiple Semantically Equivalent Program Versions.  |
Ada-Europe  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Iulian Ober, Nicolas Halbwachs |
On the Timed Automata-Based Verification of Ravenscar Systems.  |
Ada-Europe  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sherif Fadel Fahmy, Binoy Ravindran, E. Douglas Jensen |
Fast Scheduling of Distributable Real-Time Threads with Assured End-to-End Timeliness.  |
Ada-Europe  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Héctor Pérez, J. Javier Gutiérrez, Daniel Sangorrín, Michael González Harbour |
Real-Time Distribution Middleware from the Ada Perspective.  |
Ada-Europe  |
2008 |
DBLP DOI BibTeX RDF |
RT-CORBA, Ada DSA, performance, communications, real-time, distribution middleware |
| 1 | Marco Di Natale |
Design and Development of Component-Based Embedded Systems for Automotive Applications.  |
Ada-Europe  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin M. Brosgol |
A Comparison of the Object-Oriented Features of Ada 2005 and JavaTM.  |
Ada-Europe  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Singhoff, Alain Plantec, Pierre Dissaux |
Can We Increase the Usability of Real Time Scheduling Theory? The Cheddar Project.  |
Ada-Europe  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Irfan Hamid, Elie Najm |
Operational Semantics of Ada Ravenscar.  |
Ada-Europe  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert G. Pettit IV |
Increasing Confidence in Concurrent Software through Architectural Analysis.  |
Ada-Europe  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Christine Choppy, Laure Petrucci, Gianna Reggio |
A Modelling Approach with Coloured Petri Nets.  |
Ada-Europe  |
2008 |
DBLP DOI BibTeX RDF |
coloured Petri nets, modular design, modelling method, specification method |
| 1 | Santiago Urueña, José Antonio Pulido, Jorge López, Juan Zamorano, Juan Antonio de la Puente |
A New Approach to Memory Partitioning in On-Board Spacecraft Software.  |
Ada-Europe  |
2008 |
DBLP DOI BibTeX RDF |
Ravenscar Ada, integrated modular avionics, embedded systems, hard real-time, high-integrity |
| 1 | Florian Villoing, Emmanuel Briot |
A Type-Safe Database Interface.  |
Ada-Europe  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia López Martínez, José M. Drake, Pablo Pacheco, Julio L. Medina |
An Ada 2005 Technology for Distributed and Real-Time Component-Based Applications.  |
Ada-Europe  |
2008 |
DBLP DOI BibTeX RDF |
Component-based technology, OMG standards, embedded systems, realtime, Ada 2005 |
| 1 | Raul Fechete, Georg Kienesberger, Johann Blieberger |
A Framework for CFG-Based Static Program Analysis of Ada Programs.  |
Ada-Europe  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Bordin, Thanassis Tsiodras, Maxime Perrotin |
Experience in the Integration of Heterogeneous Models in the Model-driven Engineering of High-Integrity Systems.  |
Ada-Europe  |
2008 |
DBLP DOI BibTeX RDF |
Model-driven Integration, High-Integrity Systems, Automated Code Generation |
Displaying result #1 - #100 of 630 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ >>] |
|