Thorsten Hartmann

Learn More
Alterations in the cholinergic physiology of the brain were the first to be observed when research on environmental influences on postnatal brain development began 35 years ago. Since then, the effects of isolated rearing (IR) or early pharmacological insults have been shown not only on the physiology, but also the anatomy of a variety of transmitter(More)
TROLL is a language particularly suited for the early stages of information system development, when the universe of discourse must be described. In TROLL the descriptions of the static and dynamic aspects of entities are integrated into object descriptions. Sublanguages for data terms, for first-order and temporal assertions, and for processes, are used to(More)
Sa 465/1-2. y This is the rst completely deened version of the language { any comments, suggestions and error messages are welcome and greatly appreciated. They should be sent to the rst author (email: Abstract In this report we present the language T ROLL. It is a language particularly suited to be used in the early stages of information system design(More)
Conceptual modelling, sometimes in conjunction with requirements acquisition, is widely accepted as the rst formal step in information system speciication and design. Since knowledge about the world to be modelled is often vague in early development phases, formalisms for conceptual modelling must support a wide variety of concepts for describing real(More)
In this paper, an approach to formally specify a conceptual model of a system and its environment to be developed in a behavior-oriented way is presented. We identify those concepts of object-oriented approaches that have to be formalized. We then propose characteristics of behavior-oriented mathematical models representing a system as a collection of(More)
We present features of the language T ROLL for the abstract specification of information systems. Information systems are regarded to be reactive systems with a large database. Before we present the constructs of T ROLL , we briefly explain the basic ideas on which the language relies. The UoD is regarded to be a collection of interacting objects. An object(More)
Prototyping based on formal speciication should satisfy the requirements of engineers and users equally. The support of both groups requires a formalization of all activities as contract base and an increase of experience by experimental strategies. Contrary to these requirements several problems rest with existing software development environments, which(More)