WIKINDX

TZI Literaturverzeichnis

List Resources

Displaying 1 - 22 of 22 (Bibliography: WIKINDX Master Bibliography)
 
Parameters:
Creator:  Kuhlmann
J. Brüning, M. Gogolla, L. Hamann and M. Kuhlmann, "Evaluating and Debugging OCL Expressions in UML Models" in Proc. 6th Int. Conf. Tests and Proofs~(TAP 2012), A. D. Brucker and J. Julliand, Eds., 2012, p. 156–162. Added by: Angela Schramm  v    Pop. 8.7%
F. Büttner, M. Kuhlmann, M. Gogolla, J. Dietrich, Frank, A. Pankratz, A. Stosiek and A. Salomon, "MDA Employed in a Joint eGovernment Strategy: An Experience Report" in Proc. 3rd ECMDA Workshop ``From Code Centric To Model Centric Software Engineering''~(2008), T. Bailey, Ed., http://www.esi.es/modelplex/c2m/program.php, 2008, Last edited by: Mirco Kuhlmann  v    Pop. 37.65%
F. Büttner and M. Kuhlmann, "Shortcomings of the Embedding of OCL into QVT ImperativeOCL" in Workshops and Symposia at 11th Int. Conf. Model Driven Engineering Languages and Systems~(MODELS'2008), M. R. V. Chaudron, Ed., 2009, p. 263–272. Added by: Mirco Kuhlmann  v    Pop. 15.92%
F. Büttner, M. Gogolla, L. Hamann, M. Kuhlmann and A. Lindow, "On Better Understanding OCL Collections *or* An OCL Ordered Set is not an OCL Set" in Workshops and Symposia at 12th Int. Conf. Model Driven Engineering Languages and Systems~(MODELS'2009), S. Ghosh, Ed., 2010, p. 276–290. Added by: Mirco Kuhlmann  v    Pop. 17.88%
M. Gogolla, F. Büttner and M. Kuhlmann, "System Modeling with USE (UML-based Specification Environment)", Genie Logiciel~(French Software Engineering Journal), vol. 85, p. 57–58, 2008. Added by: Mirco Kuhlmann  v    Pop. 24.02%
M. Gogolla, M. Kuhlmann and F. Büttner, "A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency" in Proc. 11th Int. Conf. Model Driven Engineering Languages and Systems~(MoDELS'2008), K. Czarnecki, Ed., 2008, p. 446–459. Last edited by: Mirco Kuhlmann  v    Pop. 25.64%
M. Gogolla, M. Kuhlmann and L. Hamann, "Consistency, Independence and Consequences in UML and OCL Models" in Proc. 3rd Int. Conf. Test and Proof~(TAP'2009), C. Dubois, Ed., 2009, p. 90–104. Added by: Mirco Kuhlmann  v    Pop. 14.3%
M. Gogolla, L. Hamann and M. Kuhlmann, "Proving and Visualizing OCL Invariant Independence by Automatically Generated Test Cases" in Proc. 4th Int. Conf. Test and Proof~(TAP'2010), G. Fraser and A. Gargantini, Eds., 2010, p. 38–54. Added by: Mirco Kuhlmann  v    Pop. 12.15%
L. Hamann, M. Gogolla and M. Kuhlmann, "OCL-Based Runtime Monitoring of JVM Hosted Applications" in Proc. Workshop OCL and Textual Modelling (OCL'2011), J. Cabot, R. Clariso, M. Gogolla and B. Wolff, Eds., 2011, Added by: Angela Schramm  v    Pop. 11.94%
L. Hamann, M. Gogolla and M. Kuhlmann, "Zur Validierung von Kompositionsstrukturen in UML mit USE" in Proc. Modellierung~(MODELLIERUNG'2010), G. Engels, D. Karagiannis and H. Mayr, Eds., 2010, p. 169–177. Added by: Mirco Kuhlmann  v    Pop. 14.44%
L. Hamann, F. Büttner, M. Kuhlmann and M. Gogolla, "Leistungfähiges Modell-Finding in UML/OCL-Modellen" in Proc. Modellierung~(MODELLIERUNG'2012), E. J. Sinz and A. Schürr, Eds., 2012, p. 155–170. Added by: Angela Schramm  v    Pop. 8.3%
L. Hamann, L. Vidacs, M. Gogolla and M. Kuhlmann, "Abstract Runtime Monitoring with USE" in Proc. European Conf. Software Maintenance and Reengineering~(CSMR'2012), T. Mens, A. Cleve and R. Ferenc, Eds., 2012, p. 549–552. Added by: Angela Schramm  v    Pop. 7.96%
M. Kuhlmann and M. Gogolla, "Analyzing Semantic Properties of OCL Operations by Uncovering Interoperational Relationships", Electronic Communications of the EASST, http://eceasst.cs.tu-berlin.de/index.php/eceasst, vol. 9, 2008. Added by: Mirco Kuhlmann  v    Pop. 21.86%
M. Kuhlmann and M. Gogolla, "Modeling and Validating Mondex Scenarios Described in UML and OCL with USE", Formal Aspects of Computing, vol. 20, iss. 1, p. 79–100, 2008. Added by: Mirco Kuhlmann  v    Pop. 21.32%
M. Kuhlmann, L. Hamann and M. Gogolla, "Extensive Validation of OCL Models by Integrating SAT Solving into USE" in Proc. 49th Int. Conf. Objects, Models, Components, and Patterns (TOOLS'2011), ser. Lecture Notes in Computer Science, J. Bishop and A. Vallecillo, Eds., vol. 6705, 2011, pp. 289–305. Last edited by: Angela Schramm  v    Pop. 11.61%
M. Kuhlmann, L. Hamann, M. Gogolla and F. Büttner, "A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency", Software and Systems Modeling, 2011. Added by: Angela Schramm  v    Pop. 11.88%
M. Kuhlmann, K. Sohr and M. Gogolla, "Comprehensive Two-Level Analysis of Static and Dynamic RBAC Constraints with UML and OCL" in Proc. Secure Software Integration and Reliability Improvement (SSIRI'2011), J. Baik, F. Massacci and M. Zulkernine, Eds., Jeju Island, South Korea, June 27, 2011, pp. 108–117. Last edited by: Angela Schramm  v    Pop. 11.47%
M. Kuhlmann, L. Hamann, M. Gogolla and F. Büttner, "A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency", Software and Systems Modeling, vol. 11, iss. 2, p. 165–182, 2012. Added by: Angela Schramm  v    Pop. 6.75%
M. Kuhlmann and M. Gogolla, "Strengthening SAT-Based Validation of UML/OCL Models by Representing Collections as Relations" in Proc. 8th European Conf. Modelling Foundations and Applications~(ECMFA 2012), A. Vallecillo and J.-P. Tolvanen, Eds., 2012, p. 32–48. Added by: Angela Schramm  v    Pop. 7.15%
M. Kuhlmann and M. Gogolla, "From UML and OCL to Relational Logic and Back" in Proc. 15th Int. Conf. Model Driven Engineering Languages and Systems~(MoDELS'2012), R. France, J. Kazmeier, R. Breu and C. Atkinson, Eds., 2012, p. 415–431. Added by: Angela Schramm  v    Pop. 7.89%
M. Soeken, R. Wille, M. Kuhlmann, M. Gogolla and R. Drechsler, "Verifying UML/OCL Models Using Boolean Satisfiability" in Proc. Design, Automation and Test in Europe~(DATE'2010), W. Müller, Ed., 2010, Added by: Mirco Kuhlmann  v    Pop. 12.28%
K. Sohr, M. Kuhlmann, M. Gogolla, H. Hu and G.-J. Ahn, "Comprehensive Two-Level Analysis of Role-Based Delegation and Revocation Policies with UML and OCL", Information and Software Technology, vol. 54, iss. 12, p. 1396–1417, 2012. Added by: Angela Schramm  v    Pop. 7.69%
wikindx      |     Total Resources:  2953     |     Database queries:  115     |     Script execution:  0.43213 secs