B method is applied to define the specification of component interfaces and verify trustworthiness of component connections in this paper. UML class diagram and state diagram are firstly applied to ...

Structural diagrams show the static aspects of a system, such as classes, objects, components, and interfaces. Behavioral diagrams show the dynamic aspects of a system, such as use cases ...

In this paper, an intuitive user interface model for circuit prototyping to create powerful battery in the form of transient diagrams. A nice simple simulator of electronic circuits. It is very easy ...