Prototype-driven development of web applications with DyWA
In this paper we present an approach to the user-driven development of process-oriented
web applications that combines business process modeling with user-side application …
web applications that combines business process modeling with user-side application …
Scientific workflows with the jABC framework: A review after a decade in the field
The jABC is a framework for process modelling and execution according to the XMDD
(eXtreme model-driven design) paradigm, which advocates the rigorous use of user-level …
(eXtreme model-driven design) paradigm, which advocates the rigorous use of user-level …
The AI Act and some implications for develo** AI-based systems
M Leucker - The Combined Power of Research, Education, and …, 2024 - Springer
This paper presents several challenges when develo** AI-based software systems for
potentially safety-critical domains in the European jurisdiction. Starting with the legal …
potentially safety-critical domains in the European jurisdiction. Starting with the legal …
Unveiling modeling patterns in workflow sketches: insights for designing an abstract workflow language for scientific computing
AL Lamprecht - The Combined Power of Research, Education, and …, 2024 - Springer
Scientific workflows are structured sequences of computational or data processing steps
commonly used to automate complex scientific analyses. Abstract workflows, which provide …
commonly used to automate complex scientific analyses. Abstract workflows, which provide …
[PDF][PDF] Challenges for AI in healthcare systems
This paper overviews the challenges of using artificial intelligence (AI) methods when
building healthcare systems, as discussed at the AIsola Conference in 2023. It focuses on …
building healthcare systems, as discussed at the AIsola Conference in 2023. It focuses on …
The softer side of a formal methods researcher
BD Floyd - The Combined Power of Research, Education, and …, 2024 - Springer
In this article I present the softer side of Professor Tiziana Margaria, who is more commonly
known for her work in computer science research. Focusing on Formal Methods and …
known for her work in computer science research. Focusing on Formal Methods and …
From computational thinking to constructive design with simple models
T Margaria - … Applications of Formal Methods, Verification and …, 2018 - Springer
Computational Thinking has advocated for a decade the importance of a kind of education
that elicits and fosters the understanding of computational concepts that are deemed …
that elicits and fosters the understanding of computational concepts that are deemed …
Modeling directly executable processes for healthcare professionals with xmdd
While various modeling languages emerged to express activity sequences and service
interactions, current standards and best practices in workflow and process description and …
interactions, current standards and best practices in workflow and process description and …
Knowledge management for inclusive system evolution
T Margaria - Transactions on Foundations for Mastering Change I, 2016 - Springer
When systems evolve in today's complex, connected, and heterogeneous IT landscapes,
waves of change ripple in every direction. Sometimes a change mandates other changes …
waves of change ripple in every direction. Sometimes a change mandates other changes …
The Softer Side of a Formal Methods
BD Floyd - The Combined Power of Research, Education, and …, 2025 - books.google.com
In this article I present the softer side of Professor Tiziana Margaria, who is more commonly
known for her work in computer science research. Focusing on Formal Methods and …
known for her work in computer science research. Focusing on Formal Methods and …