Dirk DraheimBooksBusiness Process TechnologyTrends in enterprise application architectureGeneralized Jeffrey ConditionalizationForm-Oriented Analysis: A New Methodology to Model Form-Based ApplicationsPathways in Software EngineeringForm-Oriented AnalysisSemantics of the Probabilistic Typed Lambda CalculusAuthor data: Open Library