An Abstraction for Version Control Systems

An Abstraction for Version Control Systems PDF Author: Matthias Kleine
Publisher: Universitätsverlag Potsdam
ISBN: 3869561580
Category : Computers
Languages : en
Pages : 88

Get Book Here

Book Description
Version Control Systems (VCS) allow developers to manage changes to software artifacts. Developers interact with VCSs through a variety of client programs, such as graphical front-ends or command line tools. It is desirable to use the same version control client program against different VCSs. Unfortunately, no established abstraction over VCS concepts exists. Instead, VCS client programs implement ad-hoc solutions to support interaction with multiple VCSs. This thesis presents Pur, an abstraction over version control concepts that allows building rich client programs that can interact with multiple VCSs. We provide an implementation of this abstraction and validate it by implementing a client application.

An Abstraction for Version Control Systems

An Abstraction for Version Control Systems PDF Author: Matthias Kleine
Publisher: Universitätsverlag Potsdam
ISBN: 3869561580
Category : Computers
Languages : en
Pages : 88

Get Book Here

Book Description
Version Control Systems (VCS) allow developers to manage changes to software artifacts. Developers interact with VCSs through a variety of client programs, such as graphical front-ends or command line tools. It is desirable to use the same version control client program against different VCSs. Unfortunately, no established abstraction over VCS concepts exists. Instead, VCS client programs implement ad-hoc solutions to support interaction with multiple VCSs. This thesis presents Pur, an abstraction over version control concepts that allows building rich client programs that can interact with multiple VCSs. We provide an implementation of this abstraction and validate it by implementing a client application.

Version Control by Example

Version Control by Example PDF Author: Eric Sink
Publisher:
ISBN: 9780983507901
Category : Computer software
Languages : en
Pages : 277

Get Book Here

Book Description


Subversion 1.6 Official Guide

Subversion 1.6 Official Guide PDF Author: Ben Collins-Sussman
Publisher: Fultus Corporation
ISBN: 1596821698
Category :
Languages : en
Pages : 469

Get Book Here

Book Description
This is the official guide and reference manual for Subversion 1.6 - the popular open source revision control technology.

Towards version control in object-based systems

Towards version control in object-based systems PDF Author: Jakob Reschke
Publisher: Universitätsverlag Potsdam
ISBN: 386956430X
Category : Computers
Languages : en
Pages : 106

Get Book Here

Book Description
Version control is a widely used practice among software developers. It reduces the risk of changing their software and allows them to manage different configurations and to collaborate with others more efficiently. This is amplified by code sharing platforms such as GitHub or Bitbucket. Most version control systems track files (e.g., Git, Mercurial, and Subversion do), but some programming environments do not operate on files, but on objects instead (many Smalltalk implementations do). Users of such environments want to use version control for their objects anyway. Specialized version control systems, such as the ones available for Smalltalk systems (e.g., ENVY/Developer and Monticello), focus on a small subset of objects that can be versioned. Most of these systems concentrate on the tracking of methods, classes, and configurations of these. Other user-defined and user-built objects are either not eligible for version control at all, tracking them involves complicated workarounds, or a fixed, domain-unspecific serialization format is used that does not equally suit all kinds of objects. Moreover, these version control systems that are specific to a programming environment require their own code sharing platforms;popular, well-established platforms for file-based version control systems cannot be used or adapter solutions need to be implemented and maintained. To improve the situation for version control of arbitrary objects, a framework for tracking, converting, and storing of objects is presented in this report. It allows editions of objects to be stored in an exchangeable, existing backend version control system. The platforms of the backend version control system can thus be reused. Users and objects have control over how objects are captured for the purpose of version control. Domain-specific requirements can be implemented. The storage format (i.e. the file format, when file-based backend version control systems are used) can also vary from one object to another. Different editions of objects can be compared and sets of changes can be applied to graphs of objects. A generic way for capturing and restoring that supports most kinds of objects is described. It models each object as a collection of slots. Thus, users can begin to track their objects without first having to implement version control supplements for their own kinds of objects. The proposed architecture is evaluated using a prototype implementation that can be used to track objects in Squeak/Smalltalk with Git. The prototype improves the suboptimal standing of user objects with respect to version control described above and also simplifies some version control tasks for classes and methods as well. It also raises new problems, which are discussed in this report as well.

Industrial Case Study on the Integration of SysML and AUTOSAR with Triple Graph Grammars

Industrial Case Study on the Integration of SysML and AUTOSAR with Triple Graph Grammars PDF Author: Giese, Holger
Publisher: Universitätsverlag Potsdam
ISBN: 3869561912
Category : Computers
Languages : en
Pages : 66

Get Book Here

