Integration of Software Specification Techniques for Applications in Engineering

Langue : anglais

Edité par Springer, Springer Sep 2004, 2004

3540231358 / 9783540231356

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagnebuchversandmimpf2000

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 23 janvier 2017

Livre broché

Etat: Neuf

EUR 53,49

EUR 60,00 expédition 
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible

Ajouter au panier
Retours gratuits sous 30 jours

A propos de cet article

This item is printed on demand - Print on Demand Titel. Neuware -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 andPlant 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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 644 pp. Englisch.…

N° de réf. du vendeur 9783540231356

Titre
Integration of Software Specification Techniques for Applications in Engineering
Auteur
Hartmut Ehrig
Éditeur
Springer, Springer Sep 2004
Année de publication
2004
État de l'article
Neu
Reliure
Taschenbuch
Langue
anglais
ISBN à 10 chiffres
3540231358
ISBN à 13 chiffres
9783540231356
Poids de l'article
961 grammes
Dimensions
235x155x35 mm

buchversandmimpf2000

Emtmannsberg, BAYE, Allemagne

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 23 janvier 2017

Frais d'expédition de Allemagne vers Etats-Unis

Article60 à 60 jours ouvrés60 à 60 jours ouvrés
Premier articleEUR 60,00EUR 75,00
Les délais de livraison sont fixés par les vendeurs et varient en fonction du transporteur et du lieu. Les commandes transitant par les douanes peuvent être retardées et les acheteurs sont responsables de tous les droits ou frais associés. Les vendeurs peuvent vous contacter au sujet de frais supplémentaires afin de couvrir toute augmentation des coûts d'expédition de vos articles.

Modes de paiement

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Chèque
  • Paypal

Description de la boutique

Impressum Thorsten Retsch Buchversand Mimpf2000 Oberölschnitz 16 95517 Emtmannsberg Deutschland Telefon: 09209-2023188 Email: mimpf2000@online.de USt-ID-Nr.: DE 235096871 Wir führen gebrauchte Bücher aus allen Sparten der Literatur

Spécialité

Modernes Antiquariat - Bücher von 1960 bis heute

Profil professionnel du vendeur

buchversandmimpf2000

Allemagne