Atsushi Togashi,
Tadanori Mizuno,
Norio Shiratori,
Teruo Higashino
e.a.
Formal Description Techniques and Protocol Specification, Testing and Verification
FORTE X / PSTV XVII ’97
Gebonden Engels 1997 1997e druk 9780412820601
Verwachte levertijd ongeveer 9 werkdagen
Samenvatting
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.
Specificaties
ISBN13:9780412820601
Taal:Engels
Bindwijze:gebonden
Aantal pagina's:550
Uitgever:Springer US
Druk:1997
Hoofdrubriek:Netwerken, Computer en informatica
Lezersrecensies
Wees de eerste die een lezersrecensie schrijft!
Inhoudsopgave
Invited talk I: network and application for new generation. Testing theory for concurrent systems. MSC and ODP. LOTOS and extension. Verification technique. Conformance testing. Invited talk II: the future information technology and its impact to the society. Real time systems. Languages and applications. Industrial usage reports. Invited talk III: distributed object consistency. Concurrent systems.
Rubrieken
- advisering
- algemeen management
- coaching en trainen
- communicatie en media
- economie
- financieel management
- inkoop en logistiek
- internet en social media
- it-management / ict
- juridisch
- leiderschap
- marketing
- mens en maatschappij
- non-profit
- ondernemen
- organisatiekunde
- personal finance
- personeelsmanagement
- persoonlijke effectiviteit
- projectmanagement
- psychologie
- reclame en verkoop
- strategisch management
- verandermanagement
- werk en loopbaan