X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Book
    Book
    Integration of software specification techniques for applications in engineering : priority program SoftSpez of the German Research Foundation (DFG) ; final report (2004)
    Berlin : Springer
    Details
    UID:
    gbv_39463697X
    Format: X, 628 S. , Ill., graph. Darst. , 235 mm x 155 mm
    ISBN: 3540231358
    Series Statement: Lecture notes in computer science 3147
    Content: This book constitutes the documentation of the scientific outcome of the priority program Integration of Software Specification Techniques for Applications in Engineering sponsored by the German Research Foundation (DFG). It includes main contributions of the projects of the priority program and of additional international experts in the field. Some of the papers included were presented at the related Third International Workshop on the topic, INT 2004, held in Barcelona, Spain in March 2004. The 25 revised full papers presented together with 6 section introductions by the volume editors were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on reference case study production automation, reference case study traffic control systems, petri nets and related approaches in engineering, charts, verification, and integration modeling
    Note: Contributions presented at the Third International Workshop INT 2004 on "Integration of Specification Techniques for Applications in Engineering", a satellite event of ETAPS in Barcelona, the "European Joint Conferences on Theory and Practice of Software" , Literaturangaben
    Additional Edition: Erscheint auch als Online-Ausgabe Ehrig, Hartmut Integration of Software Specification Techniques for Applications in Engineering Berlin, Heidelberg : Springer Berlin Heidelberg, 2004 ISBN 9783540231356
    Additional Edition: Erscheint auch als Online-Ausgabe Integration of Software Specification Techniques for Applications in Engineering Berlin : Springer, 2004 ISBN 9783540278634
    Language: English
    Subjects: Computer Science
    RVK:
    SS 4800
    Keywords: Technisches System ; Softwareentwicklung ; Softwarespezifikation ; Leitsystem ; Prozessregelung ; Softwarespezifikation ; UML ; Prozessautomation ; Petri-Netz ; Formale Spezifikationstechnik ; Verifikation ; Sicherheitskritisches System ; Softwarespezifikation ; Formale Methode ; Verifikation ; Konferenzschrift ; Aufsatzsammlung ; Aufsatzsammlung ; Aufsatzsammlung
    URL: Cover
    URL: Einführung/Vorwort
    URL: Inhaltsverzeichnis
    URL: http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3147
    URL: http://www.loc.gov/catdir/enhancements/fy0823/2004111959-d.html
    URL: Volltext  (Online Access)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    Online Access
    UB Potsdam get availability status
    Berlin VÖBB/ZLB get availability status
  • 2
    Online Resource
    Online Resource
    Integration of Software Specification Techniques for Applications in Engineering : Priority Program SoftSpez of the German Research Foundation (DFG), Final Report (2004)
    Berlin : Springer
    Details
    UID:
    gbv_744953286
    Format: Online-Ressource (X, 628 S.) , Ill., graph. Darst.
    Edition: Springer eBook Collection. Computer Science
    ISBN: 9783540278634
    Series Statement: Lecture Notes in Computer Science 3147
    Content: This book constitutes the documentation of the scientific outcome of the priority program Integration of Software Specification Techniques for Applications in Engineering sponsored by the German Research Foundation (DFG). It includes main contributions of the projects of the priority program and of additional international experts in the field. Some of the papers included were presented at the related Third International Workshop on the topic, INT 2004, held in Barcelona, Spain in March 2004. The 25 revised full papers presented together with 6 section introductions by the volume editors were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on reference case study production automation, reference case study traffic control systems, petri nets and related approaches in engineering, charts, verification, and integration modeling
    Additional Edition: ISBN 9783540231356
    Additional Edition: Erscheint auch als Druck-Ausgabe Integration of software specification techniques for applications in engineering Berlin : Springer, 2004 ISBN 3540231358
    Language: English
    Subjects: Computer Science
    RVK:
    SS 4800
    Keywords: Technisches System ; Softwareentwicklung ; Softwarespezifikation ; Leitsystem ; Prozessregelung ; Softwarespezifikation ; UML ; Prozessautomation ; Petri-Netz ; Formale Spezifikationstechnik ; Verifikation ; Sicherheitskritisches System ; Softwarespezifikation ; Formale Methode ; Verifikation ; Konferenzschrift ; Aufsatzsammlung
    DOI: 10.1007/b100778
    URL: Volltext  (lizenzpflichtig)
    URL: lizenzpflichtig
    URL: Inhaltsverzeichnis
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Online Access
    Open Access Request
    UB Potsdam
  • 3
    Book
    Book
    Integration of software specification techniques for applications in engineering : priority program Softspez of the German Research Foundation (DFG) ; final report (2004)
    Berlin u.a. :Springer,
    Details
    UID:
    almahu_BV019413711
    Format: X, 628 S. : , Ill.
    ISBN: 3-540-23135-8
    Series Statement: Lecture notes in computer science 3147 : State-of-the-art survey
    Language: English
    Subjects: Computer Science
    RVK:
    SS 4800
    Keywords: Technisches System ; Softwareentwicklung ; Softwarespezifikation ; Leitsystem ; Prozessregelung ; Softwarespezifikation ; UML ; Prozessautomation ; Petri-Netz ; Formale Spezifikationstechnik ; Verifikation ; Sicherheitskritisches System ; Softwarespezifikation ; Formale Methode ; Verifikation ; Aufsatzsammlung
    Author information: Ehrig, Hartmut, 1944-2016.
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    HU Berlin get availability status
  • 4
    Online Resource
    Online Resource
    Integration of Software Specification Techniques for Applications in Engineering : Priority Program SoftSpez of the German Research Foundation (DFG), Final Report (2004)
    Berlin, Heidelberg :Springer Berlin Heidelberg,
    Details
    UID:
    almahu_9947920569902882
    Format: X, 630 p. 126 illus. , online resource.
    ISBN: 9783540278634
    Series Statement: Lecture Notes in Computer Science, 3147
    Note: Integration of Software Specification Techniques for Applications in Engineering: Introduction and Overview of Results -- Integration of Software Specification Techniques for Applications in Engineering: Introduction and Overview of Results -- I: Reference Case Study Production Automation -- Basic Principles for Software Specification -- Challenges of Next Generation Manufacturing Systems -- Development of Hierarchical Broadcasting Software Architectures Using UML 2.0 -- An Engineer’s Workstation to Support Integrated Development of Flexible Production Control Systems -- A Formal Component Concept for the Specification of Industrial Control Systems -- II: Reference Case Study Traffic Control Systems -- Specification Methodology, Case Studies, and Experiments – An Introduction to the Subject Area of Traffic Control Systems -- Reference Case Study “Traffic Control Systems” for Comparison and Validation of Formal Specifications Using a Railway Model Demonstrator -- Precise Definition of the Single-Track Level Crossing in Radio-Based Operation in UML Notation and Specification of Safety Requirements -- Executable HybridUML and Its Application to Train Control Systems -- The Use of UML for Development of a Railway Interlocking System -- III: Petri Nets and Related Approaches in Engineering -- Process Description Languages and Methods: Introduction to the Chapter Petri Nets and Related Approaches in Engineering -- Specification and Formal Verification of Temporal Properties of Production Automation Systems -- STOP – Specification Technique of Operational Processes -- Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks -- A Guide to Modelling and Control with Modules of Signal Nets -- Conceptual Design of an Engineering Model for Product and Plant Automation -- IV: Charts -- to Subject Area “Charts” -- The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML) -- Interactive Verification of Statecharts -- Live Sequence Charts -- A Unifying Semantics for Sequential Function Charts -- V: Verification -- to Subject Area “Verification” -- “UML–ising” Formal Techniques -- Model Based Formal Verification of Distributed Production Control Systems -- Combining Formal Methods and Safety Analysis – The ForMoSA Approach -- Formal Verification of LSCs in the Development Process -- Verification of PLC Programs Given as Sequential Function Charts -- Modeling and Formal Verification of Production Automation Systems -- VI: Integration Modeling -- On Model Integration and Integration Modelling -- On the Integration of Modular Heterogeneous Specifications -- Semantical Integration of Object-Oriented Viewpoint Specification Techniques.
    In: Springer eBooks
    Additional Edition: Printed edition: ISBN 9783540231356
    Language: English
    DOI: 10.1007/b100778
    URL: http://dx.doi.org/10.1007/b100778
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    HU Berlin
  • 5
    Online Resource
    Online Resource
    Integration of Software Specification Techniques for Applications in Engineering : Priority Program SoftSpez of the German Research Foundation (DFG) Final Report (2004)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Details
    UID:
    almahu_9948621254102882
    Format: X, 630 p. 126 illus. , online resource.
    Edition: 1st ed. 2004.
    ISBN: 9783540278634
    Series Statement: Lecture Notes in Computer Science, 3147
    Note: Integration of Software Specification Techniques for Applications in Engineering: Introduction and Overview of Results -- Integration of Software Specification Techniques for Applications in Engineering: Introduction and Overview of Results -- I: Reference Case Study Production Automation -- Basic Principles for Software Specification -- Challenges of Next Generation Manufacturing Systems -- Development of Hierarchical Broadcasting Software Architectures Using UML 2.0 -- An Engineer's Workstation to Support Integrated Development of Flexible Production Control Systems -- A Formal Component Concept for the Specification of Industrial Control Systems -- II: Reference Case Study Traffic Control Systems -- Specification Methodology, Case Studies, and Experiments - An Introduction to the Subject Area of Traffic Control Systems -- Reference Case Study "Traffic Control Systems" for Comparison and Validation of Formal Specifications Using a Railway Model Demonstrator -- Precise Definition of the Single-Track Level Crossing in Radio-Based Operation in UML Notation and Specification of Safety Requirements -- Executable HybridUML and Its Application to Train Control Systems -- The Use of UML for Development of a Railway Interlocking System -- III: Petri Nets and Related Approaches in Engineering -- Process Description Languages and Methods: Introduction to the Chapter Petri Nets and Related Approaches in Engineering -- Specification and Formal Verification of Temporal Properties of Production Automation Systems -- STOP - Specification Technique of Operational Processes -- Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks -- A Guide to Modelling and Control with Modules of Signal Nets -- Conceptual Design of an Engineering Model for Product and Plant Automation -- IV: Charts -- to Subject Area "Charts" -- The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML) -- Interactive Verification of Statecharts -- Live Sequence Charts -- A Unifying Semantics for Sequential Function Charts -- V: Verification -- to Subject Area "Verification" -- "UML-ising" Formal Techniques -- Model Based Formal Verification of Distributed Production Control Systems -- Combining Formal Methods and Safety Analysis - The ForMoSA Approach -- Formal Verification of LSCs in the Development Process -- Verification of PLC Programs Given as Sequential Function Charts -- Modeling and Formal Verification of Production Automation Systems -- VI: Integration Modeling -- On Model Integration and Integration Modelling -- On the Integration of Modular Heterogeneous Specifications -- Semantical Integration of Object-Oriented Viewpoint Specification Techniques.
    In: Springer Nature eBook
    Additional Edition: Printed edition: ISBN 9783540231356
    Additional Edition: Printed edition: ISBN 9783662169025
    Language: English
    DOI: 10.1007/b100778
    URL: https://doi.org/10.1007/b100778
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    HU Berlin
Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.
Did you mean 3540213538?
Did you mean 3540131558?
Did you mean 3540201858?
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages