Formalisms for Reuse and Systems Integration

Testing with Buchi Automata: Transition Coverage Metrics, Performance Analysis, and Property Refinement.- Forward and Backward Analysis of Weak Sequencing Specification.- A CEGAR Tool for the Reachability Analysis of PLC-Controlled Plants using Hybrid Automata.- On the Formalization of Cardinal Points of Optical Systems.- Towards a General Model to Handle Multi-Enabledness in Time Petri Nets.- Time Properties Verification of Real-Time Systems using UML/MARTE/OCL-RT.- Formal Modeling and Analysis of Business Process Timed Constraints.- A Model-based Approach for User Requirements Decomposition and Component Selection.

• Format: Paperback
• Language: English
• ISBN: 3319165763
• ISBN13: 9783319165769
• Release Date: April 2015
• Publisher: Springer
• Length: 295 Pages
• Weight: 0.96 lbs.
• Dimensions: 0.7" x 6.1" x 9.2"