AndreasPrinz DieterHogrefe CliveJervis EdelSherratt EkkartRudolph DanielAmyot UweGl¨ asser RolvBraek ThomasWeigert ChrisLoftus SusanneGraf BobProbert ReinhardGotzhein SjoukeMauw Table of Contents SDL CoSDL–AnExperimentalLanguageforCollaborationSpeci?cation. 1 Frank R˜ o…ler, Birgit Geppert, Reinhard Gotzhein URN:TowardsaNewStandardfortheVisual DescriptionofRequirements. 21 Daniel Amyot, Gunter Mussbacher ExpressionofTimeandDurationConstraintsinSDL. 38 Susanne Graf SDLTimeExtensionsfromaSemanticPointofView. 53 Andreas Prinz MicroProtocolDesign:TheSNMPCaseStudy. 61 Reinhard Gotzhein, Ferhat Khendek, Philipp Schaible ImplementationofUMTSProtocolLayersforthe RadioAccessInterface. 74 Javier Col¶as, J. M. P¶erez, Javier Poncela, J. T. Entrambasaguas Object-OrientedSpeci?cationofProtocolsforReusability. 90 Andreas Prinz, Mario Schwarz RapidDevelopmentofNetworkSoftwareviaSDL/SocketInterfaces. 103 Tae-Hyong Kim, Robert L. Probert, Igor Sales, Alan Williams UnderstandingExistingSoftwarewithUseCaseMapScenarios. 124 Daniel Amyot, Nikolai Mansurov, Gunter Mussbacher TechniquesforAbstractingSDLSpeci?cations. 141 Sergiy Boroday, Roland Groz, Alex Petrenko, Yves-Marie Quemener Model-BasedGenerationofSDLSpeci?cationsforthe EarlyPrototypingofReactiveSystems. 158 Andreas Metzger, Stefan Queins MSC and TTCN AutomaticGenerationofConformanceTestsfrom MessageSequenceCharts.
Produkteigenschaften
- Artikelnummer: 9783540008774
- Medium: Buch
- ISBN: 978-3-540-00877-4
- Verlag: Springer Berlin Heidelberg
- Erscheinungstermin: 18.03.2003
- Sprache(n): Englisch
- Auflage: 2003
- Serie: Lecture Notes in Computer Science
- Produktform: Kartoniert
- Gewicht: 411 g
- Seiten: 256
- Format (B x H x T): 155 x 235 x 15 mm
- Ausgabetyp: Kein, Unbekannt
Themen
- Mathematik | Informatik
- EDV | Informatik
- Programmierung | Softwareentwicklung
- Software Engineering
- Objektorientierte Softwareentwicklung
- Mathematik | Informatik
- EDV | Informatik
- Programmierung | Softwareentwicklung
- Prozedurale Programmierung
- Sozialwissenschaften
- Medien- und Kommunikationswissenschaften
- Kommunikationswissenschaften
- Digitale Medien, Internet, Telekommunikation
- Technische Wissenschaften
- Elektronik | Nachrichtentechnik
- Nachrichten- und Kommunikationstechnik
- Funktechnik
- Mathematik | Informatik
- EDV | Informatik
- Programmierung | Softwareentwicklung
- Software Engineering
- Objektorientierte Softwareentwicklung
- Mathematik | Informatik
- EDV | Informatik
- Programmierung | Softwareentwicklung
- Prozedurale Programmierung
- Sozialwissenschaften
- Medien- und Kommunikationswissenschaften
- Kommunikationswissenschaften
- Digitale Medien, Internet, Telekommunikation