Total Books: 1 - 5 /5
Formal Methods for Open Object-Based Distributed Systems
This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open ...
Lee mas
Fundamental Approaches to Software Engineering 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
This book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, ...
Lee mas
How to Engineer Software: A Model-Based Approach / Steve Tockey
The book promotes development scalability through domain partitioning and subdomain partitioning. It also explores software ...
Lee mas
Interactive Systems Design, Specification, and Verification
This book constitutes the thoroughly refereed post-proceedings of the 13th International Workshop on Design, Specification, ...
Lee mas
Transactions on Petri Nets and Other Models of Concurrency I
It contains teaching concurrency; process languages; process mining; software engineering; state space visualisation techniques; ...
Lee mas
Total Books: 1 - 5 /5
