SC Harvester Papers Database Interface

Synthesizing self-adaptive connectors meeting functional and performance concerns

A. Marco, P. Inverardi, Romina Spalazzese. In: 2013 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS). 2013

Challenges in managing behavior variability of production control software

Miao Fang, G. Leyh, Christoph Elsner, Jörg Dörr. In: 2013 4th International Workshop on Product LinE Approaches in Software Engineering (PLEASE). 2013

Abstract: Software product line engineering helps organizations to achieve systematic software reuse by taking advantage of commonalities and predicted variability. Variability management has been considered as one important issue in product line development. In this paper, a variability analysis in production control systems reveals that the variability in such systems lays in the dynamic behavior and inte...

Moving towards industrial software ecosystems: Are our software architectures fit for the future?

K. Schultis, Christoph Elsner, D. Lohmann. In: 2013 4th International Workshop on Product LinE Approaches in Software Engineering (PLEASE). 2013

Abstract: The development of large-scale software product-lines within large enterprises commonly involves various internal business units. Although within the same enterprise, each business unit has individual motivations and participation interests. For coordinating development, the emerging discipline of software ecosystems intents to explicitly discover and analyze the different players' interests, and ...

MOS: An integrated model-based and search-based testing tool for Function Block Diagrams

Eduard Paul Enoiu, K. Doganay, M. Bohlin, Daniel Sundmark, P. Pettersson. In: 2013 1st International Workshop on Combining Modelling and Search-Based Software Engineering (CMSBSE). 2013

Cooperating with a non-governmental organization to teach gathering and implementation of requirements

Gregor Gabrysiak, R. Hebig, Lukas Pirl, H. Giese. In: 2013 26th International Conference on Software Engineering Education and Training (CSEE&T). 2013

Searching for models to evaluate software technology

F. D. O. Neto, R. Feldt, R. Torkar, Patricia D. L. Machado. In: 2013 1st International Workshop on Combining Modelling and Search-Based Software Engineering (CMSBSE). 2013

Industrial study on test driven development: Challenges and experience

Adnan Causevic, Rakesh Shukla, S. Punnekkat. In: 2013 1st International Workshop on Conducting Empirical Studies in Industry (CESI). 2013

Observable modified condition/decision coverage

M. Whalen, Gregory Gay, Dongjiang You, M. Heimdahl, Matthew Staats. In: 2013 35th International Conference on Software Engineering (ICSE). 2013

From models to code and back: Correct-by-construction code from UML and ALF

Federico Ciccozzi. In: 2013 35th International Conference on Software Engineering (ICSE). 2013

Requirements models for design- and runtime: A position paper

Alexander Borgida, F. Dalpiaz, J. Horkoff, J. Mylopoulos. In: 2013 5th International Workshop on Modeling in Software Engineering (MiSE). 2013

V:Issue:lizer: Exploring requirements clarification in online communication over time

E. Knauss, Daniela E. Damian. In: 2013 35th International Conference on Software Engineering (ICSE). 2013

Trust-Based Scenarios - Predicting Future Agent Behavior in Open Self-organizing Systems

Gerrit Anders, F. Siefert, J. Steghöfer, W. Reif. In: . 2013

A Design Tool for Service-oriented Systems

Eduard Paul Enoiu, R. Marinescu, Aida Čaušević, C. Seceleanu. In: . 2013

Abstract: In this paper we present a modeling and analysis tool for service-oriented systems. The tool enables graphical modeling of service-based systems, within the resource-aware timed behavioral language Remes, as well as a textual system description. We have developed a graphical environment where services can be composed as desired by the user, together with a textual service composition interface in ...

Measuring the impact of changes to the complexity and coupling properties of automotive software systems

Darko Durisic, Martin Nilsson, M. Staron, J. Hansson. In: J. Syst. Softw.. 2013

Termination and cost analysis: Complexity and precision issues

A. Masud. In: . 2013

Abstract: The research in this thesis is related to static cost and termination analysis.Cost analysis aims at estimating the amount of resources that a given programconsumes during the execution, and termin ......