fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf

Site Breadcrumb

Verkauf durch Sack Fachmedien

Togashi / Higashino / Mizuno

Formal Description Techniques and Protocol Specification, Testing and Verification

FORTE X / PSTV XVII '97

Medium: Buch
ISBN: 978-0-412-82060-1
Verlag: Springer US
Erscheinungstermin: 31.10.1997
In den Warenkorb
Lieferfrist: bis zu 10 Tage
Auf die Merkliste Drucken

Leseprobe
Überschrift

Beschreibung

Kostenloser Versand

nach Deutschland, Österreich und in die Schweiz

Bequem zahlen

Rechnung, Kreditkarte, PayPal oder Bankeinzug

Wir sind gerne für Sie da

0800 000-1378 (Inland)
service@fachmedien.de
<<Kontaktformular>>

Fragen

Fragen Lorem ipsum dolor sit amet, consetetur sadipscing elitr, sed diam nonumy eirmod tempor invidunt ut labore et dolore magna aliquyam erat, sed diam voluptua
Anwtorten

Anwtorten At vero eos et accusam et justo duo dolores et ea rebum. Stet clita kasd gubergren, no sea takimata sanctus est Lorem ipsum dolor sit amet. Lorem ipsum dolor sit amet

FORTE/PSTV '97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic). The conference is a forum for presentation of the state-of-the-art in theory, application, tools and industrialization of FDTs, and provides an excellent orientation for newcomers.

Produkteigenschaften

  • Artikelnummer: 9780412820601
  • Medium: Buch
  • ISBN: 978-0-412-82060-1
  • Verlag: Springer US
  • Erscheinungstermin: 31.10.1997
  • Sprache(n): Englisch
  • Auflage: 1997
  • Serie: IFIP Advances in Information and Communication Technology
  • Produktform: Gebunden
  • Gewicht: 1027 g
  • Seiten: 550
  • Format (B x H x T): 160 x 241 x 36 mm
  • Ausgabetyp: Kein, Unbekannt

Themen

Autoren/Hrsg.

Autoren

1 Specification-based testing of concurrent systems.- 2 Refusal testing for classes of transition systems with inputs and outputs.- 3 A framework for distributed object-oriented testing.- 4 Interoperability test suite derivation for symmetric communication protocols.- 5 A hierarchy of communication models for message sequence charts.- 6 Timing constraints in message sequence chart specifications.- 7 Consistent semantics for ODP information and computational models.- 8 Specifying the ODP trader: an introduction to E-LOTOS.- 9 A computer aided design of a secure registration protocol.- 10 Implementation of distributed systems described with LOTOS multi-rendezvous on bus topology networks.- 11 Disjunction of LOTOS specifications.- 12 A timed automaton model for ET-LOTOS verification.- 13 Automatic checking of aggregation abstractions through state enumeration.- 14 Concept of quantified abstract quotient automaton and its advantage.- 15 Validating protocol composition for progress by parallel step reachability analysis.- 16 An improved search strategy for Lossy channel systems.- 17 A weighted random walk approach for conformance testing of a system specified as communicating finite state machines.- 18 Friendly testing as a conformance relation.- 19 Generalized metric based test selection and coverage measure for communication protocols.- 20 Dynamic priorities for modeling real-time.- 21 On-line timed protocol trace analysis based on uncertain state descriptions.- 22 Algebraic specification through expression transformation.- 23 Modelling digital logic in SDL.- 24 A methodology for the description of system requirements and the derivation of formal specifications.- 25 On the influence of semantic constraints on the code generation from Estelle specifications.- 26 Using a formal description technique to model aspects of a global air traffic telecommunications network.- 27 An experiment in using RT-LOTOS for the formal specification and verification of a distributed scheduling algorithm in a nuclear power plant monitoring system.- 28 Intelligent protocol analyzer with TCP behavior emulation for interoperability testing of TCP/IP protocols.- 29 Eight years of experience in test generation from FDTs using TVEDA.- 30 Self-independent petri nets for distributed systems.- 31 Combining CSP and object-Z: finite or infinite trace semantics?.- 32 Selective mu-calculus: new modal operators for proving properties on reduced transition systems.- 33 On a concurrency calculus for design of mobile telecommunication systems.- Index of contributors.- Keyword index.