10,813 Hits in 6.1 sec

On the use of variability operations in the V-Modell XT software process line

Marco Kuhrmann, Daniel Méndez Fernández, Thomas Ternité
2015 Journal of Software: Evolution and Process  
In this article, we present a study on the feasibility of variability operations to support the development of software process lines in the context of the V-Modell XT.  ...  The found variability operations allow for systematically modifying the content of process model elements and the process documentation, and they allow for altering the structure of a process model and  ...  This instrument is used in the V-Modell XT to realize a complex software process line ( Figure 2 ).  ... 
doi:10.1002/smr.1751 fatcat:alw4oerscjczxhpg246a4iifqu

Realizing software process lines: insights and experiences

Marco Kuhrmann, Daniel Méndez Fernández, Thomas Ternité
2014 Proceedings of the 2014 International Conference on Software and System Process - ICSSP 2014  
In this paper, we present a study on the feasibility of variability operations to support process lines in the context of the German V-Modell XT.  ...  We analyze which variability operations were defined and used to which extent, and we provide a catalog of variability operations as an improvement proposal for other process models.  ...  Our investigation is based on a snapshot from 2013 of the V-Modell XT family [8] in which we investigated the V-Modell XT reference model and 5 of its variants using the process line features.  ... 
doi:10.1145/2600821.2600833 dblp:conf/ispw/KuhrmannFT14 fatcat:36mlbt5rmjfvbmq6jvatarjd7q

Development of flexible software process lines with variability operations

Joachim Schramm, Patrick Dohrmann, Marco Kuhrmann
2015 Proceedings of the 19th International Conference on Evaluation and Assessment in Software Engineering - EASE '15  
Method: We conducted a longitudinal study in which we studied 5 variants of the V-Modell XT process line for 2 years.  ...  Conclusions: Although variability operations are only one instrument among others, our results suggest this instrument useful to implement variability in real-life software process lines.  ...  Furthermore, we want to thank Jürgen Münch and Sebastian Eder for their valuable feedback on early versions of this manuscript.  ... 
doi:10.1145/2745802.2745814 dblp:conf/ease/SchrammDK15 fatcat:y42yq7cfkzhrhb7k3pela6stxm

A Service-Oriented Extension of the V-Modell XT

Michael Meisinger, Ingolf H. Kruger
2007 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07)  
We embed our service-oriented development approach for reactive systems into the system development process model V-Modell XT by providing a modular extension of the V-Modell XT for service-oriented development  ...  On the one hand, the availability of appropriate models and notations for the systems under development throughout the development cycle and for all levels of abstraction helps to understand and modify  ...  V-Modell XT Extension Mechanism The V-Modell XT can be modularly extended by adding new process modules, which extend a number of existing process modules.  ... 
doi:10.1109/ecbs.2007.12 dblp:conf/ecbs/MeisingerK07 fatcat:4zu5hon2xrbntnic5jrccw4ary

Executing Model-based Software Development for Embedded I4.0 Devices Properly

Fabian Burzlaff, Christian Bartelt, Steffen Jacobs
2018 Modellierung  
In this paper, we introduce a tool-based software engineering approach that puts models back at the core of embedded system development.  ...  At the moment, traditional engineering processes for embedded systems generate communication interfaces from software. This stands in stark contrast to componentbased software engineering approaches.  ...  In the context of V-Model XT, the process is as follows: As soon as the project scope is fixed (see left side of Figure 3 ), the development of hardware and software components is started.  ... 
dblp:conf/modellierung/BurzlaffBJ18 fatcat:n6but2l5nzfcxi465n7ebzho2i

Design and validation of feature-based process model tailoring

Daniela Costache, Georg Kalus, Marco Kuhrmann
2011 Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering - SIGSOFT/FSE '11  
In this paper we present a tool for visual modeling and validation of process model tailoring based on feature models using the SE Book of T-Systems as an example.  ...  The tool is based on a domain-specific language that represents the process model. It leverages the semantics of feature models to provide an easy-to-use editor for tailoring-enabled process models.  ...  It uses a feature model known from Software Product Line engineering [2] to describe the mandatory and the variable parts of the process model.  ... 
doi:10.1145/2025113.2025192 dblp:conf/sigsoft/CostacheKK11 fatcat:rvsjxjwflfekpluiyzaigojt34

Application of lean manufacturing technology in a milk manufacturing company

Morakinyo Kehinde Onifade, Olufemi Adebayo Oroye
2021 Jurnal Sistem dan Manajemen Industri  
This work presents the application of lean management principle in the area of waste elimination in a powder milk plant of a production company.  ...  This revealed that there had been poor manufacturing practices in the factory. The findings from this research can be used as a guide to managers on wastage control in a production system.  ...  The summing variables for the MA process were used to develop a set of normal equations as shown in equations ( 14 ) to (17) .  ... 
doi:10.30656/jsmi.v5i2.3736 fatcat:4vwu2trlcfgwpjpinj4kgfvp3m

Application of Graph Theory in an Intelligent Tutoring System for Solving Mathematical Word Problems

2016 Eurasia Journal of Mathematics, Science and Technology Education  
In conclusion, the recommended model can be suggested to be used in educational software in the problem solving context.  ...  The study outlines the adoption of graph theory in to the motion problems and put forth some evidence that the model solves almost all of the motion problems.  ...  ACKNOWLEDGEMENTS This research is supported by The Scientific and Technological Research Council of Turkey (TÜBİTAK).  ... 
doi:10.12973/eurasia.2015.1401a fatcat:xrmoyqmr45cc7czunhuyz4mjpq

Crafting a software process improvement approach-a retrospective systematization

Marco Kuhrmann
2015 Journal of Software: Evolution and Process  
In the V-Modell XT process line, a tree is used to structure software processes: a process variant can, again, serve as reference process for further variants (cf. [23] for the V-Modell XT family tree)  ...  . • The V-Modell XT is used to model project-like endeavors, rather than continuous processes.  ...  The V-Modell XT is assembled using an Ant-based server infrastructure that creates complete installers that process ACKNOWLEDGEMENTS Over the years, many people supported the development of the ArSPI model  ... 
doi:10.1002/smr.1703 fatcat:crqdjeyu4vevjfv6jles5nqu6q

Real-Time Dispatching Performance Improvement of Multiple Multi-Energy Supply Microgrids Using Neural Network Based Approximate Dynamic Programming

Bei Li, Robin Roche
2021 Frontiers in Electronics  
Offline and online processes are developed to study the impact of the historical data on the regression of VFA.  ...  In order to reduce the time taken to solve the scheduling problem, and improve the scheduling performance, approximate dynamic programming (ADP) is used in real-time operation.  ...  AUTHOR CONTRIBUTIONS FUNDING This work has been supported by the "Guangdong Basic and Applied Basic Research Foundation" (2019A1515110641), the "Fundamental Research Funds for the Shenzhen university  ... 
doi:10.3389/felec.2021.637736 fatcat:jydzclrfxrhfphrrpuybeey7va

On the Benefits and Barriers When Adopting Software Modelling and Model Driven Techniques - An External, Differentiated Replication

Antonio Vetro, Wolfgang Bohm, Marco Torchiano
2015 2015 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM)  
Method: We replicate a survey conducted in the Italian industry about relevance, benefits, and problems of software modelling and model driven techniques.  ...  Goal: We aim at understanding the benefits and barriers on the adoption of the modelling techniques for embedded systems developed in a large German research project.  ...  Fernández for their contribution to the study, and to all SPES XT partners who participated to the survey.  ... 
doi:10.1109/esem.2015.7321210 dblp:conf/esem/VetroBT15 fatcat:kpe35t524bahljm7wictunxrba

K-NN FOREST: a software for the non-parametric prediction and mapping of environmental variables by the k-Nearest Neighbors algorithm

Gherardo Chirici, Piermaria Corona, Marco Marchetti, Alessandro Mastronardi, Fabio Maselli, Lorenzo Bottai, Davide Travaglini
2012 European Journal of Remote Sensing  
variable acquired in the field by sampling units through the use of remotely sensed data or other ancillary variables.  ...  K-NN FOREST is designed to guide the user through a graphic user interface in the different phases of the process.  ...  on-line.  ... 
doi:10.5721/eujrs20124536 fatcat:zvlbyqz4dfharf4smql2dyulai

Stratego/XT 0.17. A language and toolset for program transformation

Martin Bravenboer, Karl Trygve Kalleberg, Rob Vermaas, Eelco Visser
2008 Science of Computer Programming  
This paper gives an overview of Stratego/XT 0.17, including a description of the Stratego language and XT transformation tools; a discussion of the implementation techniques and software engineering process  ...  of rules in the syntax of the object language, and dynamic rewrite rules for expressing context-sensitive transformations, thus supporting the development of transformation components at a high level  ...  Patricia Johann was involved in the design and correctness proof of innermost fusion [25, 26] . Anya Bagge developed CodeBoost, one of the first big applications of Stratego/XT [2] .  ... 
doi:10.1016/j.scico.2007.11.003 fatcat:jhkofle3nneklm5miuafaicb4y

Aiding Side-Channel Attacks on Cryptographic Software With Satisfiability-Based Analysis

Nachiketh R. Potlapally, Anand Raghunathan, Srivaths Ravi, Niraj K. Jha, Ruby B. Lee
2007 IEEE Transactions on Very Large Scale Integration (vlsi) Systems  
, they are very careful in protecting secret keys through the use of on-chip key generation and storage).  ...  The proposed technique is particularly suited for attacking cryptographic software implementations which may inadvertently expose the values of intermediate variables in their computations (even though  ...  In our method, a process interrupts the symmetric algorithm execution at the end of each round (using the system call interface), flushes the data cache, and records all the variables appearing on the  ... 
doi:10.1109/tvlsi.2007.893665 fatcat:rcqbhspxvvdz3intk4lxl3pvlu

Formal Verification of a Microkernel Used in Dependable Software Systems [chapter]

Christoph Baumann, Bernhard Beckert, Holger Blasum, Thorsten Bormer
2009 Lecture Notes in Computer Science  
In this paper, we report on the Verisoft XT subproject Avionics, where formal verification is applied to a commercial embedded operating system.  ...  In this particular case, PowerPC assembly is about one tenth of the codebase.  ...  We are very grateful to Matthias Daum (Saarland Univ.) for his help and many fruitful discussions, and to Markus Wagner (Univ. of Koblenz) for his work in Verisoft XT Avionics.  ... 
doi:10.1007/978-3-642-04468-7_16 fatcat:euqsvxjgxnbergh5hraspv6phi
« Previous Showing results 1 — 15 out of 10,813 results