Researcher profile

Constantin Jucovschi

Constantin Jucovschi contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Human-Computer Interaction Digital Libraries Software Engineering

Trust snapshot

Quick read

Trust 17 - Baseline

4works

0followers

3topics

4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

preprint2014arXiv

Towards an Interaction-based Integration of MKM Services into End-User Applications

The Semantic Alliance (SAlly) Framework, first presented at MKM 2012, allows integration of Mathematical Knowledge Management services into typical applications and end-user workflows. From an architecture allowing invasion of spreadsheet programs, it grew into a middle-ware connecting spreadsheet, CAD, text and image processing environments with MKM services. The architecture presented in the original paper proved to be quite resilient as it is still used today with only minor changes. This paper explores extensibility challenges we have encountered in the process of developing new services and maintaining the plugins invading end-user applications. After an analysis of the underlying problems, I present an augmented version of the SAlly architecture that addresses these issues and opens new opportunities for document type agnostic MKM services.

preprint2013arXiv

Towards Ontological Support for Principle Solutions in Mechanical Engineering

The engineering design process follows a series of standardized stages of development, which have many aspects in common with software engineering. Among these stages, the principle solution can be regarded as an analogue of the design specification, fixing as it does the way the final product works. It is usually constructed as an abstract sketch (hand-drawn or constructed with a CAD system) where the functional parts of the product are identified, and geometric and topological constraints are formulated. Here, we outline a semantic approach where the principle solution is annotated with ontological assertions, thus making the intended requirements explicit and available for further machine processing; this includes the automated detection of design errors in the final CAD model, making additional use of a background ontology of engineering knowledge. We embed this approach into a document-oriented design workflow, in which the background ontology and semantic annotations in the documents are exploited to trace parts and requirements through the design process and across different applications.

preprint2012arXiv

Cost-Effective Integration of MKM Semantic Services into Editing Environments

Integration of MKM services into editors has been of big interest in both formal as well as informal areas of MKM. Until now, most of the efforts to integrate MKM services into editing environments are done on an individual basis which results in high creation and maintenance costs. In this paper, I propose an architecture which allows editing environments and MKM services to be integrated in a more efficient way. This is accomplished by integrating editors and services only once with a real-time document synchronization and service broker. Doing so, simplifies the development of services as well as of editor integrations. My experience suggests that integrating new services into an arbitrary number of already integrated editors can take as little as 3-4 hours of work.

preprint2010arXiv

Editing Knowledge in Large Mathematical Corpora. A case study with Semantic LaTeX (sTeX)

Before we can get the whole potential of employing computers in the process of managing mathematical `knowledge', we have to convert informal knowledge into machine-oriented representations. How exactly to support this process so that it becomes as effortless as possible is one of the main unsolved problems of Mathematical Knowledge Management. Two independent projects in formalization of mathematical content showed that many of the time consuming tasks could be significantly reduced if adequate tool support were available. It was also established that similar tasks are typical for object oriented languages and that they are to a large extent solved by Integrated Development Environments (IDE). This thesis starts by analyzing the opportunities where formalization process can benefit from software support. A list of research questions is compiled along with a set of software requirements which are then used for developing a new IDE for the semantic \TeX{} (\stex{}) format. The result of the current research is that, indeed, IDEs can be very useful in the process of formalization and presents a set of best practices for implementing such IDEs.