We explain how diierent semantic data models like the ER model, the ERC approach and the OMT structural modeling method could be transformed into a semantically well-deened extended Entity-Relationship model and calculus.

It is generally accepted that the quality of the information system (IS) is highly dependent on decisions made early in the IS development. Conceptual data model is a key artifact built at the early phases of the IS life cycle, therefore its quality influence on the quality of IS which is finally implemented. We focus this paper on the maintainability of conceptual data models, because it is on...

Parametrized iterativity of an algebra means the existence of unique solutions of all finitary recursive systems of equations where recursion is allowed to use only some variables (chosen as a parameter). We show how such algebras can be introduced in an arbitrary category A by employing a base, i.e., an operation interpreting objects of A as monads on A. For every base we prove that free base ...

Thinking process development diagram is a graphical expression from which readers can easily find not only the hierarchy of a given problem but the relationship between the problem and the solution. Although that has been developed as an idea creation support tool in the field of mechanical design, we referred to the restricted version as clamshell diagram to attempt to apply to other fields. I...

In the area of requirements engineering there are elicitation techniques that are based on business context to identify the software requirements. However, these techniques do not commonly use business processes models as a source of information relevant to the elicitation of requirements. Such techniques extract use cases from business processes models. However, before modeling use cases, it i...

In this report, we present a general framework for testing timecritical systems and software as it is proposed in the European IST project MaTeLo. The main task is to derive TTCN-3 compatible test case descriptions starting from annotated sequence diagrams, which specify additional non-functional requirements. In our methodology we combine statistical usage testing based on Markov chain usage m...

A density functional theory for the bulk phase diagram of two-dimensional orientable hard rods is proposed and tested against Monte Carlo computer simulation data. In detail, an explicit density functional is derived from fundamental mixed measure theory and freely minimized numerically for hard discorectangles. The phase diagram, which involves stable isotropic, nematic, smectic, and crystalli...

Monads are an important topic in functional programming. In Haskell, for example, monadic I/O is the only way to perform I/O at all. However, newcomers to functional programming, such as bachelor students, often struggle with learning about monads. In other domains, graphical formalisms such as Venn diagrams or commutative diagrams are often used to support students with a visual learning prefe...

The objective of this paper is to present an environment for the management of functional and non-functional requirements in systems project, developed using the XML (Extensible Markup Language) standard. This environment receives as inputs two entry structures for software requirements modelling: the UML ́s Use Case diagram, which describes functional requirements; and the I* framework used by ...