Towards Robust Data Storage in Wireless Sensor Networks (2009)
Siegmund, N, Rosenmuller, M, Moritz, G, Saake, G, Timmermann, D
Sistemistica, Università di Roma “La Sapienza”, 2003. (2009)
Diego Calvanese, D. Calvanese, D. Mcguinness, D. Nardi, ...
Demo of i.COM: a system based on DLs for reasoning on UML Class Diagrams Special guest E. Franconi (day 5)
The Role, J. Gouveia, P. Resende The, A. Heuer, G. Saake, Tu Clausthal, ...
ion and inference mechanisms for knowledge representation. In J. Schmidt and C. Thanos, editors, Foundations of Knowledge-Base Management, pages 91--111. Springer-Verlag, 1989. [136] A. Sernadas and...
Supporting Autonomy for Information Systems in a Changing Environment (2007)
Availability and scalability are important features of information systems. To gain this kind of requirements, we propose a distributed schema catalog in conjunction with appropriate development...
Supporting Autonomy for Information Systems in a Changing Environment (2007)
In the development of information systems, object-oriented specification (e.g. Troll [4]) is useful for conceptually modeling of the universe of discourse. Viewing an information system as a...
Troll Wieringa Jungclaus, R. J. Wieringa, R. Jungclaus, P. Hartel, T. Hartmann, G. Saake
We make an attempt to use concepts of the OMT analysis stage to develop formal object-oriented specifications in the TROLL language. The purpose is twofold: on the one hand, ambiguities, vaguenesses,...
U2: A Two-Level Temporal Logic For Evolving Specifications (2007)
G. Saake, C. Sernadas, C. Sernadas
Traditional information system specifications are fixed: the rules of the system are frozen at specification time. In practice, most systems have to change their rules in unexpected ways during their...
SIGMA-FDB: Overview of the Magdeburg-Approach to Database Federations (2007)
M. Höding, K. Schwarz, S. Conrad, G. Saake, S. Balko, A. Diekmann, ...
. The SIGMA FDB project attempts to offer an approach to schema integration and integegrity constraint maintenance in the field of federated database systems. In this extended abstract, we present...
The Role, J. Gouveia, P. Resende The, A. Heuer, G. Saake, Tu Clausthal, ...
ion and inference mechanisms for knowledge representation. In J. Schmidt and C. Thanos, editors, Foundations of Knowledge-Base Management, pages 91--111. Springer-Verlag, 1989. [136] A. Sernadas and...
A Comparison of the Notations Used in the Shlaer-Mellor Method and in TCM (2007)
This report compares two notation systems for requirements modeling, the notations used in the Shlaer-Mellor method for object-oriented analysis and the notations uses in TCM (Toolkit for Conceptual...
float ⎯ → Name string ⎯ → Name boolean ⎯ → Name (2007)
Klaus Benecke, Gommern Juni, Cfmr D. Chamberlain, P. Fankhauser, M. Marchiori, J. Robie, ...
name ⎯ → Name
Datenbanksysteme in Business, Technologie und Web (BTW 2007), Workshop Proceedings (2007)
Jarke, M., Seidl, T., Quix, C., Kensche, D., Conrad, S., Rahm, Erhard, ...
Jarke, M., Seidl, T., Quix, C., Kensche, D., Conrad, S., Rahm, E., ...
A Formal Analysis of the Shlaer-Mellor Method: Towards a toolkit of Formal and (1996)
In this paper, we define a number of tools that we think belong to the core of any toolkit for requirements engineers. The tools are conceptual and hence, they need precise definitions that lay down...
Deriving Liveness Goals from Temporal Logic Specifications (1996)
C. Caleiro, G. Saake, A. Sernadas
Introduction The use of temporal logic has been widely explored both on the fields of specification and certification of properties of reactive systems (Pnueli, 1977), (Sernadas, 1980), (Fiadeiro and...
In this paper, we define a number of tools that we think belong to the core of any toolkit for requirements engineers. The tools are conceptual and hence, they need precise definitions that lay down...
Gaining a Uniform View of Different Integration Aspects in a Prototyping Environment (1995)
J. Kusch, P. Härtel, T. Hartmann, G. Saake
: Prototyping based on formal specification should satisfy the requirements of engineers and users equally. The support of both groups requires a formalization of all activities as contract base and...
omTroll - Object Modeling in TROLL (1993)
R.J. Wieringa, R. Jungclaus, P. Hartel, T. Hartmann, G. Saake
We make an attempt to use concepts of the OMT analysis stage to develop formal object-oriented specifications in the TROLL language. The purpose is twofold: on the one hand, ambiguities, vaguenesses,...
Proof-Theoretic Semantics Of Object-Oriented Specification Constructs (1990)
J. Fiadeiro, C. Sernadas, T. Maibaum, G. Saake
this paper is to show how a collection of specification constructs may be formally defined that supports the former effort. We should stress that we shall not attempt to provide a full and practical...
Sorting, grouping and duplicate elimination in the advanced information management prototype (1989)
G. Saake, V. Linnemann, P. Pistor
Sorting, duplicate suppression and grouping are important operations in relational database man-agement systems. This paper is devoted to the re-lated language features and their implementation in...
Duplicate Detection and Deletion in the Extended NF (1989)
Data Model Kspert, K. Küspert, G. Saake, L. Wegner
A current research topic in the area of relational databases is the design of systems based on the Non First Normal Form (NF ) data model. One particular development, the so-called extended NF data...
Supporting Autonomy for Information Systems in a Changing Environment
Availability and scalability are important features of information systems. To gain this kind of requirements, we propose a distributed schema catalog in conjunction with appropriate development...