Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Reliable Software Technologies - Ada-Europe 2009 [[electronic resource] ] : 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009, Proceedings / / edited by Fabrice Kordon, Yvon Kermarrec
| Reliable Software Technologies - Ada-Europe 2009 [[electronic resource] ] : 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009, Proceedings / / edited by Fabrice Kordon, Yvon Kermarrec |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XIV, 283 p.) |
| Disciplina | 005.13322gerDNB |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer programming Programming languages (Electronic computers) Computer system failures Computer software—Reusability Software Engineering/Programming and Operating Systems Software Engineering Programming Techniques Programming Languages, Compilers, Interpreters System Performance and Evaluation Performance and Reliability |
| Soggetto genere / forma |
Brest (Bretagne, 2009)
Kongress. |
| ISBN | 3-642-01924-2 |
| Classificazione |
DAT 263f
DAT 343f DAT 356f SS 4800 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Requirements on the Target Programming Language for High-Integrity MDE -- A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems -- Validating Safety and Security Requirements for Partitioned Architectures -- On Comparing Testing Criteria for Logical Decisions -- Model Checking Techniques for Test Generation from Business Process Models -- An Experience on Ada Programming Using On-Line Judging -- Weak Fairness Semantic Drawbacks in Java Multithreading -- Implementation of the Ada 2005 Task Dispatching Model in MaRTE OS and GNAT -- Combining EDF and FP Scheduling: Analysis and Implementation in Ada 2005 -- Predicated Worst-Case Execution-Time Analysis -- Implementing Reactive Systems with UML State Machines and Ada 2005 -- Modelling and Evaluating Real-Time Software Architectures -- A Formal Foundation for Metamodeling -- Modeling AADL Data Communication with BIP -- Formal Verification of AADL Specifications in the Topcased Environment -- Process-Algebraic Interpretation of AADL Models -- Ocarina : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications -- Conceptual Modeling for System Requirements Enhancement -- Coloured Petri Nets for Chronicle Recognition. |
| Record Nr. | UNISA-996465606503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Reliable software technologies - Ada-Europe 2009 : 14th Ada-Europe International Conference on Reliable Software Technologies, Brest, France, June 8-12, 2009 ; proceedings / / Fabrice Kordon, Yvon Kermarrec (eds.)
| Reliable software technologies - Ada-Europe 2009 : 14th Ada-Europe International Conference on Reliable Software Technologies, Brest, France, June 8-12, 2009 ; proceedings / / Fabrice Kordon, Yvon Kermarrec (eds.) |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, 2009 |
| Descrizione fisica | 1 online resource (XIV, 283 p.) |
| Disciplina | 005.13322gerDNB |
| Altri autori (Persone) |
KordonFabrice
KermarrecYvon |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 2, Programming and software engineering |
| Soggetto topico |
Computer software - Reliability
Ada (Computer program language) |
| ISBN | 3-642-01924-2 |
| Classificazione |
DAT 263f
DAT 343f DAT 356f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Requirements on the Target Programming Language for High-Integrity MDE -- A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems -- Validating Safety and Security Requirements for Partitioned Architectures -- On Comparing Testing Criteria for Logical Decisions -- Model Checking Techniques for Test Generation from Business Process Models -- An Experience on Ada Programming Using On-Line Judging -- Weak Fairness Semantic Drawbacks in Java Multithreading -- Implementation of the Ada 2005 Task Dispatching Model in MaRTE OS and GNAT -- Combining EDF and FP Scheduling: Analysis and Implementation in Ada 2005 -- Predicated Worst-Case Execution-Time Analysis -- Implementing Reactive Systems with UML State Machines and Ada 2005 -- Modelling and Evaluating Real-Time Software Architectures -- A Formal Foundation for Metamodeling -- Modeling AADL Data Communication with BIP -- Formal Verification of AADL Specifications in the Topcased Environment -- Process-Algebraic Interpretation of AADL Models -- Ocarina : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications -- Conceptual Modeling for System Requirements Enhancement -- Coloured Petri Nets for Chronicle Recognition. |
| Altri titoli varianti |
Ada-Europe 2009
Ada-Europe International Conference on Reliable Software Technologies Fourteenth Ada-Europe International Conference on Reliable Software Technologies |
| Record Nr. | UNINA-9910484097603321 |
| Berlin ; ; New York, : Springer, 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||