SDL 2013: Model Driven Dependability Engineering [[electronic resource] ] : 16th International SDL Forum, Montreal, Canada, June 26-28, 2013, Proceedings / / edited by Ferhat Khendek, Maria Toeroe, Abdelouahed Gherbi, Rick Reed |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XII, 291 p. 138 illus.) |
Disciplina | 004.6 |
Collana | Computer Communication Networks and Telecommunications |
Soggetto topico |
Computer organization
Software engineering Computer logic Programming languages (Electronic computers) Computer communication systems Management information systems Computer science Computer Systems Organization and Communication Networks Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Computer Communication Networks Management of Computing and Information Systems |
ISBN | 3-642-38911-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Verification and testing -- Dependability engineering -- Analysis -- Domain specific languages -- Model transformation -- Specification and description language.- Evolution. |
Record Nr. | UNISA-996465408703316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
SDL 2013: Model Driven Dependability Engineering : 16th International SDL Forum, Montreal, Canada, June 26-28, 2013, Proceedings / / edited by Ferhat Khendek, Maria Toeroe, Abdelouahed Gherbi, Rick Reed |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XII, 291 p. 138 illus.) |
Disciplina | 004.6 |
Collana | Computer Communication Networks and Telecommunications |
Soggetto topico |
Computer organization
Software engineering Computer logic Programming languages (Electronic computers) Computer communication systems Management information systems Computer science Computer Systems Organization and Communication Networks Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Computer Communication Networks Management of Computing and Information Systems |
ISBN | 3-642-38911-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Verification and testing -- Dependability engineering -- Analysis -- Domain specific languages -- Model transformation -- Specification and description language.- Evolution. |
Record Nr. | UNINA-9910484203303321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering [[electronic resource] ] : 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15–16, 2018, Proceedings / / edited by Ferhat Khendek, Reinhard Gotzhein |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XII, 247 p. 66 illus.) |
Disciplina | 003 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer hardware Computer organization Management information systems Computer science Software Engineering Computer Hardware Computer Systems Organization and Communication Networks Management of Computing and Information Systems |
ISBN | 3-030-01042-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Modeling Data Protection Vulnerabilities of Cloud Systems using Risk Patterns -- Scheduling Architectures for Scientific Workows in the Cloud -- CREST -- A DSL for Reactive Cyber-Physical Systems -- On the Ontological Expressiveness of the High-Level Constraint Language for Product Line Specification -- Distributed Computing on Distributed Memory -- Pattern Libraries Guiding the Model-based Reuse of Automotive Solutions -- Enabling Performance Modeling for the Masses: Initial Experiences -- Realizability of Service Specifications -- An Arithmetic Semantics for GRL Goal Models with Function Generation -- Textual User Requirements Notation -- A Comparative Analysis of ITU-MSC-based Requirements Specification Approaches used in the Automotive Industry -- Towards Online Collaborative Multi-View Modeling -- Collaborative Software Design and Modeling in Open Source Systems -- The Impact of Integrating Agile Software Development and Model-Driven Development: A Comparative Case Study. . |
Record Nr. | UNISA-996466441803316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering : 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15–16, 2018, Proceedings / / edited by Ferhat Khendek, Reinhard Gotzhein |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XII, 247 p. 66 illus.) |
Disciplina |
003
004.21 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer hardware Computer organization Management information systems Computer science Software Engineering Computer Hardware Computer Systems Organization and Communication Networks Management of Computing and Information Systems |
ISBN | 3-030-01042-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Modeling Data Protection Vulnerabilities of Cloud Systems using Risk Patterns -- Scheduling Architectures for Scientific Workows in the Cloud -- CREST -- A DSL for Reactive Cyber-Physical Systems -- On the Ontological Expressiveness of the High-Level Constraint Language for Product Line Specification -- Distributed Computing on Distributed Memory -- Pattern Libraries Guiding the Model-based Reuse of Automotive Solutions -- Enabling Performance Modeling for the Masses: Initial Experiences -- Realizability of Service Specifications -- An Arithmetic Semantics for GRL Goal Models with Function Generation -- Textual User Requirements Notation -- A Comparative Analysis of ITU-MSC-based Requirements Specification Approaches used in the Automotive Industry -- Towards Online Collaborative Multi-View Modeling -- Collaborative Software Design and Modeling in Open Source Systems -- The Impact of Integrating Agile Software Development and Model-Driven Development: A Comparative Case Study. . |
Record Nr. | UNINA-9910349399403321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Testing of Communicating Systems [[electronic resource] ] : 17th IFIP TC 6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings / / edited by Ferhat Khendek, Rachida Dssouli |
Edizione | [1st ed. 2005.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
Descrizione fisica | 1 online resource (X, 380 p.) |
Disciplina | 621.382 |
Collana | Computer Communication Networks and Telecommunications |
Soggetto topico |
Software engineering
Computer communication systems Software Engineering Computer Communication Networks |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | The Epistemology of Validation and Verification Testing -- Passive Testing – A Constrained Invariant Checking Approach -- Dependence Testing: Extending Data Flow Testing with Control Dependence -- Comparing Bug Finding Tools with Reviews and Tests -- Cross-Language Functional Testing for Middleware -- Using Anti-Ant-like Agents to Generate Test Threads from the UML Diagrams -- Action Refinement in Conformance Testing -- Multiplexing of Partially Ordered Events -- Testing Communicating Systems: a Model, a Methodology, and a Tool -- Coping with Nondeterminism in Network Protocol Testing -- Eliminating Redundant Tests in a Checking Sequence -- On FSM-Based Fault Diagnosis -- State Identification Problems for Timed Automata -- Timing Fault Models for Systems with Multiple Timers -- An Expressive and Implementable Formal Framework for Testing Real-Time Systems -- Firewall Conformance Testing -- Test Generation for Interaction Detection in Feature-Rich Communication Systems -- Fault Detection of Hierarchical Networks with Probabilistic Testing Algorithms -- Detecting Trapdoors in Smart Cards Using Timing and Power Analysis -- From U2TP Models to Executable Tests with TTCN-3 - An Approach to Model Driven Testing - -- Using TTCN-3 for Testing Platform Independent Models -- Some Lessons from an Experiment Using TTCN-3 for the RIPng Testing -- A Model-Based Approach for Robustness Testing -- Content-Level Conformance Testing: An Information Mapping Case Study -- Quiescence Management Improves Interoperability Testing. |
Record Nr. | UNISA-996465704703316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Testing of communicating systems : 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31-June 2, 2005 : proceedings / / Ferhat Khendek, Rachida Dssouli (eds.) |
Edizione | [1st ed. 2005.] |
Pubbl/distr/stampa | Berlin, : Springer, c2005 |
Descrizione fisica | 1 online resource (X, 380 p.) |
Disciplina | 621.382 |
Altri autori (Persone) |
KhendekFerhat
DssouliR (Rachida) |
Collana | Lecture notes in computer science |
Soggetto topico | Telecommunication systems - Testing |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | The Epistemology of Validation and Verification Testing -- Passive Testing – A Constrained Invariant Checking Approach -- Dependence Testing: Extending Data Flow Testing with Control Dependence -- Comparing Bug Finding Tools with Reviews and Tests -- Cross-Language Functional Testing for Middleware -- Using Anti-Ant-like Agents to Generate Test Threads from the UML Diagrams -- Action Refinement in Conformance Testing -- Multiplexing of Partially Ordered Events -- Testing Communicating Systems: a Model, a Methodology, and a Tool -- Coping with Nondeterminism in Network Protocol Testing -- Eliminating Redundant Tests in a Checking Sequence -- On FSM-Based Fault Diagnosis -- State Identification Problems for Timed Automata -- Timing Fault Models for Systems with Multiple Timers -- An Expressive and Implementable Formal Framework for Testing Real-Time Systems -- Firewall Conformance Testing -- Test Generation for Interaction Detection in Feature-Rich Communication Systems -- Fault Detection of Hierarchical Networks with Probabilistic Testing Algorithms -- Detecting Trapdoors in Smart Cards Using Timing and Power Analysis -- From U2TP Models to Executable Tests with TTCN-3 - An Approach to Model Driven Testing - -- Using TTCN-3 for Testing Platform Independent Models -- Some Lessons from an Experiment Using TTCN-3 for the RIPng Testing -- A Model-Based Approach for Robustness Testing -- Content-Level Conformance Testing: An Information Mapping Case Study -- Quiescence Management Improves Interoperability Testing. |
Altri titoli varianti | TestCom 2005 |
Record Nr. | UNINA-9910484566603321 |
Berlin, : Springer, c2005 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|