Rigorous Methods for Software Construction and Analysis

Rigorous Methods for Software Construction and Analysis

Author: Jean-Raymond Abrial

Publisher: Springer

Published: 2010-01-10

Total Pages: 248

ISBN-13: 3642114474

DOWNLOAD EBOOK

This Festschrift volume, published in honor of Egon Börger, contains 14 papers from a Dagstuhl Seminar, that cover a wide range of applied research, spanning from theoretical and methodological foundations to practical applications.


Logic, Computation and Rigorous Methods

Logic, Computation and Rigorous Methods

Author: Alexander Raschke

Publisher: Springer Nature

Published: 2021-06-04

Total Pages: 367

ISBN-13: 3030760200

DOWNLOAD EBOOK

This Festschrift was published in honor of Egon Börger on the occasion of his 75th birthday. It acknowledges Prof. Börger's inspiration as a scientist, author, mentor, and community organizer. Dedicated to a pioneer in the fields of logic and computer science, Egon Börger's research interests are unusual in scope, from programming languages to hardware architectures, software architectures, control systems, workflow and interaction patterns, business processes, web applications, and concurrent systems. The 18 invited contributions in this volume are by leading researchers in the areas of software engineering, programming languages, business information systems, and computer science logic.


Rigorous State-Based Methods

Rigorous State-Based Methods

Author: Silvia Bonfanti

Publisher: Springer Nature

Published: 2024

Total Pages: 405

ISBN-13: 3031637909

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 10th International Conference on Rigorous State-Based Methods, ABZ 2024, held in Bergamo, Italy, during June 25-28, 2024. The 29 papers included in this volume were carefully reviewed and selected from 47 submissions. They were organized in topical sections as follows: research papers; short research papers; case study; doctoral symposium.


Theory and Practice of Model Transformations

Theory and Practice of Model Transformations

Author: Pieter Van Gorp

Publisher: Springer

Published: 2016-06-21

Total Pages: 211

ISBN-13: 331942064X

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 9th International Conference on Model Transformation, ICMT 2016, held in Vienna, Austria, in July 2016, as Part of STAF 2015, the federation of a number of the leading conferences on software technologies. The 13 revised papers were carefully selected from 36 submissions. The papers are organized in topical sections on model transformation languages, model transformation tools, developing model transformations, applications of model transformations, and looking ahead.


Theory and Practice of Model Transformations

Theory and Practice of Model Transformations

Author: Antonio Vallecillo

Publisher: Springer Science & Business Media

Published: 2008-06-17

Total Pages: 271

ISBN-13: 3540699260

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the First International Conference on Theory and Practice of Model Transformations, ICMT 2008, held in Zurich, Switzerland, in July 2008. The 17 revised full papers presented were carefully reviewed and selected from 54 submissions. The scope of the contributions ranges from theoretical and methodological topics to implementation issues and applications. The papers include different issues related with: process and engineering of model transformations; model transformations supporting concurrency and time; matching and mapping within model transformation rules; language support for model transformation reuse and modularity; and correctness and analysis of model transformations.


Modelling Web-based Learning Ecosystems for Aggregation and Reuse

Modelling Web-based Learning Ecosystems for Aggregation and Reuse

Author: Kai Michael Höver

Publisher: Cuvillier Verlag

Published: 2015-04-28

Total Pages: 292

ISBN-13: 3736949898

DOWNLOAD EBOOK

