عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
3642367569
شابک
9783642367564
شماره کتابشناسی ملی
شماره
b567821
عنوان و نام پديدآور
عنوان اصلي
System analysis and modeling:
نام عام مواد
[Book]
ساير اطلاعات عنواني
theory and practice : 7th international workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012 : revised papers
نام نخستين پديدآور
Oeystein Haugen, Rick Reed, Reinhard Gotzhein (eds.).
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin
نام ناشر، پخش کننده و غيره
Springer
تاریخ نشرو بخش و غیره
2013
مشخصات ظاهری
نام خاص و کميت اثر
x, 248 pages : illustrations ; 24 cm.
فروست
عنوان فروست
Lecture notes in computer science, 7744.; LNCS sublibrary., SL 2,, Programming and software engineering.
يادداشت کلی
متن يادداشت
International conference proceedings.
یادداشتهای مربوط به مندرجات
متن يادداشت
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.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer Communication Networks -- Congresses.
موضوع مستند نشده
Computer science -- Congresses.
موضوع مستند نشده
Information systems -- Congresses.
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Oeystein Haugen, Rick Reed, Reinhard Gotzhein (eds.).
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
