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:
Employing the Object Constraint Language in Model-Based Engineering
Lecture Notes in Computer Science - - Trang 1-2 - 2013
MBE (Model-Based Engineering) proposes to develop software by taking advantage
of models, in contrast to traditional code-centric development approaches. If
models play a central role in development, model properties must be formulated
and checked early on the...
Proving Properties of Operation Contracts with Test Scenarios
Lecture Notes in Computer Science - - Trang 97-107 - 2023
This contribution studies structural and behavioral models by applying (a) UML
classes, associations, attributes, generalization and OCL invariants for
structural model features and (b) UML operations and OCL contracts, i.e., pre-
and postconditions, for...
Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support
Lecture Notes in Computer Science - - 2008
Building Tightly Integrated Software Development Environments: The IPSEN Approach
Lecture Notes in Computer Science - - 1996
Extracting Top-k High Utility Patterns from Multi-level Transaction Databases
Lecture Notes in Computer Science - - Trang 296-306 - 2023
Several approaches have been introduced to solve the problem of high utility
pattern mining (HUPM). However, the proposed algorithms require a minimum
utility threshold before execution. This task is impractical for end users as
they do not know utility distributions...
An Efficient Approach for Mining High-Utility Itemsets from Multiple Abstraction Levels
Lecture Notes in Computer Science - - Trang 92-103 - 2021
The goal of the high-utility itemset mining task is to discover combinations of
items which that yield high profits from transactional databases. HUIM is a
useful tool for retail stores to analyze customer behaviors. However, it ignores
the categorization of items....
On Formalizing the UML Object Constraint Language OCL
Lecture Notes in Computer Science - - Trang 449-464 - 1998
We present a formal semantics for the Object Constraint Language (OCL) which is
part of the Unified Modeling Language (UML) – an emerging standard language and
notation for object-oriented analysis and design. In context of information
systems modeling, UML...
Model-Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap
Lecture Notes in Computer Science - - Trang 536-543 - 2018
This paper reports on the first Workshop on Model-Driven Engineering for
Design-Runtime Interaction in Complex Systems (also called MDE@DeRun 2018) that
took place during the STAF 2018 week. It explains the main objectives, content
and results of the event. Based on...
Annotating Movement Phrases in Vietnamese Folk Dance Videos
Lecture Notes in Computer Science - - Trang 3-11 - 2017
This paper aims at the annotation of movement phrases in Vietnamese folk dance
videos that were mainly gathered, stored and used in teaching at art schools and
in preserving cultural intangible heritages (performed by different famous folk
dance masters). We propose...
Tổng số: 95
- 1
- 2
- 3
- 4
- 5
- 6
- 10