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.
Situation awareness with systems of systems / / Pierre van de Laar, Jan Tretmans, Michael Borth, editors
| Situation awareness with systems of systems / / Pierre van de Laar, Jan Tretmans, Michael Borth, editors |
| Autore | Laar Pierre van de |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | New York, : Springer, c2013 |
| Descrizione fisica | 1 online resource (xii, 272 pages) : illustrations (some color), maps (some color) |
| Disciplina |
387.50973
620 621.381 621.3815 |
| Altri autori (Persone) |
LaarPierre van de
TretmansJan BorthMichael |
| Collana | Gale eBooks |
| Soggetto topico |
Systems engineering
System design Context-aware computing |
| ISBN |
1-299-33642-6
1-4614-6230-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I General -- Introduction: Situation Awareness, Systems of Systems, and Maritime Safety and Security -- Improving Situation Awareness in the Maritime Domain -- On the Architecture of Systems for Situation Awareness -- The POSEIDON Demonstrator -- Part II Situation Awareness -- Visualization of Vessel Traffic -- Extending Track Analysis from Animals in the Lab to Moving Objects Anywhere -- Recognizing Vessel Movements from Historical Data -- Density-Based Anomaly Detection in the Maritime Domain -- Analyzing Vessel Behavior using Process Mining -- The Simple Event Model -- Part III Systems of Systems -- Specification and Generation of Adapters for System Integration -- The POLIPO Security Framework -- Assessing Trust for Determining the Reliability of Information -- Online Fault Localization and Health Monitoring for Software Systems -- Prioritizing Tests for Fault Localization -- POSEIDON Project Partners -- POSEIDON Publications. |
| Record Nr. | UNINA-9910437902503321 |
Laar Pierre van de
|
||
| New York, : Springer, c2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Testing of software and communicating systems : 19th IFIP TC6/WG6.1 international conference, TestCom 2007, 7th international workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007, proceedings / / Margus Veanes, Jan Tretmans and Wolfgang Grieskamp
| Testing of software and communicating systems : 19th IFIP TC6/WG6.1 international conference, TestCom 2007, 7th international workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007, proceedings / / Margus Veanes, Jan Tretmans and Wolfgang Grieskamp |
| Autore | Veanes Margus |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer-Verlag, , [2007] |
| Descrizione fisica | 1 online resource (XII, 379 p.) |
| Disciplina | 004.620287 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Telecommunication systems - Testing
Computer software - Testing |
| ISBN | 3-540-73066-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Implementing Conformiq Qtronic -- New Approach for EFSM-Based Passive Testing of Web Services -- Automation of Avionic Systems Testing -- Automatic Test Generation from Interprocedural Specifications -- A New Method for Interoperability Test Generation -- Component Testing Is Not Enough - A Study of Software Faults in Telecom Middleware -- Symbolic Model Based Testing for Component Oriented Systems -- A Compositional Testing Framework Driven by Partial Specifications -- Nodes Self-similarity to Test Wireless Ad Hoc Routing Protocols -- Testing and Model-Checking Techniques for Diagnosis -- Model-Based Testing of Service Infrastructure Components -- Testing Input/Output Partial Order Automata -- A Framework for Testing AIS Implementations -- An Object-Oriented Framework for Improving Software Reuse on Automated Testing of Mobile Phones -- Model Based Testing of an Embedded Session and Transport Protocol -- Utilising Code Smells to Detect Quality Problems in TTCN-3 Test Suites -- A Bounded Incremental Test Generation Algorithm for Finite State Machines -- Experimental Testing of TCP/IP/Ethernet Communication for Automatic Control -- Towards Systematic Signature Testing -- TPLan-A Notation for Expressing Test Purposes -- Testing Nondeterministic Finite State Machines with Respect to the Separability Relation -- Learning and Integration of Parameterized Components Through Testing -- An EFSM-Based Passive Fault Detection Approach -- Test Data Variance as a Test Quality Measure: Exemplified for TTCN-3 -- Model-Based Testing of Optimizing Compilers. |
| Record Nr. | UNISA-996465335803316 |
|
Veanes Margus
|
||
| Berlin, Heidelberg : , : Springer-Verlag, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Testing of software and communicating systems : 19th IFIP TC6/WG6.1 international conference, TestCom 2007, 7th international workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007, proceedings / / Margus Veanes, Jan Tretmans and Wolfgang Grieskamp
| Testing of software and communicating systems : 19th IFIP TC6/WG6.1 international conference, TestCom 2007, 7th international workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007, proceedings / / Margus Veanes, Jan Tretmans and Wolfgang Grieskamp |
| Autore | Veanes Margus |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer-Verlag, , [2007] |
| Descrizione fisica | 1 online resource (XII, 379 p.) |
| Disciplina | 004.620287 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Telecommunication systems - Testing
Computer software - Testing |
| ISBN | 3-540-73066-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Implementing Conformiq Qtronic -- New Approach for EFSM-Based Passive Testing of Web Services -- Automation of Avionic Systems Testing -- Automatic Test Generation from Interprocedural Specifications -- A New Method for Interoperability Test Generation -- Component Testing Is Not Enough - A Study of Software Faults in Telecom Middleware -- Symbolic Model Based Testing for Component Oriented Systems -- A Compositional Testing Framework Driven by Partial Specifications -- Nodes Self-similarity to Test Wireless Ad Hoc Routing Protocols -- Testing and Model-Checking Techniques for Diagnosis -- Model-Based Testing of Service Infrastructure Components -- Testing Input/Output Partial Order Automata -- A Framework for Testing AIS Implementations -- An Object-Oriented Framework for Improving Software Reuse on Automated Testing of Mobile Phones -- Model Based Testing of an Embedded Session and Transport Protocol -- Utilising Code Smells to Detect Quality Problems in TTCN-3 Test Suites -- A Bounded Incremental Test Generation Algorithm for Finite State Machines -- Experimental Testing of TCP/IP/Ethernet Communication for Automatic Control -- Towards Systematic Signature Testing -- TPLan-A Notation for Expressing Test Purposes -- Testing Nondeterministic Finite State Machines with Respect to the Separability Relation -- Learning and Integration of Parameterized Components Through Testing -- An EFSM-Based Passive Fault Detection Approach -- Test Data Variance as a Test Quality Measure: Exemplified for TTCN-3 -- Model-Based Testing of Optimizing Compilers. |
| Record Nr. | UNINA-9910483895003321 |
|
Veanes Margus
|
||
| Berlin, Heidelberg : , : Springer-Verlag, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||