by Dragos Truscan | Jan 14, 2019 | article
Summary of the new research contribution to MegaMart2: A Contract-Based Approach to Scheduling and Verification of Dynamic Dataflow Networks by Jonatan Wiik, Johan Ersfolk and Marina Waldén presented at MEMOCODE’18 (16th ACM-IEEE International Conference on...
by Dragos Truscan | Nov 26, 2018 | article
Software development is nowadays largely the process of integrating existing features and reusing them by writing client code interfacing to one or more Application Programming Interfaces (API). Thus, APIs are the key to software reuse: they allow programmers beyond...
by Dragos Truscan | Nov 6, 2018 | article
Model Driven Engineering (MDE) [1] promotes models as cornerstone components in software development. Verification and validation of models become important activities to ensure the quality of a system. Effective model verification and validation methods can reduce...
by Dragos Truscan | Apr 30, 2018 | Deliverable
After 6 months of work, the first deliverable of Work Package 3 – MegaM@Rt Runtime Analysis has been released and published on the website. WP3 focuses on defining new methods and tools for creating and managing models at runtime. These methods should be able to...
by Dragos Truscan | Apr 25, 2018 | article
Online model-based testing is an important method for validation of software systems, which checks on the fly the conformance between the behavioral specification of a system and its implementation. In contrast to generating and running offline tests, online testing...
