X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Book
    Book
    SDL 2003: system design : 11th international SDL Forum, Stuttgart, Germany, July 1-4, 2003 : proceedings (2003)
    Berlin u.a. :Springer,
    Details
    UID:
    almahu_BV017321100
    Format: XI, 403 S. : Ill.
    ISBN: 3-540-40539-9
    Series Statement: Lecture notes in computer science 2708
    Language: English
    Subjects: Computer Science
    RVK:
    SS 4800
    Keywords: Konferenzschrift ; Konferenzschrift ; Konferenzschrift
    URL: Cover
    URL: Inhaltstext
    URL: http://www.loc.gov/catdir/enhancements/fy0818/2003057322-d.html
    Author information: Reed, Rick, 1948-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    HU Berlin get availability status
    FU Berlin get availability status
    UB Potsdam get availability status
  • 2
    Book
    Book
    System design : proceedings (2003)
    Berlin [u.a.] : Springer-Verlag
    Details
    UID:
    kobvindex_ZLB13509191
    Format: XI, 403 Seiten , graph. Darst. , 24 cm
    ISBN: 3540405399
    Series Statement: Lecture notes in computer science 2708
    Note: Literaturangaben , Text engl.
    Language: English
    Keywords: Systementwurf ; SDL ; Kongress ; Stuttgart 〈2003〉 ; Kongress ; Konferenzschrift
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    Berlin VÖBB/ZLB get availability status
  • 3
    Online Resource
    Online Resource
    SDL 2003: System Design : 11th International SDL Forum Stuttgart, Germany, July 1-4, 2003 Proceedings (2003)
    Berlin : Springer
    Details
    UID:
    gbv_749124903
    Format: Online-Ressource (XII, 412 p) , digital
    Edition: Springer eBook Collection. Computer Science
    ISBN: 9783540450757 , 3540405399
    Series Statement: Lecture Notes in Computer Science 2708
    Content: This book constitutes the refereed proceedings of the 11th International SDL Forum, SDL 2003, held in Stuttgart, Germany in July 2003. The 23 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on performance, evolution, development, modeling, timing, validation, design, and application. Thus all aspects of systems design and system design languages are addressed
    Note: Includes bibliographical references
    Additional Edition: ISBN 9783540405399
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 9783662178775
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 9783540405399
    Language: English
    Subjects: Computer Science
    RVK:
    SS 4800
    Keywords: Konferenzschrift
    DOI: 10.1007/3-540-45075-0
    URL: lizenzpflichtig
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext
    URL: Inhaltstext
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Online Access
    Open Access Request
    UB Potsdam
  • 4
    Online Resource
    Online Resource
    SDL 2003: System Design : 11th International SDL Forum Stuttgart, Germany, July 1–4, 2003 Proceedings (2003)
    Berlin, Heidelberg :Springer Berlin Heidelberg,
    Details
    UID:
    almahu_9947920696102882
    Format: XII, 412 p. , online resource.
    ISBN: 9783540450757
    Series Statement: Lecture Notes in Computer Science, 2708
    Content: This volume contains the papers presented at the 11th SDL Forum, Stuttgart. As well as the papers, the 11th SDL Forum also hosted a system design competition sponsored by Solinet with a cash prize for the “best” design. This follows a similar competition at the SAM 2002 workshop (papers published in LNCS 2599). The winning entry from SAM 2002 is described in the last paper in this volume. The SDL Forum was ?rst held in 1982, and then every two years from 1985. Initially the Forum was concerned only with the Speci?cation and Descr- tion Language ?rst standardized in the 1976 Orange Book of the International Telecommunication Union (ITU). From the start this graphical CEFSM (communicating extended ?nite state machines) notation was used both to describe the implementation of systems and to specify systems (especially protocol systems in standards). In the early days both types of description were quite informal, though speci?cations were certainly more formal than the main alternative: natural languagewith some ad hoc ?gures. Implementations were usually written in assembly language, which is at too low a level to reason well about the interaction between communic- ing agents within a system. In this case the notation provided an intermediate description that gave an overview of how the implementation worked, and often the actual logical development was done at the graphical level with hand coding of that description.
    Note: 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.
    In: Springer eBooks
    Additional Edition: Printed edition: ISBN 9783540405399
    Language: English
    DOI: 10.1007/3-540-45075-0
    URL: http://dx.doi.org/10.1007/3-540-45075-0
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    HU Berlin
  • 5
    Online Resource
    Online Resource
    SDL 2003: System Design : 11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003, Proceedings (2003)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Details
    UID:
    almahu_9948621385802882
    Format: XII, 412 p. , online resource.
    Edition: 1st ed. 2003.
    ISBN: 9783540450757
    Series Statement: Lecture Notes in Computer Science, 2708
    Content: This volume contains the papers presented at the 11th SDL Forum, Stuttgart. As well as the papers, the 11th SDL Forum also hosted a system design competition sponsored by Solinet with a cash prize for the "best" design. This follows a similar competition at the SAM 2002 workshop (papers published in LNCS 2599). The winning entry from SAM 2002 is described in the last paper in this volume. The SDL Forum was ?rst held in 1982, and then every two years from 1985. Initially the Forum was concerned only with the Speci?cation and Descr- tion Language ?rst standardized in the 1976 Orange Book of the International Telecommunication Union (ITU). From the start this graphical CEFSM (communicating extended ?nite state machines) notation was used both to describe the implementation of systems and to specify systems (especially protocol systems in standards). In the early days both types of description were quite informal, though speci?cations were certainly more formal than the main alternative: natural languagewith some ad hoc ?gures. Implementations were usually written in assembly language, which is at too low a level to reason well about the interaction between communic- ing agents within a system. In this case the notation provided an intermediate description that gave an overview of how the implementation worked, and often the actual logical development was done at the graphical level with hand coding of that description.
    Note: 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.
    In: Springer Nature eBook
    Additional Edition: Printed edition: ISBN 9783662178775
    Additional Edition: Printed edition: ISBN 9783540405399
    Language: English
    DOI: 10.1007/3-540-45075-0
    URL: https://doi.org/10.1007/3-540-45075-0
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    HU Berlin
Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.
Did you mean 3540053999?
Did you mean 3510400399?
Did you mean 3540401393?
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages