Formal Analysis Of Use Case Diagrams
Use case diagrams play an important role in modeling with UML. Careful modeling is crucialin obtaining a correct and efficient system architecture. The paper refers to the formalanalysis of the use case diagrams. A formal model of use cases is proposed and its constructionfor typical relationships b...
Main Authors: | Radosław Klimek, Piotr Szwed |
---|---|
Format: | Article |
Language: | English |
Published: |
AGH University of Science and Technology Press
2010-01-01
|
Series: | Computer Science |
Subjects: | |
Online Access: | http://journals.agh.edu.pl/csci/article/download/117/66 |
Similar Items
-
A system for deduction-based formal verification of workflow-oriented software models
by: Klimek Radosław
Published: (2014-12-01) -
Formal Verification Methodologies for NULL Convention Logic Circuits
by: Le, Son Ngoc
Published: (2021) -
Scratch-Based User-Friendly Requirements Definition for Formal Verification of Control Systems
by: Iwona GROBELNA
Published: (2020-06-01) -
Abstraction for Verification and Refutation in Model Checking
by: Wei, Ou
Published: (2009) -
Abstraction for Verification and Refutation in Model Checking
by: Wei, Ou
Published: (2009)