Jonas Eckhardt
Título
Citado por
Citado por
Año
Are" non-functional" requirements really non-functional? an investigation of non-functional requirements in practice
J Eckhardt, A Vogelsang, DM Fernández
Proceedings of the 38th International Conference on Software Engineering …, 2016
622016
Stable availability under denial of service attacks through formal patterns
J Eckhardt, T Mühlbauer, M AlTurki, J Meseguer, M Wirsing
International Conference on Fundamental Approaches to Software Engineering …, 2012
522012
A requirements engineering content model for cyber-physical systems
B Penzenstadler, J Eckhardt
2012 Second IEEE International Workshop on Requirements Engineering for …, 2012
332012
Statistical model checking for composite actor systems
J Eckhardt, T Mühlbauer, J Meseguer, M Wirsing
International Workshop on Algebraic Development Techniques, 143-160, 2012
262012
An exploratory study on reuse at google
V Bauer, J Eckhardt, B Hauptmann, M Klimek
Proceedings of the 1st international workshop on software engineering …, 2014
242014
Challenging incompleteness of performance requirements by sentence patterns
J Eckhardt, A Vogelsang, H Femmer, P Mager
2016 IEEE 24th International Requirements Engineering Conference (RE), 46-55, 2016
192016
Does goal-oriented requirements engineering achieve its goal?
A Mavin, P Wilkinson, S Teufl, H Femmer, J Eckhardt, J Mund
2017 IEEE 25th International Requirements Engineering Conference (RE), 174-183, 2017
172017
Does quality of requirements specifications matter? combined results of two empirical studies
J Mund, DM Fernandez, H Femmer, J Eckhardt
2015 ACM/IEEE International Symposium on Empirical Software Engineering and …, 2015
152015
Design and analysis of cloud-based architectures with KLAIM and Maude
M Wirsing, J Eckhardt, T Mühlbauer, J Meseguer
International Workshop on Rewriting Logic and its Applications, 54-82, 2012
152012
Understanding the impact of artefact-based RE--design of a replication study
B Penzenstadler, DM Fernández, J Eckhardt
2013 ACM/IEEE International Symposium on Empirical Software Engineering and …, 2013
142013
Semantics, distributed implementation, and formal analysis of KLAIM models in Maude
J Eckhardt, T Mühlbauer, J Meseguer, M Wirsing
Science of Computer Programming 99, 24-74, 2015
132015
European truck platooning challenge 2016
J Eckhardt, L Aarts, A van Vliet, T Alkim
The Hague, Delta3, 2015
122015
Two replication studies for evaluating artefact models in RE: results and lessons learnt
B Penzenstadler, J Eckhardt, DM Fernández
2013 3rd International Workshop on Replication in Empirical Software …, 2013
122013
How to specify non-functional requirements to support seamless modeling? A study design and preliminary results
J Eckhardt, DM Fernández, A Vogelsang
2015 ACM/IEEE International Symposium on Empirical Software Engineering and …, 2015
102015
On the distinction of functional and quality requirements in practice
J Eckhardt, A Vogelsang, DM Fernández
International Conference on Product-Focused Software Process Improvement, 31-47, 2016
92016
An approach for creating sentence patterns for quality requirements
J Eckhardt, A Vogelsang, H Femmer
2016 IEEE 24th International Requirements Engineering Conference Workshops …, 2016
92016
A model of layered architectures
D Marmsoler, A Malkis, J Eckhardt
arXiv preprint arXiv:1503.04916, 2015
82015
A formal analysis of security properties in cloud computing
J Eckhardt
Master's thesis, LMU Munich, TU Munich, 2011
62011
Security analysis in cloud computing using rewriting logic
J Eckhardt
Master’s thesis, Ludwig-Maximilans-Universität München, 2012
52012
Controlled experiments as means to teach soft skills in software engineering
M Kuhrmann, H Femmer, J Eckhardt
Computer Systems and Software Engineering: Concepts, Methodologies, Tools …, 2018
42018
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20