Software Technologies: Applications and Foundations Software Technologies: Applications and Foundations

Software Technologies: Applications and Foundations

STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers

Martina Seidl & Steffen Zschaler
    • 39,99 US$
    • 39,99 US$

Lời Giới Thiệu Của Nhà Xuất Bản

This book contains the thoroughly refereed technical papers presented in six workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2017, held in Marburg, Germany, in July 2017. The 15 full and 22 short papers presented were carefully reviewed and selected from 37 submissions.
The events whose papers are included in this volume are: BigMDE 2017: 5th International Workshop on Scalable Model Driven Engineering
 GCM 2017: 8th International Workshop on Graph Computation Models
GRAND 2017: 1st International Workshop on Grand Challenges in Modeling
MORSE 2017: 4th International Workshop on Model-driven Robot Software EngineeringOCL 2017: 17th International Workshop in OCL and Textual Modeling
STAF Projects Showcase 2017: 3rd event dedicated to international and national project dissemination and cooperation

THỂ LOẠI
Máy Vi Tính & Internet
ĐÃ PHÁT HÀNH
2018
29 tháng 1
NGÔN NGỮ
EN
Tiếng Anh
ĐỘ DÀI
442
Trang
NHÀ XUẤT BẢN
Springer International Publishing
NGƯỜI BÁN
Springer Nature B.V.
KÍCH THƯỚC
7,6
Mb

Thêm Sách Tương Tự

Model-Driven Engineering and Software Development Model-Driven Engineering and Software Development
Model-Driven Engineering and Software Development
2019
Model Driven Engineering Languages and Systems Model Driven Engineering Languages and Systems
Model Driven Engineering Languages and Systems
2011
Software Technologies: Applications and Foundations Software Technologies: Applications and Foundations
Software Technologies: Applications and Foundations
2016
Modelling Foundations and Applications Modelling Foundations and Applications
Modelling Foundations and Applications
2018
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
2016
Model-Driven Engineering and Software Development Model-Driven Engineering and Software Development
Model-Driven Engineering and Software Development
2018

Sách Khác Của Martina Seidl & Steffen Zschaler

Theory and Applications of Satisfiability Testing – SAT 2020 Theory and Applications of Satisfiability Testing – SAT 2020
Theory and Applications of Satisfiability Testing – SAT 2020
2020