Integration of software specification techniques for applications in engineering : Priority Program SoftSpez of the German Research Foundation (DFG) : final report
Enregistré dans:
| 主要作者: | |
|---|---|
| 企業作者: | |
| 其他作者: | , |
| 格式: | Livre numérique |
| 語言: | Anglais |
| 出版: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| 叢編: | Lecture notes in computer science
3147 |
| 主題: | |
| 在線閱讀: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| 提示: |
la préface indique "it contains new contributions of international experts in this research area, some of which were presented at the third international workshop INT 2004 on Integration of Specification Techniques for Applications in Engineering Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Integration of software specification techniques for applications in engineering, Priority Program SoftSpez of the German Research Foundation (DFG), final report, Hartmut Ehrig, Werner Damm, Jörg Desel... [et al.] (eds.), Berlin, Springer, 2004, 1 vol. (X-628 p.), Lecture notes in computer science, 3-540-23135-8 • Integration of Software Specification Techniques for Applications in Engineering, Texte imprimé, 9783662169025 |
| LEADER | 05609nam a22004457a 4500 | ||
|---|---|---|---|
| 001 | 971946 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155215736 | ||
| 020 | |a 9783540278634 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 100 | 1 | |a Ehrig, Hartmut, |d 1944- | |
| 245 | 1 | 0 | |a Integration of software specification techniques for applications in engineering : |b Priority Program SoftSpez of the German Research Foundation (DFG) : final report |c [edited by] Hartmut Ehrig, Werner Damm, Jörg Desel... [et al.]. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 3147 |x 1611-3349 | |
| 500 | |a la préface indique "it contains new contributions of international experts in this research area, some of which were presented at the third international workshop INT 2004 on Integration of Specification Techniques for Applications in Engineering | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a 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. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Technique de la production | ||
| 650 | |a Informatique | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Innovation | ||
| 650 | |a Logiciels |x Développement | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Damm, Werner, |d 1952- |4 pbd | |
| 700 | 1 | |a Desel, Jörg, |d 1959- |4 pbd | |
| 710 | 2 | |a Deutsche Forschungsgemeinschaft. |4 pbd | |
| 776 | 0 | |0 081941935 |t Integration of software specification techniques for applications in engineering |o Priority Program SoftSpez of the German Research Foundation (DFG) |o final report |f Hartmut Ehrig, Werner Damm, Jörg Desel... [et al.] (eds.) |c Berlin |n Springer |d 2004 |p 1 vol. (X-628 p.) |s Lecture notes in computer science |z 3-540-23135-8 | |
| 776 | 0 | |t Integration of Software Specification Techniques for Applications in Engineering |b Texte imprimé |z 9783662169025 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/b100778 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-BQ1HTS62-J |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:750646918 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/b100778 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:753997754 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/b100778 |z Accès INSA CVL | |
| 997 | |0 971946 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||