93 citations · 115 across the 4 of their papers we have counts for
4 papers · 1 filter
How Dataflow Diagrams Impact Software Security Analysis: an Empirical Experiment
Simon Schneider, Nicolás E. Díaz Ferreyra, Pierre-Jean Quéval +3
Models of software systems are used throughout the software development lifecycle. Dataflow diagrams (DFDs), in particular, are well-established resources for security analysis. Ma…
Foundational Oracle Patterns: Connecting Blockchain to the Off-chain World
Roman Mühlberger, Stefan Bachhofner, Eduardo Castelló Ferrer +4
Blockchain has evolved into a platform for decentralized applications, with beneficial properties like high integrity, transparency, and resilience against censorship and tampering…
Toward Architectural Knowledge Sustainability. New Opportunities to Extend the Longevity of Systems
Rafael Capilla, Elisa Yumi Nakagawa, Uwe Zdun +1
Complex software systems must be maintained for years or decades, and the effort and cost to maintain them are often high, involving continuous refactoring to ensure their longevit…
Automated Mapping of UML Activity Diagrams to Formal Specifications for Supporting Containment Checking
Faiz UL Muram, Huy Tran, Uwe Zdun
Business analysts and domain experts are often sketching the behaviors of a software system using high-level models that are technology- and platform-independent. The developers wi…