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:
On combining semi-formal and formal object specification techniques
Lecture Notes in Computer Science - - Trang 238-252 - 1998
In the early phases of software development it seems profitable to freely mix
semi-formal and formal design techniques. Formal techniques have their strength
in their ability to rigorously define desired software qualities like
functionality, whereas semi-formal...
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
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....
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...
Generating OCL Constraints from Test Case Schemas For Testing Model Behavior
Lecture Notes in Computer Science - - Trang 62-68 - 2018
This contribution studies testing behavioral aspects of a given UML and OCL
model. In our approach, a so-called model validator can automatically generate
test cases (object models) by using configurations for the object models and
manually formulated OCL...
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...
A Thermal Facial Emotion Database and Its Analysis
Lecture Notes in Computer Science - - Trang 397-408 - 2014
In recent years, thermal image has extensively been used in many fields such as
military (e.g., target acquisition, surveillance, night vision, homing and
tracking) and civilian purposes (e.g., medical diagnosis, thermal efficiency
analysis, environmental...
Translating TROLL light concepts to Maude
Lecture Notes in Computer Science - - Trang 173-187 - 1994
The specification language TROLL light is designed for the conceptual modeling
of information systems. Maude is a logic programming language, which unifies the
two paradigms of functional and concurrent object-oriented programming. Because
of the very similar...
Tổng số: 95
- 1
- 2
- 3
- 4
- 5
- 6
- 10