Proceedings of the 13th International Conference on Computer Engineering and Networks
Proceedings of the 13th International Conference on Computer Engineering and Networks

Author: Yonghong Zhang

Publisher: Springer Nature

Published: 2024-01-03

Total Pages: 585

ISBN-13: 9819992397

DOWNLOAD EBOOK

This book aims to examine innovation in the fields of computer engineering and networking. The text covers important developments in areas such as artificial intelligence, machine learning, information analysis, communication system, computer modeling, internet of things. This book presents papers from the 13th International Conference on Computer Engineering and Networks (CENet2023) held in Wuxi, China on November 3-5, 2023.

Proceedings of the 13th International Conference on Computer Engineering and Networks
Proceedings of the 13th International Conference on Computer Engineering and Networks

Author: Yonghong Zhang

Publisher: Springer Nature

Published: 2024-01-03

Total Pages: 491

ISBN-13: 9819992478

DOWNLOAD EBOOK

This book aims to examine innovation in the fields of computer engineering and networking. The text covers important developments in areas such as artificial intelligence, machine learning, information analysis, communication system, computer modeling, internet of things. This book presents papers from the 13th International Conference on Computer Engineering and Networks (CENet2023) held in Wuxi, China on November 3-5, 2023.

Software Language Engineering
Software Language Engineering

Author: Benoit Combemale

Publisher: Springer

Published: 2014-09-23

Total Pages: 0

ISBN-13: 9783319112442

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 7th International Conference on Software Language Engineering, SLE 2014, held in Västerås, Sweden, in September 2014. The 19 revised full papers presented together with 1 invited paper were carefully reviewed and selected from 61 initial submissions. The papers observe software languages from different and yet complementary perspectives: programming languages, model driven engineering, domain specific languages, semantic web, and from different technological spaces: context-free grammars, object-oriented modeling frameworks, rich data, structured data, object-oriented programming, functional programming, logic programming, term-rewriting, attribute grammars, algebraic specification, etc.

Software Engineering and Formal Methods
Software Engineering and Formal Methods

Author: Radu Calinescu

Publisher: Springer

Published: 2015-08-23

Total Pages: 371

ISBN-13: 3319229699

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 13th International Conference on Software Engineering and Formal Methods, SEFM 2015, held in York, UK, in September 2015. The 17 full papers presented together with 2 invited and 6 short papers were carefully reviewed and selected from 96 submissions. The topics of interest included the following aspects of software engineering and formal methods: program verification, testing, certification, formal specification and proof, testing and model checking, planning, modelling, and model transformation.

Fundamental Approaches to Software Engineering
Fundamental Approaches to Software Engineering

Author: David S. Rosenblum

Publisher: Springer

Published: 2010-03-10

Total Pages: 395

ISBN-13: 3642120296

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 13th International Conference on Fundamental Approaches to Software Engineering, FASE 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software. The 25 papers presented were carefully reviewed and selected from 103 submissions. The volume also contains one invited talk. The topics covered are model transformation, software evolution, graph transformation, modeling concepts, verification, program analysis, testing and debugging, and performance modeling and analysis.