Use Case Analysis Based on Formal Methods: An Empirical Study

Author(s):  
Marcos Oliveira ◽  
Leila Ribeiro ◽  
Érika Cota ◽  
Lucio Mauro Duarte ◽  
Ingrid Nunes ◽  
...  
2016 ◽  
Vol 9 (48) ◽  
Author(s):  
Anuja Bokhare ◽  
P. S. Metkewar ◽  
R. S. Walse

2014 ◽  
Vol 90 (11) ◽  
pp. 13-19
Author(s):  
Pallavi Pandit ◽  
Meena Sharma
Keyword(s):  

Author(s):  
N. Stefanou ◽  
D. Kazantzidou – Firtinidou ◽  
G. Sakkas ◽  
G. Theodoridis ◽  
V. Rousakis

Author(s):  
Jing Liu ◽  
Zhiming Lui ◽  
Xiaoshan Li ◽  
He Jifend ◽  
Yifeng Chen

In this chapter, we study the use of a formal object-oriented method within Relational Unified Process (RUP). Our purposes are (a) to unify different views of UML models; (b) to enhance RUP and UML with a formal method to improve the quality of software; (c) to scale up the use of the formal method with the use-case driven, iterative and incremental aspects of RUP. Our overall aim is to establish a sound foundation of RUP and UML and scale up the use of formal methods in software-intensive system development.


Author(s):  
Ala Sarah Alaqra ◽  
Eleneora Ciceri ◽  
Simone Fischer-Hubner ◽  
Bridget Kane ◽  
Marco Mosconi ◽  
...  
Keyword(s):  

Energies ◽  
2020 ◽  
Vol 13 (16) ◽  
pp. 4223
Author(s):  
Katja Sirviö ◽  
Kimmo Kauhaniemi ◽  
Aushiq Ali Memon ◽  
Hannu Laaksonen ◽  
Lauri Kumpulainen

The operation of microgrids is a complex task because it involves several stakeholders and controlling a large number of different active and intelligent resources or devices. Management functions, such as frequency control or islanding, are defined in the microgrid concept, but depending on the application, some functions may not be needed. In order to analyze the required functions for network operation and visualize the interactions between the actors operating a particular microgrid, a comprehensive use case analysis is needed. This paper presents the use case modelling method applied for microgrid management from an abstract or concept level to a more practical level. By utilizing case studies, the potential entities can be detected where the development or improvement of practical solutions is necessary. The use case analysis has been conducted from top-down until test use cases by real-time simulation models. Test use cases are applied to a real distribution network model, Sundom Smart Grid, with measurement data and newly developed controllers.. The functional analysis provides valuable results when studying several microgrid functions operating in parallel and affecting each other. For example, as shown in this paper, ancillary services provided by an active customer may mean that both the active power and reactive power from customer premises are controlled at the same time by different stakeholders.


2020 ◽  
Author(s):  
Julia Schmidt

As of 7 March 2013, the possibility of combining juvenile detention and a suspended juvenile sentence as regulated in § 16a JGG was added to the system of sanctions under juvenile criminal law. Based on the central arguments in favour and against the so-called “Warnschussarrest”, the author analyses the regulation of § 16a JGG on a normative and empirical level. Specifically, the legal requirements in § 16a JGG and its compatibility with the sanction regime of the JGG are discussed. The focus is on a broad-based empirical study of the implementation in Bavaria, which examines the status quo of § 16a JGG by means of a detailed case analysis, a survey conducted with Bavarian juvenile court judges and interviews with experts in the relevant juvenile detention centres. It also considers the question of recidivism after such a conviction. The author concludes the work with a proposal on how § 16a JGG can be improved.


Sign in / Sign up

Export Citation Format

Share Document