ZUM'97: The Z Formal Specification Notation
Editat de Jonathan P. Bowen, Michael G. Hinchey, David Tillen Limba Engleză Paperback – 20 mar 1997
The volume presents 18 revised full papers together with three invited presentations by internationally leading experts. The papers are organized into topical sections on real-time systems, tools, logic, system development, reactive systems, refinement, and applications. Also a select Z bibliography by Jonathan Bowen is added. All in all, the book competently reports the state-of-the-art in research and advanced applications of the Z notation.
Preț: 329.94 lei
Preț vechi: 412.42 lei
-20%
Puncte Express: 495
Carte tipărită la comandă
Livrare economică 16-30 iulie
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Specificații
ISBN-13: 9783540627173
ISBN-10: 3540627170
Pagini: 452
Ilustrații: X, 442 p.
Dimensiuni: 155 x 235 x 25 mm
Greutate: 0.68 kg
Ediția:1997
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540627170
Pagini: 452
Ilustrații: X, 442 p.
Dimensiuni: 155 x 235 x 25 mm
Greutate: 0.68 kg
Ediția:1997
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
V-ar putea interesa
-
-27%Preț: 676.09 lei926.15 lei -
-20%Preț: 642.55 lei803.18 lei -
KanbanDavid J. Anderson-20%Preț: 254.39 lei317.98 lei -
The Human Side of AgileGil BrozaPreț: 258.49 lei -
Software EngineeringPer Runeson-8%Preț: 478.98 lei520.62 lei -
Professional GitBrent Laster-20%Preț: 256.30 lei320.38 lei -
Python AlgorithmsMagnus Lie Hetland-20%Preț: 468.00 lei584.99 lei -
The Definitive Guide to HTML5 WebSocketVanessa Wang-20%Preț: 372.28 lei465.36 lei -
Head First AgileAndrew Stellman-20%Preț: 337.90 lei422.37 lei -
Continuous Delivery with Visual Studio ALM 2015Mathias Olausson-20%Preț: 299.70 lei374.63 lei -
Design It! : Pragmatic ProgrammersMicahel Keeling-20%Preț: 250.02 lei312.52 lei -
Mastering ServiceNow - Second EditionMartin Wood-20%Preț: 368.74 lei460.93 lei -
Engineering Trustworthy Software SystemsJonathan P. Bowen-20%Preț: 320.93 lei401.17 lei -
Formal Approaches to Agent-Based SystemsMichael G. Hinchey-20%Preț: 322.37 lei402.96 lei -
-20%Preț: 637.63 lei797.04 lei -
FME '93: Industrial-Strength Formal MethodsJames C. P. Woodcock-20%Preț: 644.77 lei805.96 lei -
Advanced Information Systems EngineeringColette Rolland-20%Preț: 341.01 lei426.27 lei -
Experimental Software Engineering Issues:H. Dieter Rombach-20%Preț: 321.74 lei402.18 lei -
Software Process TechnologyWilhelm Schäfer-20%Preț: 321.15 lei401.43 lei -
Objective Software QualityPaolo Nesi-20%Preț: 320.32 lei400.41 lei -
Static AnalysisAlan Mycroft-20%Preț: 329.35 lei411.69 lei -
Software Process TechnologyCarlo Montangero-20%Preț: 322.59 lei403.23 lei -
-20%Preț: 325.92 lei407.40 lei -
-20%Preț: 336.29 lei420.36 lei -
Abstract State Machines, B and ZEgon Börger-20%Preț: 327.27 lei409.09 lei
Public țintă
ResearchCuprins
Formal methods: A panacea or academic poppycock?.- An introduction to the event calculus.- Experiences with PiZA, an Animator for Z.- Automating test case generation from Z specifications with Isabelle.- The Z/EVES system.- Taking Z seriously.- A formal OO method inspired by Fusion and Object-Z.- W Reconstructed.- Using the rippling heuristic in set membership proofs.- A practical method for rigorously controllable hardware design.- Integrating VDM++ and real-time system design.- An approach to the design of distributed systems with B AMN.- Specifying reactive systems in B AMN.- An improved recipe for specifying reactive systems in Z.- A Z specification of the soft-link hypertext model.- Experience with Z developing a control program for a radiation therapy machine.- Preliminary evaluation of a formal approach to user interface specification.- Analyzing and refining an architectural style.- Weak refinement in Z.- Select Z bibliography.- Comp.specification.z and Z FORUM frequently asked questions.