KOBV-Portal

Treffer pro Seite

Treffer 1 - 5 | 5 Treffer

Sortierung

Online-Ressource

ZB 2003: Formal Specification and Development in Z and B : Third International Conference of B and Z Users Turku, Finland, June 4–6, 2003 Proceedings (2003)

Bert, Didier. [editor.] ; Bowen, Jonathan P. [editor.] ; King, Steve. [editor.] ; [weitere]

Berlin, Heidelberg :Springer Berlin Heidelberg,

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

almahu_9947920698802882

Umfang: XIV, 554 p. , online resource.

ISBN: 9783540448808

Serie: Lecture Notes in Computer Science, 2651

Anmerkung: Alloy: A Logical Modelling Language -- An Outline Pattern Language for Z: Five Illustrations and Two Tables -- Patterns to Guide Practical Refactoring: Examples Targetting Promotion in Z -- Reuse of Specification Patterns with the B Method -- Composing Specifications Using Communication -- When Concurrent Control Meets Functional Requirements, or Z + Petri-Nets -- How to Diagnose a Modern Car with a Formal B Model? -- Parallel Hardware Design in B -- Operation Refinement and Monotonicity in the Schema Calculus -- Using Coupled Simulations in Non-atomic Refinement -- An Analysis of Forward Simulation Data Refinement -- B#: Toward a Synthesis between Z and B -- Introducing Backward Refinement into B -- Expression Transformers in B-GSL -- Probabilistic Termination in B -- Probabilistic Invariants for Probabilistic Machines -- Proving Temporal Properties of Z Specifications Using Abstraction -- Compositional Verification for Object-Z -- Timed CSP and Object-Z -- Object Orientation without Extending Z -- Comparison of Formalisation Approaches of UML Class Constructs in Z and Object-Z -- Towards Practical Proofs of Class Correctness -- Automatically Generating Information from a Z Specification to Support the Classification Tree Method -- Refinement Preserves PLTL Properties -- Proving Event Ordering Properties for Information Systems -- ZML: XML Support for Standard Z -- Formal Derivation of Spanning Trees Algorithms -- Using B Refinement to Analyse Compensating Business Processes -- A Formal Specification in B of a Medical Decision Support System -- Extending B with Control Flow Breaks -- Towards Dynamic Population Management of Abstract Machines in the B Method.

In: Springer eBooks

Weitere Ausg.: Printed edition: ISBN 9783540402534

Sprache: Englisch

DOI: 10.1007/3-540-44880-2

URL: http://dx.doi.org/10.1007/3-540-44880-2

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Online-Ressource

Open Access Wunsch

HU Berlin

Online-Ressource

ZB 2003: Formal Specification and Development in Z and B : Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings (2003)

Bert, Didier. [editor.] ; Bowen, Jonathan P. [editor.] ; King, Steve. [editor.] ; [weitere]

Berlin, Heidelberg :Springer Berlin Heidelberg :

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

almahu_9948621540102882

Umfang: XIV, 554 p. , online resource.

Ausgabe: 1st ed. 2003.

ISBN: 9783540448808

Serie: Lecture Notes in Computer Science, 2651

In: Springer Nature eBook

Weitere Ausg.: Printed edition: ISBN 9783662180303

Weitere Ausg.: Printed edition: ISBN 9783540402534

Sprache: Englisch

DOI: 10.1007/3-540-44880-2

URL: https://doi.org/10.1007/3-540-44880-2

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Online-Ressource

Open Access Wunsch

HU Berlin

Online-Ressource

ZB 2003: Formal Specification and Development in Z and B : Third International Conference of B and Z Users Turku, Finland, June 4–6, 2003 Proceedings (2003)

Bert, Didier ; Bowen, Jonathan P. ; King, Steve ; [weitere]

Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

gbv_1649238592

Umfang: Online-Ressource

ISBN: 9783540448808 , 3540402535

Serie: Lecture Notes in Computer Science 2651

Inhalt: This book constitutes the refereed proceedings of the Third International Conference of Z and B Users, ZB 2003, held in Turku, Finland in June 2003. The 28 revised full papers presented together with 3 invited papers were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notation and for the B method, spanning the full scope from foundational, theoretical, and methodological issues to advanced applications, tools, and case studies

Anmerkung: Literaturangaben

Weitere Ausg.: ISBN 9783540402534

Weitere Ausg.: Buchausg. u.d.T. ZB 2003: Formal Specification and Development in Z and B Berlin : Springer, 2003 ISBN 3540402535

Sprache: Englisch

Fachgebiete: Informatik

RVK:

SS 4800

DOI: 10.1007/3-540-44880-2

URL: Volltext (lizenzpflichtig)

URL: Volltext

URL: Volltext (lizenzpflichtig)

URL: Cover

URL: Inhaltstext

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Online-Ressource

Online Zugang

Open Access Wunsch

UB Potsdam

Buch

Formal specification and development in Z and B : proceedings (2003)

Bert, Didier ; ZB (3 : 2003 : Turku) 3 Turku

Berlin [u.a.] : Springer-Verlag

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

kobvindex_ZLB13507841

Umfang: XIII, 545 Seiten , graph. Darst. , 24 cm

Ausgabe: 1. Aufl.

ISBN: 3540402535

Serie: Lecture notes in computer science 2651

Anmerkung: Literaturangaben , Text engl.

Sprache: Englisch

Schlagwort(e): Softwareentwicklung ; Softwarespezifikation ; Formale Spezifikationstechnik ; Z 〈Programmiersprache〉 ; Kongress ; Turku 〈2003〉 ; Softwareentwicklung ; Softwarespezifikation ; Formale Spezifikationstechnik ; B 〈Programmiersprache〉 ; Kongress ; Turku 〈2003〉 ; Kongress ; Konferenzschrift

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Buch

Fernleihwunsch

Berlin VÖBB/ZLB

Buch

ZB 2003: Formal Specification and Development in Z and B : third international conference of B and Z Users, Turku, Finland, Juni 4 - 6, 2003 ; proceedings (2003)

Bert, Didier [Hrsg.] ; ZB 3 2003 Turku

Berlin : Springer

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

gbv_363878572

Umfang: XIII, 545 S. , graph. Darst. , 24 cm

ISBN: 3540402535

Serie: Lecture notes in computer science 2651

Anmerkung: Literaturangaben

Weitere Ausg.: Erscheint auch als Online-Ausgabe Bert, Didier ZB 2003: Formal Specification and Development in Z and B Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2003 ISBN 9783540448808

Weitere Ausg.: ISBN 3540402535

Sprache: Englisch

Fachgebiete: Informatik

RVK:

SS 4800

Schlagwort(e): Softwareentwicklung ; Softwarespezifikation ; Formale Spezifikationstechnik ; Z ; Softwareentwicklung ; Softwarespezifikation ; Formale Spezifikationstechnik ; B ; Softwareentwicklung ; Softwarespezifikation ; Formale Spezifikationstechnik ; Z ; Softwareentwicklung ; Softwarespezifikation ; Formale Spezifikationstechnik ; B ; Konferenzschrift

URL: Cover

URL: Inhaltstext

URL: http://www.loc.gov/catdir/enhancements/fy0813/2003052988-d.html

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Buch

Fernleihwunsch

UB Potsdam

Treffer 1 - 5 | 5 Treffer

Nichts oder nicht das Richtige gefunden? Bitte überprüfen Sie Ihre Suchanfrage oder benutzen Sie den Fernleihindex.

Meinten Sie 9783540002536?

Meinten Sie 9783540002543?

Meinten Sie 9783540002734?

Kooperativer Bibliotheksverbund

Berlin Brandenburg