Open Access
From concurrent state machines to reliable multi-threaded Java code
Reads0
Chats0
TLDR
The final author version and the galley proof are versions of the publication after peer review and the final published version features the final layout of the paper including the volume, issue and page numbers.Abstract:
• A submitted manuscript is the author's version of the article upon submission and before peer-review. There can be important differences between the submitted version and the official published version of record. People interested in the research are advised to contact the author for the final version of the publication, or visit the DOI to the publisher's website. • The final author version and the galley proof are versions of the publication after peer review. • The final published version features the final layout of the paper including the volume, issue and page numbers.read more
Citations
More filters
An Empirical Evaluation of Feedback-Driven Software Development
TL;DR: This thesis culminates in the finding that feedback loops are the characterizing criterion of contemporary software development, and its model is flexible enough to accommodate a broad band of modern workflows, despite large variances in how projects use and configure parts of FDD.
The impact of API evolution on API consumers and how this can be affected by API producers and language designers
TL;DR: This thesis investigates the relationship between API consumers, API producers, and language designers to understand how each has a role to play in reducing the burden of dealing with API evolution.
DissertationDOI
Session-based concurrency: between operational and declarative views
TL;DR: Correct translations between programming languages are developed to demonstrate that the operational features of communication-based programs can be correctly represented by languages with declarative features, in which the governing conditions of the program can be adequately described.
Model-based design of baggage handling systems
TL;DR: The “Timeless” controller “Sync-less” controllers that combine the power of the internet with the simplicity of a traditional controller.
Algorithms for visualization in digital humanities
TL;DR: The final author version and the galley proof are versions of the publication after peer review that features the final layout of the paper including the volume, issue and page numbers.
References
More filters
Journal ArticleDOI
Communicating sequential processes
TL;DR: It is suggested that input and output are basic primitives of programming and that parallel composition of communicating sequential processes is a fundamental program structuring method.
Book
Principles of Model Checking
TL;DR: Principles of Model Checking offers a comprehensive introduction to model checking that is not only a text suitable for classroom use but also a valuable reference for researchers and practitioners in the field.
Book
The Java Language Specification
TL;DR: The Java Language Specification, Second Edition is the definitive technical reference for the Java programming language and provides complete, accurate, and detailed coverage of the syntax and semantics of the Java language.
Proceedings ArticleDOI
Separation logic: a logic for shared mutable data structures
TL;DR: An extension of Hoare logic that permits reasoning about low-level imperative programs that use shared mutable data structure is developed, including extensions that permit unrestricted address arithmetic, dynamically allocated arrays, and recursive procedures.
Book
MDA Explained: The Model Driven Architecture¿: Practice and Promise
TL;DR: Insight is given in what MDA means and what you can achieve, both today and in the future, thereby raising the level of maturity of the IT industry.