Publication

Foundations of systems and properties

Related publications (176)

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

StreamCom: Business Analysis and System Design Specification

Alain Wegmann, Pavel Balabko, Hien Dat Tran

This report represents the work of several people within the framework of the StreamCom project. This work, done together with our colleges from the University of St. Gallen, covers the modeling part of StreamCom. The aim of the modeling part of the Stream ...

2002

On Quality Attribute Based Software Engineering

Alain Wegmann, Otto Preiss

For a software system to be perceived as a success, or even just as properly functioning, many quality attributes, besides functionality, need to be at an acceptable level. However, current software development processes focus on the functional aspects of ...

2001

Stakeholder Discovery and Classification Based on Systems Science Principles

Alain Wegmann, Otto Preiss

It is the goal of our research work to elaborate on improvements to the software development methods so that quality attributes can be handled more systematically. By quality attributes we mean the large group of typically systemic properties of a software ...

2001

Conceptual Modeling of Complex Systems Using an RM-ODP Based Ontology

Alain Wegmann, Andrey Naumenko

The development of business and information systems requires a significant amount of modeling. The current modeling languages and tools have difficulties supporting the modeling of systems spanning through multiple organizational levels. The use of inadequ ...

2001

Intégration énergétique de procédés discontinus à l'aide d'algorithmes génériques.

François Maréchal, Daniel Favrat, Pierre Krummenacher

This report presents a new methodological approach for the optimal design of energy integrated batch processes. The main emphasis is put on indirect and, to some extend, on direct heat exchange networks with the possibility of introducing closed or open st ...

2001

Specifying Concurrent System Behavior and Timing Constraints Using OCL and UML

Shane Sendall

Despite advances in implementation technologies of distributed systems during the last few years, little progress has been made on specification techniques for describing distributed systems in software development practice. The contribution of this paper ...

Springer Verlag2001

Recursive restartability: turning the reboot sledgehammer into a scalpel

George Candea

Even after decades of software engineering research, complex computer systems still fail, primarily due to nondeterministic bugs that are typically resolved by rebooting. Conceding that Heisenbugs will remain a fact of life, we propose a systematic investi ...

2001

Integrating the ConcernBASE Approach with SADL

Shane Sendall, Mohamed Mancona Kandé, Valentin Crettaz

We describe ConcernBASE, a UML-based approach that is an instantiation of the IEEE's Conceptual Framework (Std 1471) for describing software architectures. We show how the approach supports advanced separation of concerns in software architecture by allowi ...

Springer Verlag2001

The Role of 'Roles' in Use Case Diagrams

Alain Wegmann

Use cases are the modeling technique of UML for formalizing the functional requirements placed on systems. This technique has limitations in modeling the context of a system, in relating systems involved in a same business process, in reusing use cases, an ...

2000

The Role of ¨Roles¨ in Use Case Diagrams

Alain Wegmann

2000