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, Brest, France, June 8-12, 2009, Proceedings / / edited by Fabrice Kordon, Yvon Kermarrec
| Reliable Software Technologies - Ada-Europe 2009 : 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 |
| Altri autori (Persone) |
KordonFabrice
KermarrecYvon |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer programming Compilers (Computer programs) Electronic digital computers - Evaluation Computers Software Engineering Programming Techniques Compilers and Interpreters System Performance and Evaluation Hardware Performance and Reliability |
| 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. | UNINA-9910484097603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Runtime Verification [[electronic resource] ] : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers / / edited by Saddek Bensalem, Doron A. Peled
| Runtime Verification [[electronic resource] ] : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers / / edited by Saddek Bensalem, Doron A. Peled |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (VII, 203 p.) |
| Disciplina | 005.1/17 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computers Computer software—Reusability Programming languages (Electronic computers) Computer system failures Software Engineering Software Engineering/Programming and Operating Systems Theory of Computation Performance and Reliability Programming Languages, Compilers, Interpreters System Performance and Evaluation |
| Soggetto genere / forma |
Grenobble (2009)
Grenoble (2009) Kongress. |
| ISBN | 3-642-04694-0 |
| Classificazione |
DAT 263f
DAT 325f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Rule Systems for Runtime Verification: A Short Tutorial -- Verification, Testing and Statistics -- Type-Separated Bytecode – Its Construction and Evaluation -- Runtime Verification of Safety-Progress Properties -- Monitor Circuits for LTL with Bounded and Unbounded Future -- State Joining and Splitting for the Symbolic Execution of Binaries -- The LIME Interface Specification Language and Runtime Monitoring Tool -- A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing -- Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming -- Runtime Verification of C Memory Safety -- A Combined On-Line/Off-Line Framework for Black-Box Fault Diagnosis -- Hardware Supported Flexible Monitoring: Early Results -- DMaC: Distributed Monitoring and Checking. |
| Record Nr. | UNISA-996465300203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Runtime Verification : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers / / edited by Saddek Bensalem, Doron A. Peled
| Runtime Verification : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers / / edited by Saddek Bensalem, Doron A. Peled |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (VII, 203 p.) |
| Disciplina | 005.1/17 |
| Altri autori (Persone) |
BensalemSaddeck
PeledDoron A |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer science Computers Compilers (Computer programs) Electronic digital computers - Evaluation Software Engineering Theory of Computation Hardware Performance and Reliability Compilers and Interpreters System Performance and Evaluation |
| ISBN | 3-642-04694-0 |
| Classificazione |
DAT 263f
DAT 325f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Rule Systems for Runtime Verification: A Short Tutorial -- Verification, Testing and Statistics -- Type-Separated Bytecode – Its Construction and Evaluation -- Runtime Verification of Safety-Progress Properties -- Monitor Circuits for LTL with Bounded and Unbounded Future -- State Joining and Splitting for the Symbolic Execution of Binaries -- The LIME Interface Specification Language and Runtime Monitoring Tool -- A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing -- Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming -- Runtime Verification of C Memory Safety -- A Combined On-Line/Off-Line Framework for Black-Box Fault Diagnosis -- Hardware Supported Flexible Monitoring: Early Results -- DMaC: Distributed Monitoring and Checking. |
| Record Nr. | UNINA-9910484723503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||