LEADER 01695nam 2200409Ia 450 001 996387276003316 005 20221108051812.0 035 $a(CKB)1000000000631981 035 $a(EEBO)2240937381 035 $a(OCoLC)9920460300971 035 $a(EXLCZ)991000000000631981 100 $a19950918d1555 uy | 101 0 $aeng 135 $aurbn||||a|bb| 200 10$aBy the Kyng and the Quene$b[electronic resource] $ewhere as many good and profitable lawes, statutes, and ordynaunces haue bene heretofore made and deuysed, for the good gouernement, order and common weale of this realme .. 210 $aExcusum Londini $cIn ędibus Iohannis Cawodi typographi Regię Maiestatis$d[1555] 215 $a1 sheet ([1] p.) 300 $aContains wood-cut initial. 300 $aOther title information from first four lines of text. 300 $a"Geuen under our Signes Manuell, at our honoure of Hampton courte the xxvi. day of May, the fyrst and second yeares of our reygnes." 300 $a"Cum priuilegio ad imprimendum solum." 300 $aReproduction of original in: Society of Antiquaries. 330 $aeebo-0147 606 $aChurch and state$zEngland$vEarly works to 1800 606 $aCounterfeits and counterfeiting$zEngland 607 $aGreat Britain$xHistory$yMary I, 1553-1558 608 $aBroadsides$zLondon (England)$y16th century.$2rbgenr 615 0$aChurch and state 615 0$aCounterfeits and counterfeiting 701 $aMary$cQueen of England,$f1516-1558.$01002805 801 0$bEBK 801 1$bEBK 801 2$bWaOLN 906 $aBOOK 912 $a996387276003316 996 $aBy the Kyng and the Quene$92308542 997 $aUNISA LEADER 04610oam 2200601 450 001 996465882703316 005 20210520200556.0 010 $a3-540-48213-X 024 7 $a10.1007/3-540-48213-X 035 $a(CKB)1000000000211431 035 $a(SSID)ssj0000319931 035 $a(PQKBManifestationID)11235187 035 $a(PQKBTitleCode)TC0000319931 035 $a(PQKBWorkID)10338794 035 $a(PQKB)10407540 035 $a(DE-He213)978-3-540-48213-0 035 $a(MiAaPQ)EBC3062297 035 $a(MiAaPQ)EBC6413316 035 $a(PPN)123720192 035 $a(EXLCZ)991000000000211431 100 $a20210520d2001 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 00$aSDL 2001, meeting UML $e10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001 : proceedings /$fRick Reed, Jeanne Reed (editors) 205 $a1st ed. 2001. 210 1$aBerlin, Germany :$cSpringer,$d[2001] 210 4$dĀ©2001 215 $a1 online resource (XI, 439 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2078 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-42281-1 320 $aIncludes bibliographical references and index. 327 $aCombining 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. 330 $aThis 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. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2078 606 $aSDL (Computer program language)$vCongresses 606 $aTelecommunication$xSwitching systems$xDesign and construction$xData processing$vCongresses 615 0$aSDL (Computer program language) 615 0$aTelecommunication$xSwitching systems$xDesign and construction$xData processing 676 $a005.133 702 $aReed$b Jeanne$f1948- 702 $aReed$b Rick 712 12$aSDL Forum 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bUtOrBLW 906 $aBOOK 912 $a996465882703316 996 $aSDL 2001: Meeting UML$9772310 997 $aUNISA