Lecture Notes in Computer Science

Công bố khoa học tiêu biểu

* Dữ liệu chỉ mang tính chất tham khảo

Sắp xếp:  
Proving Properties of Operation Contracts with Test Scenarios
Lecture Notes in Computer Science - - Trang 97-107 - 2023
Gogolla, Martin, Hamann, Lars
Building Tightly Integrated Software Development Environments: The IPSEN Approach
Lecture Notes in Computer Science - - 1996
Manfred Nagl
Extracting Top-k High Utility Patterns from Multi-level Transaction Databases
Lecture Notes in Computer Science - - Trang 296-306 - 2023
Le, Tuan M., Nguyen, Trinh D. D., Nguyen, Loan T. T., Kozierkiewicz, Adrianna, Tung, N. T.
An Efficient Approach for Mining High-Utility Itemsets from Multiple Abstraction Levels
Lecture Notes in Computer Science - - Trang 92-103 - 2021
Nguyen, Trinh D. D., Nguyen, Loan T. T., Kozierkiewicz, Adrianna, Pham, Thiet, Vo, Bay
On Formalizing the UML Object Constraint Language OCL
Lecture Notes in Computer Science - - Trang 449-464 - 1998
Richters, Mark, Gogolla, Martin
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Lecture Notes in Computer Science - - 2014
Yamine Aït‐Ameur, Klaus‐Dieter Schewe
Model-Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap
Lecture Notes in Computer Science - - Trang 536-543 - 2018
Bruneliere, Hugo, Eramo, Romina, Gómez, Abel, Besnard, Valentin, Bruel, Jean Michel, Gogolla, Martin, Kästner, Andreas, Rutle, Adrian
Annotating Movement Phrases in Vietnamese Folk Dance Videos
Lecture Notes in Computer Science - - Trang 3-11 - 2017
Ma-Thi, Chau, Tabia, Karim, Lagrue, Sylvain, Le-Thanh, Ha, Bui-The, Duy, Nguyen-Thanh, Thuy
Model Development in the Tool USE: Explorative, Consolidating and Analytic Steps for UML and OCL Models
Lecture Notes in Computer Science - - Trang 24-43 - 2021
Gogolla, Martin
Tổng số: 95   
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 10