Learn More
During the analysis phase of the development of a software system, conceptual models are created to establish a description of the problem domain. In this paper we introduce concepts that allow us to introduce non-determinism in the specification of behaviour in conceptual models and we provide formal and declarative semantics for these constructs. We(More)
ii Preface This volume contains papers presented at WLPE 2003, the 13th International Workshop on Logic Programming Environments. The aim of WLPE is to provide an informal meeting for researchers working on tools for development and analysis of logic programming. This year, the emphasis is on the presentation , pragmatics and experiences of such tools. We(More)
ii Preface This volume contains papers presented at WLPE 2003, the 13th International Workshop on Logic Programming Environments. The aim of WLPE is to provide an informal meeting for researchers working on tools for development and analysis of logic programming. This year, the emphasis is on the presentation , pragmatics and experiences of such tools. We(More)
  • 1