menu
{ "item_title" : "System Analysis and Modeling", "item_author" : [" Oystein Haugen", "Rick Reed", "Reinhard Gotzhein "], "item_description" : "Models '67 Revisited.- Identification and Selection of Interaction Test Scenarios for Integration Testing.- An Approach to Specify and Analyze Goal Model Families.- Real-Time Tasks in SDL.- Prototyping Domain Specific Languages as Extensions of a General Purpose Language.- Behavioral Fuzzing Operators for UML Sequence Diagrams.- Relativity and Abstract State Machines.- From Earthquake Detection to Traffic Surveillance - About Information and Communication Infrastructures for Smart Cities.- On Deriving Detailed Component Design from High-Level Service Specification.- Type-Safe Symmetric Composition of Metamodels Using Templates.- Towards Correct Product Derivation in Model-Driven Product Lines.- Simulation Configuration Modeling of Distributed Communication Systems.- GRL Model Validation: A Statistical Approach.- Configuration-Based Service Availability Analysis for Middleware Managed Applications.", "item_img_path" : "https://covers1.booksamillion.com/covers/bam/3/64/236/756/3642367569_b.jpg", "price_data" : { "retail_price" : "72.00", "online_price" : "72.00", "our_price" : "72.00", "club_price" : "72.00", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : "" } }
System Analysis and Modeling|Oystein Haugen

System Analysis and Modeling : Theory and Practice: 7th International Workshop, Sam 2012, Innsbruck, Austria, October 1-2, 2012, Revised Selected Paper

local_shippingShip to Me
In Stock.
FREE Shipping for Club Members help

Overview

Models '67 Revisited.- Identification and Selection of Interaction Test Scenarios for Integration Testing.- An Approach to Specify and Analyze Goal Model Families.- Real-Time Tasks in SDL.- Prototyping Domain Specific Languages as Extensions of a General Purpose Language.- Behavioral Fuzzing Operators for UML Sequence Diagrams.- Relativity and Abstract State Machines.- From Earthquake Detection to Traffic Surveillance - About Information and Communication Infrastructures for Smart Cities.- On Deriving Detailed Component Design from High-Level Service Specification.- Type-Safe Symmetric Composition of Metamodels Using Templates.- Towards Correct Product Derivation in Model-Driven Product Lines.- Simulation Configuration Modeling of Distributed Communication Systems.- GRL Model Validation: A Statistical Approach.- Configuration-Based Service Availability Analysis for Middleware Managed Applications.

This item is Non-Returnable

Details

  • ISBN-13: 9783642367564
  • ISBN-10: 3642367569
  • Publisher: Springer
  • Publish Date: February 2013
  • Dimensions: 9.21 x 6.14 x 0.55 inches
  • Shipping Weight: 0.81 pounds
  • Page Count: 249

Related Categories

You May Also Like...

    1

BAM Customer Reviews