SDL 2001 : meeting UML : 10th International SDL Forum, Copenhagen, Denmark, June 27 29, 2001 : proceedings
This volume contains the papers presented at the Tenth SDL Forum, Cop- hagen. SDL is the Speci?cation and Description Language ?rst standardized by the world telecommunications body, the International Telecommunications Union (ITU), more than 20 years ago in 1976. While the original language and dom...
Na minha lista:
| Autor Corporativo: | |
|---|---|
| Outros Autores: | , |
| Formato: | Livre numérique |
| Idioma: | Anglais |
| Publicado em: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Colecção: | Lecture notes in computer science
2078 |
| Assuntos: | |
| Acesso em linha: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • SDL 2001, meeting UML, 10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001, proceedings, Rick Reed, Jeanne Reed (Eds.), 2001, New York, Springer, 1 vol. (XI-437 p.), Lecture notes in computer science, 3-540-42281-1 • SDL 2001: Meeting UML, Texte imprimé, 9783540829461 |
| LEADER | 05124nam a22004697a 4500 | ||
|---|---|---|---|
| 001 | 949031 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155207326 | ||
| 020 | |a 9783540482130 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a SDL Forum |n (10 |d :2001 |c :Copenhague). | |
| 245 | 1 | 0 | |a SDL 2001 : |b meeting UML : 10th International SDL Forum, Copenhagen, Denmark, June 27 29, 2001 : proceedings |c [edited by] Rick Reed, Jeanne Reed. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 2078 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a 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. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a This volume contains the papers presented at the Tenth SDL Forum, Cop- hagen. SDL is the Speci?cation and Description Language ?rst standardized by the world telecommunications body, the International Telecommunications Union (ITU), more than 20 years ago in 1976. While the original language and domain of application has evolved signi?cantly, the foundations of SDL as a graphical, state-transition and process-communication language for real-time systems have remained. Today SDL has also grown to be one notation in the set of uni?ed modelling languages recommended by the ITU (ASN.1, MSC, SDL, ODL, and TTCN) that can be used in methodology taking engineering of systems from requirements capture through to testing and operation. The SDL Forum is held every two years and has become the most imp- tant event in the calendar for anyone involved in SDL and related languages and technology. The SDL Forum Society that runs the Forum is a non-pro?t organization whose aim it is to promote and develop these languages. | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Construction | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Réseaux d'ordinateurs | ||
| 650 | |a Logiciels | ||
| 650 | |a Langage | ||
| 650 | |a Télécommunications |x Systèmes de commutation | ||
| 650 | |a UML (informatique) | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Reed, Jeanne, |d 1948- |4 pbd | |
| 700 | 1 | |a Reed, Rick, |d 1948- |4 pbd | |
| 776 | 0 | |0 058088644 |t SDL 2001 |o meeting UML, 10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001, proceedings |f Rick Reed, Jeanne Reed (Eds.) |d 2001 |c New York |n Springer |p 1 vol. (XI-437 p.) |s Lecture notes in computer science |z 3-540-42281-1 | |
| 776 | 0 | |t SDL 2001: Meeting UML |b Texte imprimé |z 9783540829461 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-48213-X |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-SMT9X5LT-T |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:748061150 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-48213-X |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:751512710 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-48213-X |z Accès INSA CVL | |
| 997 | |0 949031 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||