Transformation, die Übertragung eines Dokuments von einem technischen Format in ein anderes, wird in der öffentlichen Verwaltungspraxis zunehmend an Bedeutung gewinnen. Der Beitrag untersucht die im Hinblick auf Dokumentenumwandlung geltende Rechtslage und zeigt in diesem Zusammenhang mögliche Interessenkonflikte und ...

In this paper we study the operation of incremental data extraction from declarative knowledge bases and the problem of decomposability of data in such KBs, by viewing them as first-order logical theories. The operation of incremental data extraction is closely connected with query reformulation in information retrieval ...

The creation of user interfaces usually involves various people in different roles and several tools that are designed to support each specific role. In this paper we propose a tool for rapid prototyping that allows all parties involved to directly interact with the system under development. The tool is based on task ...

Small-scale wireless communication technologies allow for situated consumer-product communication during buying decision making. We present the status of a generic model and implementation of semantically annotated physical products and an associated mobile and web-based infrastructure. Cornerstones are a RDF-based ...

Benutzeranforderungen werden von den Benutzern häufig natürlichsprachlich formuliert, obwohl die UML als Quasistandard in Analyse- und Design von Softwareanwendungen gilt. Durch den unvermeidlichen Medienbruch sind Missverständnisse vorprogrammiert, die durch eine Transformation von natürlichsprachlichen Texten in ...

For half a decade model-based testing has been applied at Microsoft in the internal development process. Though a success story compared to other formal quality assurance approaches like verification, a break-through of the technology on a broader scale is not in sight. What are the obstacles? This paper describes the ...

At present classical factory simulations are conducted only when serious changes occur, for example prior to the beginning of construction, prior to larger investments or with the start-up of new products. Only in very rare cases, minor changes in reality will be updated in real-time in the digital model. Thus the ...

UML models offer a lot of information that should not be ignored in testing. By combining different UML components, different views of the program under test are used. The paper concentrates on a technique for generating test cases from a combination of UML sequence and state diagrams. The main information is extracted ...

Bei der modellbasierten Entwicklung von interaktiven Systemen is die effiziente und homogene Integration von Benutzungsschnittstellen, die sich optimal in die jeweilige Interaktionssituation einfügen, mit zahlreichen Herausforderungen verbunden. Dieser Beitrag untersucht, inwieweit Kontextwissen methodisch fundiert in ...