I agree that this site is using cookies. You can find further informations here.
X
Gogolla, Martin
242  results:
Search for persons X
?
1

Proving Properties of Operation Contracts with Test Scenari..:

, In: Tests and Proofs; Lecture Notes in Computer Science,
Gogolla, Martin ; Hamann, Lars - p. 97-107 , 2023
Link: https://doi.org/10.1007/..
 
?
2

OCL Rebuilt, From the Ground Up:

, In: 2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS),
Steimann, Friedrich ; Clariso, Robert ; Gogolla, Martin - p. 194-205 , 2023
Link: https://doi.org/10.1109/..
 
?
3

Towards a Model Development Environment Acknowledging Contr..:

, In: 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C),
Gogolla, Martin - p. 422-425 , 2023
Link: https://doi.org/10.1109/..
 
?
4

Generative AI in Model-Driven Software Engineering Educatio..:

, In: 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C),
Morales, Sergio ; Planas, Elena ; Clariso, Robert. - p. 110-113 , 2023
Link: https://doi.org/10.1109/..
 
?
5

Quality Assurance for Behavioral UML and OCL Models using F..:

Desai, Nisha , 2021
Link: https://doi.org/10.26092..
 
?
6

Quality assurance for behavioral UML and OCL models using f..:

Desai, Nisha , 2021
Copies:  Zentrale: ts 6691
 
?
7

Exploiting Results of Model-Based Analysis Tools:

, In: Composing Model-Based Analysis Tools,
Durán, Francisco ; Gogolla, Martin ; Guerra, Esther... - p. 129-158 , 2021
Link: https://doi.org/10.1007/..
 
?
8

Strengthening validation of model behavior through filmstri..:

, In: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings,
Desai, Nisha ; Gogolla, Martin - p. 1-5 , 2020
Link: https://dl.acm.org/doi/1..
 
?
9

On teaching descriptive and prescriptive modeling:

, In: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings,
Gogolla, Martin ; Selic, Bran - p. 1-9 , 2020
Link: https://dl.acm.org/doi/1..
 
?
10

Metrics for OCL expressions : development, realization, ..:

, In: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings,
Gogolla, Martin ; Stüber, Timo - p. 1-10 , 2020
Link: https://dl.acm.org/doi/1..
 
?
11

Model Development in the Tool USE: Explorative, Consolidati..:

, In: Distributed Computing and Internet Technology; Lecture Notes in Computer Science,
Gogolla, Martin - p. 24-43 , 2020
Link: https://doi.org/10.1007/..
 
?
12

Enhancing development and consistency of UML models and mod..:

, In: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings,
Schäfer, Marcel ; Gogolla, Martin - p. 1-5 , 2020
Link: https://dl.acm.org/doi/1..
 
?
13

Modeling Behavioral Deontic Constraints Using UML and OCL:

, In: Conceptual Modeling; Lecture Notes in Computer Science,
Vallecillo, Antonio ; Gogolla, Martin - p. 134-148 , 2020
Link: https://doi.org/10.1007/..
 
?
14

Quality improvement for UML and OCL models through bad smel..:

, In: Proceedings of the 22nd International Conference on Model Driven Engineering Languages and Systems,
Doan, Khanh-Hoang ; Gogolla, Martin - p. 774-778 , 2019
Link: https://dl.acm.org/doi/1..
 
?
15

An Idealistic Plan for Transforming Media Sources Into Book..:

, In: 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C),
Gogolla, Martin ; Vallecillo, Antonio - p. 710-713 , 2019
Link: https://doi.org/10.1109/..
 
1-15