Feature interactions in telecommunications and software systems VII [[electronic resource] /] / edited by Daniel Amyot and Luigi Logrippo |
Pubbl/distr/stampa | Amsterdam ; ; Washington, DC, : IOS Press/Ohmsha, c2003 |
Descrizione fisica | 1 online resource (340 p.) |
Disciplina | 004.6 |
Altri autori (Persone) |
AmyotDaniel <1970->
LogrippoL (Luigi) |
Soggetto topico |
Digital communications
Telecommunication systems |
ISBN |
1-280-50592-3
9786610505920 1-4175-1146-X 600-00-0425-7 1-60129-426-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Cover; Title page; Introduction; Committees; Reviewers; Contents; Invited Papers (Extended Abstracts); Architecture and Design Methods; Emerging Application Domains; Human Factors; Detection and Resolution Methods I; Emerging Architectures; Foundations; Detection and Resolution Methods II; Author Index |
Record Nr. | UNINA-9910783411403321 |
Amsterdam ; ; Washington, DC, : IOS Press/Ohmsha, c2003 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
System Analysis and Modeling [[electronic resource] ] : 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers / / edited by Daniel Amyot, Alan W. Williams |
Edizione | [1st ed. 2005.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
Descrizione fisica | 1 online resource (XII, 302 p.) |
Disciplina | 621.382 |
Collana | Computer Communication Networks and Telecommunications |
Soggetto topico |
Computers
Computer science Theory of Computation Computer Science, general |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | SDL and eODL -- Deployment and Configuration of Distributed Systems -- eODL and SDL in Combination for Components -- Applying eODL and SDL-Patterns for Developing TMN Managed Systems -- SPT – The SDL Pattern Tool -- Evolution of Languages -- Comparing UML 2.0 Interactions and MSC-2000 -- Data Encoding for SDL in ITU-T Rec. Z.104 -- SDL in a Changing World -- Requirements and MSC -- Early Validation of Deployment and Scheduling Constraints for MSC Specifications -- Scenario Synthesis from Imprecise Requirements -- Applying Reduction Techniques to Software Functional Requirement Specifications -- Security -- Proving a Soundness Property for the Joint Design of ASN.1 and the Basic Encoding Rules -- Checking Secrecy by Means of Partial Order Reduction -- Finding Covert Channels in Protocols with Message Sequence Charts: The Case of RMTP2 -- SDL and Modelling -- A Metamodel for SDL-2000 in the Context of Metamodelling ULF -- A Flexible Micro Protocol Framework -- ICT Convergence: Modeling Issues -- Experience -- Dealing with Non-local Choice in IEEE 1073.2’s Standard for Remote Control -- Guidelines for Using SDL in Product Development -- Validating Wireless Protocol Conformance Test Cases. |
Record Nr. | UNISA-996466041003316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
System analysis and modeling : 4th international SDL and MSC workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004 : revised selected papers / / Daniel Amyot, Alan W. Williams (eds.) |
Edizione | [1st ed. 2005.] |
Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2005 |
Descrizione fisica | 1 online resource (XII, 302 p.) |
Disciplina | 621.382 |
Altri autori (Persone) |
AmyotDaniel <1970->
WilliamsAlan W |
Collana | Lecture notes in computer science |
Soggetto topico |
Telecommunication - Data processing
Telecommunication - Security measures System analysis Communications software SDL (Computer program language) |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | SDL and eODL -- Deployment and Configuration of Distributed Systems -- eODL and SDL in Combination for Components -- Applying eODL and SDL-Patterns for Developing TMN Managed Systems -- SPT – The SDL Pattern Tool -- Evolution of Languages -- Comparing UML 2.0 Interactions and MSC-2000 -- Data Encoding for SDL in ITU-T Rec. Z.104 -- SDL in a Changing World -- Requirements and MSC -- Early Validation of Deployment and Scheduling Constraints for MSC Specifications -- Scenario Synthesis from Imprecise Requirements -- Applying Reduction Techniques to Software Functional Requirement Specifications -- Security -- Proving a Soundness Property for the Joint Design of ASN.1 and the Basic Encoding Rules -- Checking Secrecy by Means of Partial Order Reduction -- Finding Covert Channels in Protocols with Message Sequence Charts: The Case of RMTP2 -- SDL and Modelling -- A Metamodel for SDL-2000 in the Context of Metamodelling ULF -- A Flexible Micro Protocol Framework -- ICT Convergence: Modeling Issues -- Experience -- Dealing with Non-local Choice in IEEE 1073.2’s Standard for Remote Control -- Guidelines for Using SDL in Product Development -- Validating Wireless Protocol Conformance Test Cases. |
Altri titoli varianti | SAM 2004 |
Record Nr. | UNINA-9910767555003321 |
Berlin ; ; New York, : Springer, c2005 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
System Analysis and Modeling: Models and Reusability [[electronic resource] ] : 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings / / edited by Daniel Amyot, Pau Fonseca i Casas, Gunter Mussbacher |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XXII, 314 p. 124 illus.) |
Disciplina | 003 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer communication systems Programming languages (Electronic computers) Management information systems Computer science Computer logic Software Engineering Computer Communication Networks Programming Languages, Compilers, Interpreters Management of Computing and Information Systems Logics and Meanings of Programs |
ISBN | 3-319-11743-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Reuse -- Availability, safety and optimization -- Sequences and interactions -- Testing -- Metrics, constraints and repositories.- SDL and V&V. |
Record Nr. | UNISA-996199682203316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
System Analysis and Modeling: Models and Reusability : 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings / / edited by Daniel Amyot, Pau Fonseca i Casas, Gunter Mussbacher |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XXII, 314 p. 124 illus.) |
Disciplina | 003 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer networks Compilers (Computer programs) Electronic data processing - Management Computer science Software Engineering Computer Communication Networks Compilers and Interpreters IT Operations Computer Science Logic and Foundations of Programming |
ISBN | 3-319-11743-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Reuse -- Availability, safety and optimization -- Sequences and interactions -- Testing -- Metrics, constraints and repositories.- SDL and V&V. |
Record Nr. | UNINA-9910483141603321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|