Skip to main navigation
Skip to search
Skip to main content
University of Luebeck Home
English
Deutsch
Home
Research Units
Experts
Publications
Projects
Prizes
Spin-Offs
Activities
Media
Search by expertise, name or affiliation
Transforming Functional Signatures of Algebraic Specifications into Object-Oriented Class Signatures
Bastian Dölle, Walter Dosch
Institute of Software Engineering and Programming Languages
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Transforming Functional Signatures of Algebraic Specifications into Object-Oriented Class Signatures'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Engineering & Materials Science
Specifications
100%
Mechanization
50%
Formal methods
44%
Syntactics
39%