Segui
Markus Lumpe
Titolo
Citata da
Citata da
Anno
The qualitas corpus: A curated collection of java code for empirical studies
E Tempero, C Anslow, J Dietrich, T Han, J Li, M Lumpe, H Melton, J Noble
2010 Asia pacific software engineering conference, 336-345, 2010
5252010
Aligning qualitative, real-time, and probabilistic property specification patterns using a structured english grammar
M Autili, L Grunske, M Lumpe, P Pelliccione, A Tang
IEEE Transactions on Software Engineering 41 (7), 620-638, 2015
1702015
Comparative analysis of evolving software systems using the Gini coefficient
R Vasa, M Lumpe, P Branch, O Nierstrasz
2009 IEEE International Conference on Software Maintenance, 179-188, 2009
1332009
Piccola-a small composition language
F Achermann, M Lumpe, JG Schneider, O Nierstrasz
Formal Methods for Distributed Processing—A Survey of Object-Orientedá…, 2001
1292001
A [pi]-calculus Based Approach for Software Composition
M Lumpe
Verlag nicht ermittelbar, 1999
1001999
A formal language for composition
M Lumpe, F Achermann, O Nierstrasz
Foundations of Component Based Systems, 69-90, 2000
792000
KBRE: a framework for knowledge-based requirements engineering
TH Nguyen, BQ Vo, M Lumpe, J Grundy
Software Quality Journal 22, 87-119, 2014
562014
Towards a formal composition language
M Lumpe, JG Schneider, O Nierstrasz, F Achermann
Proceedings of ESEC 97, 178-187, 1997
471997
Formalizing composable software systems—a research agenda
O Nierstrasz, JG Schneider, M Lumpe
Formal Methods for Open Object-based Distributed Systems, 271-282, 1997
421997
Komponenten, Komponentenframeworks und Gluing
O Nierstrasz, M Lumpe
HMD-Theorie und Praxis der Wirtschaftsinformatik 197, 8-23, 1997
281997
A form-based meta-model for software composition
M Lumpe, JG Schneider
Science of Computer Programming 56 (1-2), 59-78, 2005
252005
Synchronizing Concurrent Objects in the-Calculus1
JG Schneider, M Lumpe
241997
On estimating minimum bids for Amazon EC2 spot instances
M Lumpe, MB Chhetri, QB Vo, R Kowalcyk
2017 17th IEEE/ACM International Symposium on Cluster, Cloud and Gridá…, 2017
232017
REInDetector: a framework for knowledge-based requirements engineering
TH Nguyen, BQ Vo, M Lumpe, J Grundy
Proceedings of the 27th IEEE/ACM international conference on automatedá…, 2012
222012
Using Metaobjects to Model Concurrent Objects with PICT.
M Lumpe, JG Schneider, O Nierstrasz
LMO, 1-12, 1996
201996
Helix-Software Evolution Data Set
R Vasa, M Lumpe, A Jones
Swinburne University of Technology, 2010
192010
Agent coordination via scripting languages
JG Schneider, M Lumpe, O Nierstrasz
Coordination of Internet Agents: Models, Technologies, and Applications, 153-182, 2001
192001
On forecasting amazon EC2 spot prices using time-series decomposition with hybrid look-backs
MB Chhetri, M Lumpe, QB Vo, R Kowalczyk
2017 IEEE International Conference on Edge Computing (EDGE), 158-165, 2017
172017
Patterns of component evolution
R Vasa, M Lumpe, JG Schneider
Software Composition: 6th International Symposium, SC 2007, Braga, Portugalá…, 2007
172007
Learning better inspection optimization policies
M Lumpe, R Vasa, T Menzies, R Rush, B Turhan
International Journal of Software Engineering and Knowledge Engineering 22á…, 2012
162012
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–20