The need for formal methods for Object Oriented (OO) systems resulted in methods like UML and Lepus3 that are de-facto graphical languages equipped with formal tools that are able to handle the design of OO systems. However, they lack precise semantics which might lead to problems, such as inconsistencies or redundancies. On the other hand, to our knowledge, there is no approach that allows one to understand and follow the requirements...

Supercapacitors are capable to store relatively high amount of energy comparing to its mass. Growing number of these devices applications requires development of new testing methods. Standard methods of evaluation of supercapacitor parameters, as cycling voltammetry, CV, galvanostatic cycling with potential limitation, GCPL, impedance measurements, require equipment of high cost...

The purpose of this work is to present the development of an open-source software based on a discrete description of matter applied to study the behavior of geomaterials. This software uses Object Oriented Programming techniques, and its methodology design uses three different methods, which are the Discrete Element Method (DEM) [F. Donzé, S.A. Magnier, Formulation of a three-dimensional numerical model of brittle behavior, Geophys....