Abstract—The threat modeling process starts with the phases of identifying critical assets, creating an architecture overview, and decomposing to identify possible points of attack. Data flow diagrams and sequence diagrams are used in this process. This paper proposes an alternative flow-based methodology for building an architectural map for the system. It provides a high-level methodology for...

We present a tool for measuring the Function Point software metric from the specification of a software system expressed in the form of an Entity Relationship diagram plus a Data Flow Diagram (ER-DFD). First, the informal and general Function Point counting rules are translated into rigorous rules expressing properties of the ER-DFD. Then, the rigorous rules are ∗ Corresponding author: tel ++39...

Voronoi diagrams have recently received attention as data structures containing significant information about the spatial adjacency of map objects. Despite their theoretical efficiency, batch construction techniques require complete rebuilding after each modification. Incremental Voronoi creation methods use processes such as insert, delete and move for points, and from these derive insertion a...

We define the spatial constraints and objective function for weight-proportional partitioning of information spaces. We evaluate existing methods in light of these definitions and find that none performs as desired. We then formulate an alternative approach based on an adaptive version of the multiplicatively weighted Voronoi diagram; i.e., the diagram’s weights are computed based on a set of p...

This paper presents a CASE tool for the specification, design, implementation, testing, and maintenance of multimedia presentations. The proposed system is based on a Petri net machine to control event-based resource synchronization. Data flow diagrams and control flow diagrams are used as the specification of a multimedia presentation. The system then allows the specification to be stepwise re...

The rule 184 fuzzy cellular automaton is regarded as a mathematical model of traffic flow because it contains the two fundamental models, and Burgers equation, special cases. We show that diagram (flux–density diagram) this consists three parts: free-flow part, congestion part two-periodic part. which may correspond to synchronized mode region, two-dimensional area in diagram, boundary parts. p...