Book Description
During the overall development of complex engineering systems different modeling notations are employed. For example, in the domain of automotive systems system engineering models are employed quite early to capture the requirements and basic structuring of the entire system, while software engineering models are used later on to describe the concrete software architecture. Each model helps in addressing the specific design issue with appropriate notations and at a suitable level of abstraction. However, when we step forward from system design to the software design, the engineers have to ensure that all decisions captured in the system design model are correctly transferred to the software engineering model. Even worse, when changes occur later on in either model, today the consistency has to be reestablished in a cumbersome manual step. In this report, we present in an extended version of [Holger Giese, Stefan Neumann, and Stephan Hildebrandt. Model Synchronization at Work: Keeping SysML and AUTOSAR Models Consistent. In Gregor Engels, Claus Lewerentz, Wilhelm Schäfer, Andy Schürr, and B. Westfechtel, editors, Graph Transformations and Model Driven Enginering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, volume 5765 of Lecture Notes in Computer Science, pages 555-579. Springer Berlin / Heidelberg, 2010.] how model synchronization and consistency rules can be applied to automate this task and ensure that the different models are kept consistent. We also introduce a general approach for model synchronization. Besides synchronization, the approach consists of tool adapters as well as consistency rules covering the overlap between the synchronized parts of a model and the rest. We present the model synchronization algorithm based on triple graph grammars in detail and further exemplify the general approach by means of a model synchronization solution between system engineering models in SysML and software engineering models in AUTOSAR which has been developed for an industrial partner. In the appendix as extension to [19] the meta-models and all TGG rules for the SysML to AUTOSAR model synchronization are documented.

Theories and Intricacies of Information Security Problems

Theories and Intricacies of Information Security Problems PDF Author: Anne V. D. M. Kayem
Publisher: Universitätsverlag Potsdam
ISBN: 3869562048
Category : Computers
Languages : en
Pages : 60

Get Book Here

Book Description
Keine Angaben

Scalable Compatibility for Embedded Real-time Components Via Language Progressive Timed Automata

Scalable Compatibility for Embedded Real-time Components Via Language Progressive Timed Automata PDF Author: Stefan Neumann
Publisher: Universitätsverlag Potsdam
ISBN: 3869562269
Category : Computers
Languages : en
Pages : 82

Get Book Here

Book Description
The proper composition of independently developed components of an embedded real- time system is complicated due to the fact that besides the functional behavior also the non-functional properties and in particular the timing have to be compatible. Nowadays related compatibility problems have to be addressed in a cumbersome integration and configuration phase at the end of the development process, that in the worst case may fail. Therefore, a number of formal approaches have been developed, which try to guide the upfront decomposition of the embedded real-time system into components such that integration problems related to timing properties can be excluded and that suitable configurations can be found. However, the proposed solutions require a number of strong assumptions that can be hardly fulfilled or the required analysis does not scale well. In this paper, we present an approach based on timed automata that can provide the required guarantees for the later integration without strong assumptions, which are difficult to match in practice. The approach provides a modular reasoning scheme that permits to establish the required guarantees for the integration employing only local checks, which therefore also scales. It is also possible to determine potential configuration settings by means of timed game synthesis.

Proceedings of the 4th Many-Core Applications Research Community (MARC) Symposium

Proceedings of the 4th Many-Core Applications Research Community (MARC) Symposium PDF Author: Peter Tröger
Publisher: Universitätsverlag Potsdam
ISBN: 3869561696
Category : Computers
Languages : en
Pages : 96

Get Book Here

Book Description
In continuation of a successful series of events, the 4th Many-core Applications Research Community (MARC) symposium took place at the HPI in Potsdam on December 8th and 9th 2011. Over 60 researchers from different fields presented their work on many-core hardware architectures, their programming models, and the resulting research questions for the upcoming generation of heterogeneous parallel systems.

Software Architecture

Software Architecture PDF Author: Bedir Tekinerdogan
Publisher: Springer Nature
ISBN: 3031425928
Category : Computers
Languages : en
Pages : 374

Get Book Here

Book Description
This book constitutes the refereed proceedings of the 17th International Conference on Software Architecture, ECSA 2023, held in Istanbul, Turkey, in September 2023. The 16 full papers and the 9 short papers included in this volume were carefully reviewed and selected from 71 submissions. They address the most recent, innovative, and significant findings and experiences in the field of software architecture research and practice.

Software Configuration Management

Software Configuration Management PDF Author: Ian Sommerville
Publisher: Springer Science & Business Media
ISBN: 9783540619642
Category : Business & Economics
Languages : en
Pages : 308

Get Book Here

Book Description
Content Description #Includes bibliographical references and index.