Source author record

Christian Lengauer

Christian Lengauer appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

cond-mat.mtrl-sci physics.app-ph Programming Languages Software Engineering

Catalog footprint

What is connected

2works

4topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2019arXiv

3D printing of polymer-bonded anisotropic magnets in an external magnetic field and by a modified production process

The possibility of producing polymer-bonded magnets with the aid of additive processes, such as 3D printing, opens up a multitude of new areas of application. Almost any structures and prototypes can be produced cost-effectively in small quantities. Extending the 3D printing process allows the manufacturing of anisotropic magnetic structures by aligning the magnetic easy axis of ferromagnetic particles inside a paste-like compound material along an external magnetic field. This is achieved by two different approaches: First, the magnetic field for aligning the particles is provided by a permanent magnet. Secondly, the 3D printing process itselfs generates an anisotropic behavior of the structures. An inexpensive and customizable end-user fused filament fabrication 3D printer is used to print the magnetic samples. The magnetical properties of different magnetic anisotropic Sr ferrite and SmFeN materials are investigated and discussed.

preprint2010arXiv

Type-Safe Feature-Oriented Product Lines

A feature-oriented product line is a family of programs that share a common set of features. A feature implements a stakeholder's requirement, represents a design decision and configuration option and, when added to a program, involves the introduction of new structures, such as classes and methods, and the refinement of existing ones, such as extending methods. With feature-oriented decomposition, programs can be generated, solely on the basis of a user's selection of features, by the composition of the corresponding feature code. A key challenge of feature-oriented product line engineering is how to guarantee the correctness of an entire feature-oriented product line, i.e., of all of the member programs generated from different combinations of features. As the number of valid feature combinations grows progressively with the number of features, it is not feasible to check all individual programs. The only feasible approach is to have a type system check the entire code base of the feature-oriented product line. We have developed such a type system on the basis of a formal model of a feature-oriented Java-like language. We demonstrate that the type system ensures that every valid program of a feature-oriented product line is well-typed and that the type system is complete.