Concept

Object-oriented analysis and design

Related publications (219)

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.

A Component Approach to Optical Transmission Network Design

The article describes the philosophy of component approach to system design, illustrated on the optical transmission network example. The approach is based on the object oriented paradigms of Cosmos and Nyx tools. Cosmos serves as the support for system an ...

Springer2006

RoclET – A Tool for Wrestling with OCL Specifications

Slavisa Markovic, Cédric Jeanneret, Leander Eyer

In this paper, we describe the architecture and the functionality of our own OCL tool called RoclET. Besides standard features of OCL tools such as editing of class and object diagrams and parsing of OCL assertions (invariants, pre-/post-conditions), our t ...

2006

A typed intermediate language and algorithms for compiling scala by successive rewritings

Philippe Altherr

Scala is a general-purpose programming language developed at EPFL. It combines concepts coming from object-oriented languages with other ones coming from functional languages. Scala is strongly typed and comes with a relatively complex type system, which i ...

EPFL2006

RoclET– Refactoring OCL Expressions by Transformations

Slavisa Markovic, Cédric Jeanneret, Leander Eyer

The role of UML models in software development has changed considerably over the last years. While UML was used in its early days mostly as a notation for sketching ideas, developers more and more recognize now the value of a UML model as a formal document ...

2006

Animal dispersal modelling: handling landscape features and related animal choices

Séverine Vuilleumier Varisco, Richard Metzger

Animal dispersal in a fragmented landscape depends on the complex interaction between landscape structure and animal behavior. To better understand how individuals disperse, it is important to explicitly represent the properties of organisms and the landsc ...

Elsevier2006

A Predictable Communication Scheme for Embedded Multiprocessor Systems

Paolo Ienne, Mehmet Harmanci, Yusuf Leblebici

Networks-on-Chip are emerging as a widely accepted alternative for the traditional bus architectures. However, their applicability by the system designers is far away from being intuitive due to their lack of predictability. This communication predictabili ...

2006

Refactoring OCL Annotated UML Class Diagrams

Slavisa Markovic

Refactoring of UML class diagrams is an emerging research topic and heavily inspired by refactoring of program code written in object-oriented implementation languages. Current class diagram refactoring techniques concentrate on the diagrammatic part but n ...

2005

Object-oriented approach for dynamic system modelling and simulation

Adel Besrour

Software engineering always cares to provide solutions for building applications as close as possible to what they should be, according to the requirements and the final users needs. Systems behavior simulation is a very common application to virtually rep ...

EPFL2005

The KeY Tool

KeY is a tool that provides facilities for formal specification and verification of programs within a commercial platform for UML based software development. Using the KeY tool, formal methods and object-oriented development techniques are applied in an in ...

Springer2005

Modelling and schedulling of remanufacturing systems

In this thesis, the modelling and scheduling of remanufacturing systems is considered. An eXtended two-level Coloured Petri Net (XCPN) model is proposed for the objective of modelling remanufacturing shops. The extended model integrates the formalism of an ...

EPFL2005