Jonas Eckhardt
Titel
Citeras av
Citeras av
År
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
552016
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
512012
A requirements engineering content model for cyber-physical systems
B Penzenstadler, J Eckhardt
2012 Second IEEE International Workshop on Requirements Engineering for …, 2012
312012
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
212014
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
172016
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
152017
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
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
142015
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
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
112013
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
102015
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
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
92015
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
82016
A model of layered architectures
D Marmsoler, A Malkis, J Eckhardt
arXiv preprint arXiv:1503.04916, 2015
62015
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
Inter-domain requirements and their future realisability: The ARAMiS cyber-physical systems scenario
B Penzenstadler, J Eckhardt, W Schwitzer, MV Cengarle, S Voss
2013 Federated Conference on Computer Science and Information Systems, 1413-1418, 2013
42013
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
32018
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20