Model-Based Performance Risk Analysis
- Vittorio Cortellessa,
- Katerina Goseva-Popstojanova,
- Kalaivani Appukkutty,
- Ajith R. Guedem,
- Ahmed Hassan,
- Rania Elnaggar,
- Walid Abdelmoez,
- Hany H. Ammar
Performance is a nonfunctional software attribute that plays a crucial role in wide application domains spreading from safety-critical systems to e-commerce applications. Software risk can be quantified as a combination of the probability that a ...
Toward Formalizing Domain Modeling Semantics in Language Syntax
Information Systems are situated in and are representations of some business or organizational domain. Hence, understanding the application domain is critical to the success of information systems development. To support domain understanding, the ...
Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures
We introduce a new BDD-like data structure called Hybrid-Restriction Diagrams (HRDs) for the representation and manipulation of linear hybrid automata (LHA) state-spaces and present algorithms for weakest precondition calculations. This permits us to ...
Class Point: An Approach for the Size Estimation of Object-Oriented Systems
In this paper, we present an FP-like approach, named Class Point, which was conceived to estimate the size of object-oriented products. In particular, two measures are proposed, which are theoretically validated showing that they satisfy well-known ...
The Class Blueprint: Visually Supporting the Understanding of Classes
Understanding source code is an important task in the maintenance of software systems. Legacy systems are not only limited to procedural languages, but are also written in object-oriented languages. In such a context, understanding classes is a key ...