The OO-Method approach for information systems modeling: from object-oriented conceptual modeling to automated programming
Current and future (conventional) notations used in Conceptual Modeling Techniques
should have a precise (formal) semantics to provide a well-defined software development …
should have a precise (formal) semantics to provide a well-defined software development …
Specifying communication in distributed information systems
We present two logics that allow specifying distributed information systems, emphasizing
communication among sites. The low-level logic \sfD_0 offers features that are easy to …
communication among sites. The low-level logic \sfD_0 offers features that are easy to …
OOD frameworks in component-based software-Development in computational logic
KK Lau, M Ornaghi - … Workshop on Logic Programming Synthesis and …, 1998 - Springer
Abstract Current Object-oriented Design (OOD) methodologies tend to focus on objects as
the unit of reuse, but it is increasingly recognised that frameworks, or groups of interacting …
the unit of reuse, but it is increasingly recognised that frameworks, or groups of interacting …
Formal specification of Catalysis frameworks
JK Filipe, KK Lau, M Omaghi, K Taguchi… - … Seventh Asia-Pacific …, 2000 - ieeexplore.ieee.org
Frameworks are increasingly being recognised as very useful components in the emerging
paradigm of component-based software development (CBD). They are widely accepted as …
paradigm of component-based software development (CBD). They are widely accepted as …
[PDF][PDF] Foundations of a module concept for distributed object systems
JK Filipe - 2000 - leopard.tu-braunschweig.de
This thesis provides a logical and mathematical foundation for object-oriented specification
languages with a further modularisation unit between the system and object classes. The …
languages with a further modularisation unit between the system and object classes. The …
Object-oriented design frameworks: Formal specification and some implementation issues
In component-based software development, object-oriented design (OOD) frameworks are
increasingly recognised as better units of reuse than objects. This is because OOD …
increasingly recognised as better units of reuse than objects. This is because OOD …
On dynamic aspects of OOD frameworks in component-based software development in computational logic
J Küster Filipe, KK Lau, M Ornaghi, H Yatsu - Logic-Based Program …, 2000 - Springer
In component-based software development, object-oriented design (OOD) frameworks are
increasingly recognised as better units of reuse than objects. This is because OOD …
increasingly recognised as better units of reuse than objects. This is because OOD …
Increasing reusability in information systems development by applying generic methods
S Eckstein, P Ahlbrecht, K Neumann - … , June 4–8, 2001 Proceedings 13, 2001 - Springer
Increasing the reuse of parts of the specification and implementation of complex software
systems, as for example information systems, may lead to substantial progress in the …
systems, as for example information systems, may lead to substantial progress in the …
[PDF][PDF] Checking object systems via multiple observers
HD Ehrich, R **er - … ICSC Congress on Intelligent Systems & …, 2000 - researchgate.net
Verification of concurrent systems is usually done from the viewpoint of a sequential
observer outside the system. We show that it may be useful to employ several …
observer outside the system. We show that it may be useful to employ several …
[PDF][PDF] Impact of mobility on information systems and information system design.
P Ahlbrecht - 2004 - leopard.tu-braunschweig.de
In the context of this dissertation, information systems are viewed as software systems
offering a number of information services based on a typically large data repository. More …
offering a number of information services based on a typically large data repository. More …