Shane Sendall

,QWHJUDWLQJ WKH &RQFHUQ%$6 ( $SSURDFK ZLWK 6$'/ (2008)

Valentin Crettaz, Mohamed Mancona K, Shane Sendall, Alfred Strohmeier

$������ � 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...

ÉCOLE POLYTECHNIQUE FÉDÉRALE DE LAUSANNE POUR L’OBTENTION DU GRADE DE DOCTEUR ÈS SCIENCES PAR (2008)

Shane Sendall, Prof Colin Atkinson, Prof Rudolf Keller, Prof Alain Wegmann

Originaire de la Nouvelle-Zélande acceptée sur proposition du jury: Prof. A. Strohmeier, directeur de thèse

Modeling Enterprise Web Applications (2008)

Shane Sendall, Alfred Strohmeier

ABSTRACT The purpose of this paper is to provide an overview of our approach for modeling enterprise web applications (EWA), which is use case driven and uses UML as the modeling language. Our...

Course Overview � Theory (3 hours) � Motivation for Use Cases � Use Case Basics � Coming Up with Use Cases (Process) � Use Cases in UML � Use Cases Tips and Tricks � Exercises (4 hours) (2008)

Shane Sendall, Alfred Strohmeier, S. Sendall, A. Strohmeier

� Upon completion of this section, participants should be able to: � write use cases that capture functional requirements of a system under development; � understand the importance of capturing...

Understanding Model Transformation by Classification and Formalization (2008)

Shane Sendall, Rainer Hauser, Jana Koehler, Jochen Küster, Michael Wahler

Software modeling techniques offer a means to address the size and complexity of modern day software problems through the use of abstraction, projection, and decomposition. Typically, multiple models...

Specifying System Behavior in UML (2008)

Shane Sendall, Alfred Strohmeier

ABSTRACT The purpose of the paper is to present our approach for specifying system behavior. Our approach is based on operation schemas and a system interface protocol (SIP). Operation schemas...

▲ Exercises (2008)

Shane Sendall, Alfred Strohmeier

▲ Upon completion of this course, participants should be able to: ◆ write use cases that capture functional requirements of a system under development; ◆ understand the role of use cases in...

UML and OCL (2008)

Alfred Strohmeier, Thomas Baar, Shane Sendall

The purpose of the paper is to present our approach for specifying system behavior during analysis, part of the Fondue software development method. The approach is exemplified on a case study, a...

Use Cases (2008)

Jörg Kienzle, Shane Sendall, Aaron Shui, Sadaf Mustafiz, Er Romanovsky, Christophe Dony, ...

• Discover the requirements of the system to develop • User expectations • Functional requirements • Non-functional requirements / qualities

UML (2008)

Mohamed Mancona K, Valentin Crettaz, Alfred Strohmeier, Shane Sendall

ABSTRACT A lot of attention has been paid to software architecture issues in both the software engineering research community and standardization organizations working in the software area. On one...

UML and OCL (2007)

Alfred Strohmeier, Thomas Baar, Shane Sendall

The purpose of the paper is to present our approach for specifying system behavior during analysis, part of the Fondue software development method. The approach is exemplified on a case study, a...

Design Patterns (2007)

Shane Sendall Swiss, Shane Sendall

this paper, I address these questions by offering a means to judge the quality of examples for teaching design patterns: a list of desirable characteristics. The proposed list can be used to gauge...

Specifying reactive system behavior (2005)

Sendall, Shane

Fundamentally, the development of software applications involves dealing with two distinct domains: the real world and software domains; the two converge at the point where a software application is...

Applying Fondue to Specify a Drink Vending Machine (2004)

Strohmeier, Alfred, Baar, Thomas, Sendall, Shane

The purpose of the paper is to present our approach for specifying system behavior during analysis, part of the Fondue software development method. The approach is exemplified on a case study, a...

Comparing Two Model Transformation Approaches (2004)

Jochen M. Küster, Shane Sendall, Michael Wahler

Abstract. For the MDA vision to become a reality, there must be a viable means to perform model-to-model transformation. In this paper, we compare and contrast two approaches to model transformation:...

Taming Model Round-Trip Engineering (2004)

Shane Sendall, Jochen Küster

Abstract: Round-trip engineering is a challenging task that will become an important enabler for many Model-Driven Software Development approaches. Model round-trip engineering involves synchronizing...

Taming Model Round-Trip Engineering (2004)

Shane Sendall, Jochen Küster

Abstract: Round-trip engineering is a challenging task that will become an important enabler for many Model-Driven Software Development approaches. Model round-trip engineering involves synchronizing...

Supporting Model-to-Model Transformations: The VMT Approach (2003)

Sendall, Shane, Perrouin, Gilles, Guelfi, Nicolas, Biberstein, Olivier

The model-driven architecture approach (MDA) promotes software development as driven by a thorough modeling phase where application code is automatically generated from a platform specific UML model...

Model Transformation the Heart and Soul of Model-Driven Software Development (2003)

Sendall, Shane, Kozaczynski, Wojtek

The motivation behind model-driven software development is to move the focus of work from programming to solution modeling. The model-driven approach has a potential to increase development...

Applying Fondue to Specify a Drink Vending Machine (2003)

Strohmeier, Alfred, Baar, Thomas, Sendall, Shane

The purpose of the paper is to present our approach for specifying system behavior during analysis, part of the Fondue software development method. The approach is exempli ed on a case study, a Drink...

Applying Fondue to Specify a Drink Vending Machine (2003)

Strohmeier, Alfred, Baar, Thomas, Sendall, Shane

The purpose of the paper is to present our approach for specifying system behavior during analysis, part of the Fondue software development method. The approach is exemplified on a case study, a...

Model Transformation: The Heart and Soul of Model-Driven Software Development (2003)

Shane Sendall, Wojtek Kozaczynski

The motivation behind model-driven software development is to move the focus of work from programming to solution modeling. The model-driven approach has a potential to increase development...

O.: Supporting Model-toModel Transformations: The VMT Approach (2003)

Shane Sendall, Gilles Perrouin, Nicolas Guelfi, Olivier Biberstein

The model-driven architecture approach (MDA) promotes software development as driven by a thorough modeling phase where application code is automatically generated from a platform specific UML model...

Specifying reactive system behavior (2002)

Sendall, Shane

Fundamentally, the development of software applications involves dealing with two distinct domains: the real world and software domains; the two converge at the point where a software application is...

Using OCL and UML to Specify System Behavior (2002)

Sendall, Shane, Strohmeier, Alfred

Use cases are an excellent tool for capturing behavioral requirements of software systems, but they are not an ideal work product for driving design activities. We believe that there is value from...

Gauging the Quality of Examples for Teaching Design Patterns (2002)

Sendall, Shane

What constitutes a good example in the context of teaching design patterns? How can instructors judge whether one example is better than another one for teaching a design pattern to students? How...

Gauging the Quality of Examples for Teaching Design Patterns (2002)

Sendall, Shane

What constitutes a good example in the context of teaching design patterns? How can instructors judge whether one example is better than another one for teaching a design pattern to students? How...

Specifying Reactive System Behavior (2002)

Sendall, Shane

This thesis involved initially identifying a set of characteristics, which define desirable qualities for specifications to possess for the purposes of clearly communicating to the development team...

Integrating the ConcernBASE Approach with SADL (2001)

Crettaz, Valentin, Kandé, Mohamed Mancona, Sendall, Shane, Strohmeier, Alfred

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...

Specifying Concurrent System Behavior and Timing Constraints Using OCL and UML (2001)

Sendall, Shane, Strohmeier, Alfred

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...

Operation Schemas and OCL (2001)

Strohmeier, Alfred, Sendall, Shane

This report describes the syntax and usage of operation schemas and it also shows how we use UML's object constraint language (OCL) in operation schemas.

From Use Cases to System Operation Specifications (2000)

Sendall, Shane, Strohmeier, Alfred, Kent, Stuart, Evans, Andy

The purpose of this paper is to first showcase the concept of an operation schema - a precise form of system-level operation specification and secondly show how operation schemas enhance development...

Enhancing OCL for Specifying Pre- and Postconditions (2000)

Sendall, Shane, Strohmeier, Alfred

This paper proposes a number of enhancements to UML's Object Constraint Language to improve its usability for specifying operations by pre- and postconditions. In particular, we propose notational...

Specifying System Behavior in UML (2000)

Sendall, Shane, Strohmeier, Alfred

The purpose of the paper is to present our approach for specifying system behavior. Our approach is based on operation schemas and a system interface protocol (SIP). Operation schemas describe the...

Modeling Enterprise Web Applications (2000)

Sendall, Shane, Strohmeier, Alfred

The purpose of this paper is to provide an overview of our approach for modeling enterprise web applications (EWA), which is use case driven and uses UML as the modeling language. Our approach...

Descriptive Object-Oriented Operation Specification for UML (2000)

Strohmeier, Alfred, Sendall, Shane

The purpose of this paper is to show how system operations can be specified by pre- and postconditions using the Object Constraint Language (OCL), as defined by the Unified Modeling Language (UML)...

From use cases to system operation specifications (2000)

Shane Sendall, Alfred Strohmeier

ABSTRACT The purpose of this paper is to first showcase the concept of an operation schema---a precise form of system-level operation specification---and secondly show how operation schemas enhance...

Enhancing OCL for specifying pre- and post-conditions (2000)

Shane Sendall, Alfred Strohmeier

ABSTRACT This paper proposes a number of enhancements to UML’s Object Constraint Language to improve its usability for specifying operations by pre- and postconditions. In particular, we propose...

From use cases to system operation specifications (2000)

Shane Sendall, Alfred Strohmeier

ABSTRACT The purpose of this paper is to first showcase the concept of an operation schema—a precise form of system-level operation specification—and secondly show how operation schemas enhance...

UML-based Fusion Analysis (1999)

Sendall, Shane, Strohmeier, Alfred, France, Robert, Rumpe, Bernard

In recent times, there has been an increased requirements for software to be distributed. The well-known Fusion development method, however, can only be used to develpp sequential reactive systems,...

Fusion Applied to Distributed Multimedia System Development: the Easy Meeting Case Study (1999)

Sendall, Shane, Guelfi, Nicolas, Strohmeier, Alfred

The well-known Fusion object-oriented methodology is restricted to the development of sequential systems and certain restricted kinds of concurrency systems. Consequently, the development of...

Specifying the Semantics of Machine Instructions (1998)

Cifuentes, C., Sendall, Shane

Computer architecture manuals describe the instruction set of the machine and the semantics of those instructions by a combination of natural language and ISP (Instruction Set Processor)...

Specifying the semantics of machine instructions (1998)

Cristina Cifuentes, Shane Sendall

Computer architecture manuals describe the instruction set of the machine and the semantics of those instructions by a combination of natural language and ISP (Instruction Set Processor)...