عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
364237056X
شابک
3642370578
شابک
9783642370564
شابک
9783642370571
شماره کتابشناسی ملی
شماره
b567851
عنوان و نام پديدآور
عنوان اصلي
Fundamental approaches to software engineering :
نام عام مواد
[Book]
ساير اطلاعات عنواني
16th International Conference : proceedings
نام نخستين پديدآور
FASE 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013 ; Vittorio Cortellessa [und weitere] (eds.).
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin
نام ناشر، پخش کننده و غيره
Springer
تاریخ نشرو بخش و غیره
2013
مشخصات ظاهری
نام خاص و کميت اثر
376 Seiten : Illustrationen.
فروست
عنوان فروست
Lecture notes in computer science, 7793 : Advanced research in computing and software science
یادداشتهای مربوط به مندرجات
متن يادداشت
Towards a Distributed Modeling Process Based on Composite Models.- Change Propagation due to Uncertainty Change.- A Model-Based Synthesis Process for Choreography Realizability Enforcement.- On Extracting Feature Models from Sets of Valid Feature Combinations.- On the Empirical Evaluation of Fault Localization Techniques for Spreadsheets.- Quality of Merge-Refactorings for Product Lines.- Towards Understanding the Behavior of Classes Using Probabilistic Models of Program Inputs.- Discovering Branching Conditions from Business Process ExecutionLogs.- Exposing Behavioral Differences in Cross-Language API MappingRelations.- Explicit-State Software Model Checking Based on CEGAR andInterpolation.- Design Pattern-Based Extension of Class Hierarchies to Support Runtime Invariant Checks.- Augmenting Sequence Enumeration with String-Rewriting for Requirements Analysis and Behavioral Specification.- Scenario Realizability with Constraint Optimization.- Andromeda: Accurate and Scalable Security Analysis of Web Applications.- VerChor: A Framework for Verifying Choreographies.- Javanni: A Verifier for JavaScript.- Model-Based Implementation of Parallel Real-Time Systems.- A Grey-Box Approach for Automated GUI-Model Generation of MobileApplications.- A Mechanized Model for CAN Protocols.- Enforcing QVT-R with mu-Calculus and Games.- Implementing QVT-R Bidirectional Model Transformations Using Alloy.- Abstraction and Training of Stochastic Graph Transformation Systems.- Discovering Math APIs by Mining Unit Tests.- POGen: A Test Code Generator Based on Template Variable Coveragein Gray-Box Integration Testing for Web Applications.- Testing with Inputs and Outputs in CSP.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Software Engineering
موضوع مستند نشده
Software engineering -- Congresses.
موضوع مستند نشده
Software engineering.
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
FASE 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013 ; Vittorio Cortellessa [und weitere] (eds.).
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Vittorio Cortellessa
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
