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.
Intelligence in Services and Networks: Technology for Cooperative Competition [[electronic resource] ] : Fourth International Conference on Intelligence in Services and Networks: IS&N'97, Cernobbio, Italy, May 27-29, 1997, Proceedings / / edited by Al Mullery, Michel Besson, Mario Campolargo, Roberta Gobbi, Rick Reed
| Intelligence in Services and Networks: Technology for Cooperative Competition [[electronic resource] ] : Fourth International Conference on Intelligence in Services and Networks: IS&N'97, Cernobbio, Italy, May 27-29, 1997, Proceedings / / edited by Al Mullery, Michel Besson, Mario Campolargo, Roberta Gobbi, Rick Reed |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
| Descrizione fisica | 1 online resource (XII, 488 p.) |
| Disciplina | 384 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer communication systems
Software engineering Electrical engineering Computers Management information systems Computer science Computer Communication Networks Software Engineering Communications Engineering, Networks Information Systems and Communication Service Management of Computing and Information Systems |
| ISBN | 3-540-69155-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Video on Demand in an integrated IN/B-ISDN scenario -- TINA Computational Modelling Concepts and Object Definition Language -- Network Resource Adaptation in the DOLMEN Service Machine -- A TINA based prototype for a multimedia multiparty mobility service -- Architecture of Multimedia service interworking for heterogeneous multi-carrier ATM network -- Use of WWW Technology for Client/Server Applications in MULTIMEDIATOR -- An experimental open architecture to support multimedia services based on CORBA, Java and WWW Technologies -- DAVIC and the internet convergence: A convergence architecture using WWW, JAVA, and CORBA -- Intelligent ATM networks: Services and realisation alternatives -- Goal-based filtering of service interactions -- Intelligent Networks planning supported by Software Tools -- Adopting object oriented analysis for telecommunications systems development -- OSAM component model -- Extending OMG event service for integrating distributed multimedia components -- STDL as a high-level interoperability concept for distributed transaction processing systems -- JAE: A multi-agent system with internet services access -- Motivation and requirements for the AgentSpace: A framework for developing agent programming systems -- Proposal for an IN switching state model in an integrated IN/B-ISDN scenario -- Harmonisation/Integration of B-ISDN and IN: EURESCOM project P506 -- Intelligent network evolution for supporting mobility -- A generic service order handling interface for the cooperative Service Providers in the deregulating and competitive telecommunications environment -- From IN toward TINA — Potential migration steps -- ROS-to-CORBA mappings: First step towards intelligent networking using CORBA -- A methodology for developing integrated multi-domain service management systems -- Towards harmonised pan-European TMN customer care solutions: Interoperable trouble ticketing management service -- Implementing TMN-like management services in a TINA compliant architecture: A case study on resource configuration management -- TMN specifications to support inter-domain exchange of accounting, billing and charging information -- Inter-domain integration of services and service management -- Domain interoperability for federated connectivity management -- Towards integrated network management for ATM and SDH networks supporting a global broadband connectivity management service -- QoS-based routing solutions for hybrid SDH-ATM networks -- Static vs. dynamic CMIP/SNMP network management using CORBA -- SNMP and TMN: Aspects of migration and integration -- Managed objects as active objects: A multithreaded approach -- Internet — New inspiration for telecommunications management network -- Towards global multimedia mobility -- GSM evolution to an IN platform: Offering GSM mobility as an IN service -- Integration of mobility functions into an open service architecture: The DOLMEN approach -- Consistency issues in the UMTS distributed database -- A security architecture for TMN inter-domain management -- Maintaining integrity in the context of intelligent networks and services -- User authentication in mobile telecommunication environments using voice biometrics and smartcards -- End user acceptance of security technology for electronic commerce -- Personalized hypermedia information provision through adaptive and adaptable system features: User modelling, privacy and security issues -- VRML: Adding 3D to network management. |
| Record Nr. | UNINA-9910144919403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Intelligence in Services and Networks: Technology for Cooperative Competition [[electronic resource] ] : Fourth International Conference on Intelligence in Services and Networks: IS&N'97, Cernobbio, Italy, May 27-29, 1997, Proceedings / / edited by Al Mullery, Michel Besson, Mario Campolargo, Roberta Gobbi, Rick Reed
| Intelligence in Services and Networks: Technology for Cooperative Competition [[electronic resource] ] : Fourth International Conference on Intelligence in Services and Networks: IS&N'97, Cernobbio, Italy, May 27-29, 1997, Proceedings / / edited by Al Mullery, Michel Besson, Mario Campolargo, Roberta Gobbi, Rick Reed |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
| Descrizione fisica | 1 online resource (XII, 488 p.) |
| Disciplina | 384 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer communication systems
Software engineering Electrical engineering Computers Management information systems Computer science Computer Communication Networks Software Engineering Communications Engineering, Networks Information Systems and Communication Service Management of Computing and Information Systems |
| ISBN | 3-540-69155-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Video on Demand in an integrated IN/B-ISDN scenario -- TINA Computational Modelling Concepts and Object Definition Language -- Network Resource Adaptation in the DOLMEN Service Machine -- A TINA based prototype for a multimedia multiparty mobility service -- Architecture of Multimedia service interworking for heterogeneous multi-carrier ATM network -- Use of WWW Technology for Client/Server Applications in MULTIMEDIATOR -- An experimental open architecture to support multimedia services based on CORBA, Java and WWW Technologies -- DAVIC and the internet convergence: A convergence architecture using WWW, JAVA, and CORBA -- Intelligent ATM networks: Services and realisation alternatives -- Goal-based filtering of service interactions -- Intelligent Networks planning supported by Software Tools -- Adopting object oriented analysis for telecommunications systems development -- OSAM component model -- Extending OMG event service for integrating distributed multimedia components -- STDL as a high-level interoperability concept for distributed transaction processing systems -- JAE: A multi-agent system with internet services access -- Motivation and requirements for the AgentSpace: A framework for developing agent programming systems -- Proposal for an IN switching state model in an integrated IN/B-ISDN scenario -- Harmonisation/Integration of B-ISDN and IN: EURESCOM project P506 -- Intelligent network evolution for supporting mobility -- A generic service order handling interface for the cooperative Service Providers in the deregulating and competitive telecommunications environment -- From IN toward TINA — Potential migration steps -- ROS-to-CORBA mappings: First step towards intelligent networking using CORBA -- A methodology for developing integrated multi-domain service management systems -- Towards harmonised pan-European TMN customer care solutions: Interoperable trouble ticketing management service -- Implementing TMN-like management services in a TINA compliant architecture: A case study on resource configuration management -- TMN specifications to support inter-domain exchange of accounting, billing and charging information -- Inter-domain integration of services and service management -- Domain interoperability for federated connectivity management -- Towards integrated network management for ATM and SDH networks supporting a global broadband connectivity management service -- QoS-based routing solutions for hybrid SDH-ATM networks -- Static vs. dynamic CMIP/SNMP network management using CORBA -- SNMP and TMN: Aspects of migration and integration -- Managed objects as active objects: A multithreaded approach -- Internet — New inspiration for telecommunications management network -- Towards global multimedia mobility -- GSM evolution to an IN platform: Offering GSM mobility as an IN service -- Integration of mobility functions into an open service architecture: The DOLMEN approach -- Consistency issues in the UMTS distributed database -- A security architecture for TMN inter-domain management -- Maintaining integrity in the context of intelligent networks and services -- User authentication in mobile telecommunication environments using voice biometrics and smartcards -- End user acceptance of security technology for electronic commerce -- Personalized hypermedia information provision through adaptive and adaptable system features: User modelling, privacy and security issues -- VRML: Adding 3D to network management. |
| Record Nr. | UNISA-996465402203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
SDL 2001, meeting UML : 10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001 : proceedings / / Rick Reed, Jeanne Reed (editors)
| SDL 2001, meeting UML : 10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001 : proceedings / / Rick Reed, Jeanne Reed (editors) |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Germany : , : Springer, , [2001] |
| Descrizione fisica | 1 online resource (XI, 439 p.) |
| Disciplina | 005.133 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
SDL (Computer program language)
Telecommunication - Switching systems - Design and construction - Data processing |
| ISBN | 3-540-48213-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Combining SDL with Synchronous Data Flow Modelling for Distributed Control Systems -- Using Message Sequence Charts to Accelerate Maintenance of Existing Systems -- From MSC-2000 to UML 2.0 – The Future of Sequence Diagrams -- SDL and Layered Systems: Proposed Extensions to SDL to Better Support the Design of Layered Systems -- Collaboration-Based Design of SDL Systems -- Using UML for Implementation Design of SDL Systems -- Deployment of SDL Systems Using UML -- ETSI Testing Activities and the Use of TTCN-3 -- HyperMSCs with Connectors for Advanced Visual System Modelling and Testing -- Graphical Test Specification — The Graphical Format of TTCN-3 -- Some Implications of MSC, SDL and TTCN Time Extensions for Computer-Aided Test Generation -- Verification of Quantitative Temporal Properties of SDL Specifications -- A General Approach for the Specification of Real-Time Systems with SDL -- Timed Extensions for SDL -- ASN.1 is Reaching Out! -- Distributed Systems: From Models to Components -- Deriving Message Sequence Charts from Use Case Maps Scenario Specifications -- An SDL Implementation Framework for Third Generation Mobile Communications System -- OSPF Efficient LSA Refreshment Function in SDL -- Using SDL in a Stateless Environment -- An MSC Based Representation of DiCons -- Some Pathological Message Sequence Charts, and How to Detect Them -- An Execution Semantics for MSC-2000 -- Comparing TorX, Autolink, TGV and UIO Test Algorithms -- Verifying Large SDL-Specifications Using Model Checking -- Applying SDL Specifications and Tools to the Verification of Procedures. |
| Record Nr. | UNISA-996465882703316 |
| Berlin, Germany : , : Springer, , [2001] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
SDL 2001, meeting UML : 10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001 : proceedings / / Rick Reed, Jeanne Reed (editors)
| SDL 2001, meeting UML : 10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001 : proceedings / / Rick Reed, Jeanne Reed (editors) |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Germany : , : Springer, , [2001] |
| Descrizione fisica | 1 online resource (XI, 439 p.) |
| Disciplina | 005.133 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
SDL (Computer program language)
Telecommunication - Switching systems - Design and construction - Data processing |
| ISBN | 3-540-48213-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Combining SDL with Synchronous Data Flow Modelling for Distributed Control Systems -- Using Message Sequence Charts to Accelerate Maintenance of Existing Systems -- From MSC-2000 to UML 2.0 – The Future of Sequence Diagrams -- SDL and Layered Systems: Proposed Extensions to SDL to Better Support the Design of Layered Systems -- Collaboration-Based Design of SDL Systems -- Using UML for Implementation Design of SDL Systems -- Deployment of SDL Systems Using UML -- ETSI Testing Activities and the Use of TTCN-3 -- HyperMSCs with Connectors for Advanced Visual System Modelling and Testing -- Graphical Test Specification — The Graphical Format of TTCN-3 -- Some Implications of MSC, SDL and TTCN Time Extensions for Computer-Aided Test Generation -- Verification of Quantitative Temporal Properties of SDL Specifications -- A General Approach for the Specification of Real-Time Systems with SDL -- Timed Extensions for SDL -- ASN.1 is Reaching Out! -- Distributed Systems: From Models to Components -- Deriving Message Sequence Charts from Use Case Maps Scenario Specifications -- An SDL Implementation Framework for Third Generation Mobile Communications System -- OSPF Efficient LSA Refreshment Function in SDL -- Using SDL in a Stateless Environment -- An MSC Based Representation of DiCons -- Some Pathological Message Sequence Charts, and How to Detect Them -- An Execution Semantics for MSC-2000 -- Comparing TorX, Autolink, TGV and UIO Test Algorithms -- Verifying Large SDL-Specifications Using Model Checking -- Applying SDL Specifications and Tools to the Verification of Procedures. |
| Record Nr. | UNINA-9910143599703321 |
| Berlin, Germany : , : Springer, , [2001] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
SDL 2003: System Design [[electronic resource] ] : 11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003, Proceedings / / edited by Rick Reed, Jeanne Reed
| SDL 2003: System Design [[electronic resource] ] : 11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003, Proceedings / / edited by Rick Reed, Jeanne Reed |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XII, 412 p.) |
| Disciplina | 005.13/3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Computer communication systems Special purpose computers Software engineering Programming languages (Electronic computers) Computer logic Theory of Computation Computer Communication Networks Special Purpose and Application-Based Systems Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs |
| ISBN | 3-540-45075-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Performance -- Looking for Better Integration of Design and Performance Engineering -- Scenario-Based Performance Engineering with UCMNAV -- Evolution -- Using SDL for Modeling Behavior Composition -- A Real-Time Profile for UML and How to Adapt It to SDL -- MSC Connectors — The Chamber of Secrets -- Development -- Industrial Application of the SDL-Pattern Approach in UMTS Call Processing Development — Experience and Quantitative Assessment — -- Synthesizing SDL from Use Case Maps: An Experiment -- Enhanced SDL Subset for the Design and Implementation of Java-Enabled Embedded Signalling Systems -- Modeling -- Generating a Compiler for SDL from the Formal Language Definition -- Modelling and Evaluation of a Network on Chip Architecture Using SDL -- Formalizing Graphical Service Descriptions Using SDL -- Timing -- Specification and Simulation of Real Time Concurrent Systems Using Standard SDL Tools -- RMTP2: Validating the Interval Timed Extension for SDL with an Industrial-Size Multicast Protocol -- Refining Timed MSCs -- Validation -- Using Projections for the Detection of Anomalous Behaviors -- Applying Mutation Analysis to SDL Specifications -- Automatic Formal Model Generation and Analysis of SDL -- Design -- Applying SDL to Formal Analysis of Security Systems -- Development of Distributed Systems with SDL by Means of Formalized APIs -- Applications -- Validation of SIP/H.323 Interworking Using SDL/MSC -- Modeling IETF Session Initiation Protocol and Its Services in SDL -- Automated Generation of Marshaling Code from High-Level Specifications -- SAM 2002 Design Winner -- The Winning Entry of the SAM 2002 Design Contest. |
| Record Nr. | UNISA-996466012003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
SDL 2003: System Design : 11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003, Proceedings / / edited by Rick Reed, Jeanne Reed
| SDL 2003: System Design : 11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003, Proceedings / / edited by Rick Reed, Jeanne Reed |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XII, 412 p.) |
| Disciplina | 005.13/3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Computer communication systems Special purpose computers Software engineering Programming languages (Electronic computers) Computer logic Theory of Computation Computer Communication Networks Special Purpose and Application-Based Systems Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs |
| ISBN | 3-540-45075-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Performance -- Looking for Better Integration of Design and Performance Engineering -- Scenario-Based Performance Engineering with UCMNAV -- Evolution -- Using SDL for Modeling Behavior Composition -- A Real-Time Profile for UML and How to Adapt It to SDL -- MSC Connectors — The Chamber of Secrets -- Development -- Industrial Application of the SDL-Pattern Approach in UMTS Call Processing Development — Experience and Quantitative Assessment — -- Synthesizing SDL from Use Case Maps: An Experiment -- Enhanced SDL Subset for the Design and Implementation of Java-Enabled Embedded Signalling Systems -- Modeling -- Generating a Compiler for SDL from the Formal Language Definition -- Modelling and Evaluation of a Network on Chip Architecture Using SDL -- Formalizing Graphical Service Descriptions Using SDL -- Timing -- Specification and Simulation of Real Time Concurrent Systems Using Standard SDL Tools -- RMTP2: Validating the Interval Timed Extension for SDL with an Industrial-Size Multicast Protocol -- Refining Timed MSCs -- Validation -- Using Projections for the Detection of Anomalous Behaviors -- Applying Mutation Analysis to SDL Specifications -- Automatic Formal Model Generation and Analysis of SDL -- Design -- Applying SDL to Formal Analysis of Security Systems -- Development of Distributed Systems with SDL by Means of Formalized APIs -- Applications -- Validation of SIP/H.323 Interworking Using SDL/MSC -- Modeling IETF Session Initiation Protocol and Its Services in SDL -- Automated Generation of Marshaling Code from High-Level Specifications -- SAM 2002 Design Winner -- The Winning Entry of the SAM 2002 Design Contest. |
| Record Nr. | UNINA-9910143851803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
SDL 2005 : model driven : 12th international SDL Forum, Grimstad, Norway, June 20-23, 2005 : proceedings / / Andreas Prinz, Rick Reed, Jeanne Reed (eds.)
| SDL 2005 : model driven : 12th international SDL Forum, Grimstad, Norway, June 20-23, 2005 : proceedings / / Andreas Prinz, Rick Reed, Jeanne Reed (eds.) |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2005 |
| Descrizione fisica | 1 online resource (XII, 364 p.) |
| Disciplina | 005.13/3 |
| Altri autori (Persone) |
PrinzAndreas
ReedRick ReedJeanne <1948-> |
| Collana | Lecture notes in computer science |
| Soggetto topico |
SDL (Computer program language)
Telecommunication - Switching systems - Design and construction - Data processing |
| ISBN |
3-540-31539-X
3-540-26612-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Language issues -- Engineering issues -- Message sequence charts -- Applications and tools (short papers) -- Model driven architecture (short papers) -- Test and validation -- Code generation. |
| Altri titoli varianti | SDL Forum |
| Record Nr. | UNINA-9910484247703321 |
| Berlin ; ; New York, : Springer, c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
SDL 2005: Model Driven [[electronic resource] ] : 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005, Proceedings / / edited by Andreas Prinz, Rick Reed, Jeanne Reed
| SDL 2005: Model Driven [[electronic resource] ] : 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005, Proceedings / / edited by Andreas Prinz, Rick Reed, Jeanne Reed |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XII, 364 p.) |
| Disciplina | 005.13/3 |
| Collana | Computer Communication Networks and Telecommunications |
| Soggetto topico |
Computer organization
Software engineering Computer logic Management information systems Computer science Computer Systems Organization and Communication Networks Software Engineering Logics and Meanings of Programs Management of Computing and Information Systems |
| ISBN |
3-540-31539-X
3-540-26612-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Language Issues -- ULF-Ware – An Open Framework for Integrated Tools for ITU-T Languages -- An Access Control Language for Dynamic Systems – Model-Driven Development and Verification -- Non-deterministic Constructs in OCL – What Does any() Mean -- Engineering Issues -- Integrating RT-CORBA in SDL -- Component Development: MDA Based Transformation from eODL to CIDL -- Service Discovery and Component Reuse with Semantic Interfaces -- ns+SDL – The Network Simulator for SDL Systems -- Message Sequence Charts -- Semantics of Message Sequence Charts -- Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets -- Applications and Tools (Short Papers) -- SDL Design of OSPF Protocol for the Wireless Private Network -- ASM and SDL Models of Geographic Routing in Mobile Ad Hoc Networks -- Modeling Route Change in Soft-State Signaling Protocols Using SDL: A Case of RSVP -- Experiences in Using SDL to Support the Design and Implementation of a Logical Link Layer Protocol -- Modeling, Verifying and Testing Mobility Protocol from SDL Language -- Cinderella SLIPPER: An SDL to C-Code Generator -- Model Driven Architecture (Short Papers) -- Model-Driven Development of Reactive Systems with SDL -- A UML-Compatible Formal Language for System Architecture Description -- Test and Validation -- UCM-Driven Testing of Web Applications -- Network Element Testing Using TTCN-3: Benefits and Comparison -- A Compositional Approach to Service Validation -- Consistency Checking of Concurrent Models for Scenario-Based Specifications -- Code Generation -- SDL Code Generation for Open Systems -- SDL Versus C Equivalence Checking -- Synthesizing State-Machine Behaviour from UML Collaborations and Use Case Maps. |
| Record Nr. | UNISA-996465822803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
SDL 2007 : design for dependable systems : 13th International SDL Forum, Paris, France, September 18-21, 2007 : proceedings / / Emmanuel Gaudin, Elie Najm, Rick Reed (editors)
| SDL 2007 : design for dependable systems : 13th International SDL Forum, Paris, France, September 18-21, 2007 : proceedings / / Emmanuel Gaudin, Elie Najm, Rick Reed (editors) |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer, , [2007] |
| Descrizione fisica | 1 online resource (XII, 292 p.) |
| Disciplina | 003.54 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Information theory
Computer network architectures Software engineering |
| ISBN | 3-540-74984-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Model Driven Engineering -- A Model-Based Standard for SDL -- Model Driven Development and Code Generation: An Automotive Case Study -- Experiences in Deploying Model-Driven Engineering -- Testing -- TTCN-3 Quality Engineering: Using Learning Techniques to Evaluate Metric Sets -- Using TTCN for Radio Conformance Test Systems -- Testing UML2.0 Models Using TTCN-3 and the UML2.0 Testing Profile -- Language Extensions -- Specifying Input Port Bounds in SDL -- Translatable Finite State Time Machine -- Enhanced Use Case Map Traversal Semantics -- Implementation -- Automated Generation of Micro Protocol Descriptions from SDL Design Specifications -- Synthesizing Components with Sessions from Collaboration-Oriented Service Specifications -- Experiences in Using the SOMT Method to Support the Design and Implementation of a Network Simulator -- Modeling Experience and Extensions -- Consistency of UML/SPT Models -- Formal Verification of Use Case Maps with Real Time Extensions -- Using Probabilist Models for Studying Realistic Systems: A Case Study of Pastry -- OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling -- SDL Design and Performance Evaluation of a Mobility Management Technique for 3GPP LTE Systems. |
| Record Nr. | UNINA-9910484372903321 |
| Berlin, Heidelberg : , : Springer, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
SDL 2007 : design for dependable systems : 13th International SDL Forum, Paris, France, September 18-21, 2007 : proceedings / / Emmanuel Gaudin, Elie Najm, Rick Reed (editors)
| SDL 2007 : design for dependable systems : 13th International SDL Forum, Paris, France, September 18-21, 2007 : proceedings / / Emmanuel Gaudin, Elie Najm, Rick Reed (editors) |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer, , [2007] |
| Descrizione fisica | 1 online resource (XII, 292 p.) |
| Disciplina | 003.54 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Information theory
Computer network architectures Software engineering |
| ISBN | 3-540-74984-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Model Driven Engineering -- A Model-Based Standard for SDL -- Model Driven Development and Code Generation: An Automotive Case Study -- Experiences in Deploying Model-Driven Engineering -- Testing -- TTCN-3 Quality Engineering: Using Learning Techniques to Evaluate Metric Sets -- Using TTCN for Radio Conformance Test Systems -- Testing UML2.0 Models Using TTCN-3 and the UML2.0 Testing Profile -- Language Extensions -- Specifying Input Port Bounds in SDL -- Translatable Finite State Time Machine -- Enhanced Use Case Map Traversal Semantics -- Implementation -- Automated Generation of Micro Protocol Descriptions from SDL Design Specifications -- Synthesizing Components with Sessions from Collaboration-Oriented Service Specifications -- Experiences in Using the SOMT Method to Support the Design and Implementation of a Network Simulator -- Modeling Experience and Extensions -- Consistency of UML/SPT Models -- Formal Verification of Use Case Maps with Real Time Extensions -- Using Probabilist Models for Studying Realistic Systems: A Case Study of Pastry -- OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling -- SDL Design and Performance Evaluation of a Mobility Management Technique for 3GPP LTE Systems. |
| Record Nr. | UNISA-996465635603316 |
| Berlin, Heidelberg : , : Springer, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
