Integration of Software Specification Techniques for Applications in Engineering - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540231356, 9783540278634

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Specification Methodology, Case Studies, and Experiments – An Introduction to the Subject Area of Traffic Control Systems

Integration of Software Specification Techniques for Applications in Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-27863-4_7 ◽

2004 ◽

pp. 89-95 ◽

Cited By ~ 1

Author(s):

Eckehard Schnieder

Keyword(s):

Control Systems ◽

Case Studies ◽

Traffic Control ◽

Subject Area ◽

The Subject ◽

Specification Methodology

Download Full-text

Challenges of Next Generation Manufacturing Systems

Integration of Software Specification Techniques for Applications in Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-27863-4_3 ◽

2004 ◽

pp. 23-28 ◽

Cited By ~ 4

Author(s):

Paul Valckenaers

Keyword(s):

Manufacturing Systems ◽

Next Generation

Download Full-text

Introduction to Subject Area “Verification”

Integration of Software Specification Techniques for Applications in Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-27863-4_23 ◽

2004 ◽

pp. 419-422

Author(s):

Frank Ortmeier ◽

Wolfgang Reif ◽

Gerhard Schellhorn

Keyword(s):

Subject Area

Download Full-text

Process Description Languages and Methods: Introduction to the Chapter Petri Nets and Related Approaches in Engineering

Integration of Software Specification Techniques for Applications in Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-27863-4_12 ◽

2004 ◽

pp. 199-205 ◽

Cited By ~ 1

Author(s):

Jörg Desel

Keyword(s):

Petri Nets ◽

Description Languages

Download Full-text

The Use of UML for Development of a Railway Interlocking System

Integration of Software Specification Techniques for Applications in Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-27863-4_11 ◽

2004 ◽

pp. 174-198 ◽

Cited By ~ 5

Author(s):

Karol Rástočný ◽

Aleš Janota ◽

Jiří Zahradník

Download Full-text

Specification and Formal Verification of Temporal Properties of Production Automation Systems

Integration of Software Specification Techniques for Applications in Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-27863-4_13 ◽

2004 ◽

pp. 206-226 ◽

Cited By ~ 5

Author(s):

Stephan Flake ◽

Wolfgang Müller ◽

Ulrich Pape ◽

Jürgen Ruf

Keyword(s):

Formal Verification ◽

Temporal Properties ◽

Automation Systems ◽

Production Automation

Download Full-text

The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML)

Integration of Software Specification Techniques for Applications in Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-27863-4_19 ◽

2004 ◽

pp. 325-354 ◽

Cited By ~ 47

Author(s):

David Harel ◽

Hillel Kugler

Download Full-text

“UML–ising” Formal Techniques

Integration of Software Specification Techniques for Applications in Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-27863-4_24 ◽

2004 ◽

pp. 423-450 ◽

Cited By ~ 6

Author(s):

Dines Bjørner ◽

Chris W. George ◽

Anne E. Haxthausen ◽

Christian Krog Madsen ◽

Steffen Holmslykke ◽

...

Keyword(s):

Formal Techniques

Download Full-text

Semantical Integration of Object-Oriented Viewpoint Specification Techniques

Integration of Software Specification Techniques for Applications in Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-27863-4_32 ◽

2004 ◽

pp. 602-626 ◽

Cited By ~ 6

Author(s):

Benjamin Braatz ◽

Markus Klein ◽

Gunnar Schröter

Keyword(s):

Object Oriented ◽

Specification Techniques

Download Full-text

Verification of PLC Programs Given as Sequential Function Charts

Integration of Software Specification Techniques for Applications in Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-27863-4_28 ◽

2004 ◽

pp. 517-540 ◽

Cited By ~ 45

Author(s):

Nanette Bauer ◽

Sebastian Engell ◽

Ralf Huuck ◽

Sven Lohmann ◽

Ben Lukoschus ◽

...

Download Full-text

Integration of Software Specification Techniques for Applications in Engineering - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Specification Methodology, Case Studies, and Experiments – An Introduction to the Subject Area of Traffic Control Systems

Challenges of Next Generation Manufacturing Systems

Introduction to Subject Area “Verification”

Process Description Languages and Methods: Introduction to the Chapter Petri Nets and Related Approaches in Engineering

The Use of UML for Development of a Railway Interlocking System

Specification and Formal Verification of Temporal Properties of Production Automation Systems

The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML)

“UML–ising” Formal Techniques

Semantical Integration of Object-Oriented Viewpoint Specification Techniques

Verification of PLC Programs Given as Sequential Function Charts

Integration of Software Specification Techniques for Applications in Engineering - Lecture Notes in Computer Science
Latest Publications