In der E-Learning-Domäne bilden sowohl die Lernressourcen, Lehrende und Lernende als auch die stattfindenden Lernprozesse in ihrer Gesamtheit Lernökosysteme. Diese Dissertation untersucht die Modellierung von Lernökosystemen zur Unterstützung ihrer Aggregation und Wiederverwendung. Zur Erreichung dieses Ziels müssen Modelle von Lernökosystemen die Aggregierbarkeit, Austauschbarkeit, Interoperabilität und granulare Wiederverwendbarkeit ihrer Daten unterstützen. Auf Basis durchgeführter Nutzerstudien werden Konzepte digitaler Modelle von Lernökosystemen, sogenannte LOOCs (Linked Open Online Courses), entwickelt. Dabei werden insbesondere Technologien des Semantic Webs sowie Linked-Data-Konzepte betrachtet. Die entwickelten ontologischen Modelle bilden die Basis für mehrere E-Learning-Applikationen, welche die Tragfähigkeit der Konzepte sowie eine hohe Nutzerakzeptanz zeigen. Ferner wird ein formales Interpretermodell für CSCL (Computer-Supported Collaborative Learning) Scripts zur Beschreibung von Lernprozessen, welches mit Hilfe von Abstract State Machines spezifiziert wurde, vorgestellt. In the e-learning domain, the learning resources, teachers and learners and the active learning processes in their entirety construct the learning ecosystems. This thesis examines the modelling of learning ecosystems to support their aggregation and reuse. To achieve this goal, learning ecosystem models must support aggregation, compatibility, interoperability and granular re-usability of their data. Through user studies, digital model concepts of learning ecosystems, i.e. so-called LOOCs (linked open online courses), were developed. In particular, Semantic Web technologies and Linked Data concepts are considered within the context. The developed ontological models form the basis for a number of e-learning applications that show the viability of the concepts as well as a high user acceptance. Further, a formal interpreter model for CSCL (Computer-Supported Collaborative Learning) Scripts for the description of learning processes specified by using Abstract State Machines is presented.


ECOOP 2010 -- Object-Oriented Programming

ECOOP 2010 -- Object-Oriented Programming

Author: Theo D'Hondt

Publisher: Springer

Published: 2010-06-29

Total Pages: 610

ISBN-13: 3642141072

DOWNLOAD EBOOK

Annotation This book constitutes the refereed proceedings of the 24th European Conference on Object-Oriented Programming, ECOOP 2010, held in Maribor, Slovenia, in June 2010. The 24 revised full papers, presented together with one extended abstract were carefully reviewed and selected from a total of 108 submissions. The papers cover topics such as programming environments and tools, theoretical foundations of programming languages, formal methods, concurrency models in Java, empirical methods, type systems, language design and implementation, concurrency abstractions and experiences.


Specification Languages for Preserving Consistency between Models of Different Languages

Specification Languages for Preserving Consistency between Models of Different Languages

Author: Kramer, Max Emanuel

Publisher: KIT Scientific Publishing

Published: 2019-01-30

Total Pages: 476

ISBN-13: 3731507846

DOWNLOAD EBOOK

When complex IT systems are being developed, the usage of several programming and modelling languages can lead to inconsistencies that yield faulty designs and implementations. To address this problem, this work contributes a classification of consistency preservation challenges and an approach for preserving consistency. It is formalized using set theory and monitors changes to avoid matching and diffing problems. Three new languages that follow this preservation approach are presented.


Enterprise, Business-Process and Information Systems Modeling

Enterprise, Business-Process and Information Systems Modeling

Author: Khaled Gaaloul

Publisher: Springer

Published: 2015-05-26

Total Pages: 505

ISBN-13: 331919237X

DOWNLOAD EBOOK

This book contains the refereed proceedings of the 16th International Conference on Business Process Modeling, Development and Support, BPMDS 2015, and the 20th International Conference on Exploring Modeling Methods for Systems Analysis and Design, EMMSAD 2015, held together with the 27th International Conference on Advanced Information Systems Engineering (CAiSE 2015) in Stockholm, Sweden, in June 2015. The 17 full papers accepted for BPMDS were selected from 43 submissions and cover a wide spectrum of issues related to business process development, modeling, and support. They are grouped into topical sections on enabling value creation, human-centric paradigms, mining for processes, declarative approaches, understanding and sharing, quality and security issues, and new areas for BPMDS. The 12 full and three short papers accepted for EMMSAD were chosen from 33 submissions and focus on exploring, evaluating, and enhancing modeling methods and methodologies for the analysis and design of information systems, enterprises, and business processes. They are grouped into topical sections on fundamental issues in modeling, requirements and regulations, enterprise and software ecosystem modeling, information and process model quality, meta-modeling and domain-specific modeling and model composition, modeling of architecture and design, and novel applications of modeling.


Objects, Models, Components, Patterns

Objects, Models, Components, Patterns

Author: Jan Vitek

Publisher: Springer

Published: 2010-06-29

Total Pages: 319

ISBN-13: 3642139531

DOWNLOAD EBOOK

This book constitutes the proceedings of the 48th International Conference on Objects, Models, Components, Patterns, held in Málaga, Spain, in June/July 2010.