The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase reliable software (changed automatically) with no syntactic query expansion in all metadata.

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