,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...
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...
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...
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...
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...
Mazaher, and Thierry Raguin. Integrating a security requirement language (2008)
Jose Luis Fern, Ez Aleman Formally, Carolyn L. Talcott, Formal Methods, Open Object-based, ...
[Aag98] Jan Øyvind Aagedal. Towards an ODP-compliant object definition language
Towards a UML Profile for Software Architecture Descriptions * (2008)
Mohamed Mancona K, Alfred Strohmeier
Abstract. To formally describe architectures of software systems, specific languages called Architecture Description Languages (ADLs) have been developed by academic institutions and research labs....
ASIS-for-GNAT: A Report of Practical Experiences (2008)
Sergey Rybin, Alfred Strohmeier, Vasiliy Fofanov, Alexei Kuchumov
Abstract: What are the main difficulties met when implementing ASIS, what are the problems when using ASIS, are there any missing features in ASIS, e.g. when it comes to object-oriented programming,...
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...
Critical Evaluation of the EJB Transaction Model (2008)
Raul Silaghi, Alfred Strohmeier
Abstract. Enterprise JavaBeans is a widely-used technology that aims at supporting distributed component-based applications written in Java. One of the key features of the Enterprise JavaBeans...
From AOP to UML- A Bottom-Up Approach (2008)
Mohamed Mancona K, Jörg Kienzle, Alfred Strohmeier
This position paper takes a bottom-up approach that analyzes the suitability of UML for modeling aspect-oriented software, and compares it with the UML support for modeling object-oriented software....
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...
Raul Silaghi, Alfred Strohmeier, Jörg Kienzle
Abstract. The Common Object Request Broker Architecture standardizes a platform- and programming-language-independent distributed object computing environment. It also provides a standard for several...
An MDA-Based Approach for Inferring Concurrency in Distributed Systems (2008)
Raul Silaghi, Alfred Strohmeier
Abstract. When dealing with distributed systems, one of the most important problems that has to be addressed is concurrency. Distributed systems are inherently concurrent, distributed objects being...
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...
Abstract University of Newcastle upon Tyne Newcastle upon Tyne (2007)
Jörg Kienzle, Er Romanovsky, Alfred Strohmeier, Ne Ru
Although transactional models have proved to be very useful for numerous applications, the development of new models to reflect the ever-increasing complexity and diversity of modern applications is...
Secure Communication in Distributed Ada (2007)
Jrg Kienzle, Thomas Wolf, Alfred Strohmeier
Abstract. This document describes an implementation of secure communication for distributed applications in Ada 95. It explains the basics of cryptography and introduces the problem of key exchange....
Mohamed Mancona K, Alfred Strohmeier
In this paper we study the need for multidimensional separation of concerns in architecture representations, including architecture-centered software development. We present a case study of a simple...
A.: “Object-Oriented Stable Storage based on Mirroring (2007)
Xavier Caron, Jörg Kienzle, Alfred Strohmeier
Abstract. Stable storage can be seen as an ideal storage medium that, given a set of failure assumptions, protects user data from corruption or loss. The integrity of the stored data must be...
Rodrigo García García, Esther Gelle, Alfred Strohmeier
The IEC 61346 standard establishes general principles for structuring the information of technical systems. The present document discusses the ideas shown in the standard, emphasizing the fact that...
Automatic Serialization of Dynamic Structures in Ada (2007)
Rodrigo Garca Garca, Alfred Strohmeier, Lukas Keller
Serialization is the process that transforms the state of a software object into a sequence of bytes. Serialization is useful, for example, to store the value of an object in persistent memory or to...
Rodrigo García García, Esther Gelle, Alfred Strohmeier
The Aspect Integrator Platform (AIP) from ABB was designed to build the next generation of industrial automation applications.
From AOP to UML: Towards an Aspect-Oriented Architectural Modeling Approach (2007)
Mohamed M. Kande, Mohamed M. K, Jörg Kienzle, Alfred Strohmeier
Capturing concerns that crosscut the boundaries of multiple components in software architecture descriptions is problematic. Standard description languages, such as UML, do not provide adequate means...
Definition and Correct Refinement of Operation Specifications (2006)
Baar, Thomas, Marković, Slaviša, Fondement, Frédéric, Strohmeier, Alfred
Modern incremental and iterative software engineering processes advocate to build software systems by first creating a highly simplified and abstract model of the system which is then moved by...
A.: Definition and correct refinement of operation specification (2006)
Thomas Baar, Frédéric Fondement, Alfred Strohmeier, École Polytechnique
Abstract. Modern incremental and iterative software engineering processes advocate to build software systems by first creating a highly simplified and abstract model of the system which is then moved...
Parallax - An Aspect-Enabled Framework for Plugin-Based MDA Refinements Towards Middleware (2005)
Silaghi, Raul, Strohmeier, Alfred, Beydeda, S., Book, M., Gruhn, V.
Raul Silaghi, Alfred Strohmeier
Summary. MDA has been around for more than three years already. Nevertheless, besides the lack of a standard model transformation language to support the MDA vision, there is even a lack of tool...
SVG for SCADA Applications (2004)
García, Rodrigo García, Gelle, Esther, Strohmeier, Alfred
In this paper, we study the applicability of SVG to SCADA (Supervisory Control and Data Acquisition) systems. One of the main purposes of a SCADA application is to provide an operator with the...
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...
UML 2004 - The Unified Modeling Language: Modeling Languages and Applications (2004)
Baar, Thomas, Strohmeier, Alfred, Moreira, Ana, Mellor, Stephen J.
The Concepts of IEC 61346 Applied to a Software Architecture for Automation (2004)
García, Rodrigo García, Gelle, Esther, Strohmeier, Alfred
The IEC 61346 standard establishes general principles for structuring the information of technical systems. The present document discusses the ideas shown in the standard, emphasizing the fact that...
Towards an MDA-Oriented UML Profile for Distribution (2004)
Raul Silaghi, Frédéric Fondement, Alfred Strohmeier
The era of distributed systems is upon us. Middlewarespecific concerns, and especially the distribution concern, which is the core of any middleware-mediated application, are addressed every day in...
MTL model transformations (2004)
Raul Silaghi, Frédéric Fondement, Alfred Strohmeier
Abstract. Model transformations are the core of the MDA approach to software development. As specified by the OMG, model transformations should act on any kind of model of any kind of metamodel,...
MTL model transformations (2004)
Raul Silaghi, Frédéric Fondement, Alfred Strohmeier
Abstract. Model transformations are the core of the MDA-approach to software development. As specified by the OMG, model transformations should act on any kind of model of any kind of metamodel,...
A Software Architecture for Industrial Automation (2003)
García, Rodrigo García, Gelle, Esther, Strohmeier, Alfred
The Aspect Integrator Platform (AIP) from ABB was designed to build the next generation of industrial automation applications. This platform is part of a set of products that provide the means to...
A Software Architecture for Industrial Automation (2003)
García, Rodrigo García, Gelle, Esther, Strohmeier, Alfred
The Aspect Integrator Platform (AIP) from ABB was designed to build the next generation of industrial automation applications. This platform is part of a set of products that provide the means to...
Integrating CBSE, SoC, MDA, and AOP in a Software Development Method (2003)
Silaghi, Raul, Strohmeier, Alfred
Component-Based Software Engineering, Separation of Concerns, Model-Driven Architecture, and Aspect-Oriented Programming are four active research areas that have been around for several years now. In...
Silaghi, Raul, Strohmeier, Alfred, Kienzle, Jörg
The Common Object Request Broker Architecture standardizes a platform- and programming-language-independent distributed object com-puting environment. It also provides a standard for several...
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...
Automatic Serialization of Dynamic Structures in Ada (2003)
García, Rodrigo García, Strohmeier, Alfred, Keller, Lukas
Serialization is the process that transforms the state of a software object into a sequence of bytes. Serialization is useful, for example, to store the value of an object in persistent memory or to...
Generic Concern-Oriented Model Transformations Meet AOP (2003)
Silaghi, Raul, Strohmeier, Alfred
Abstract. Separation of concerns allows developers to manage large distributed systems by tackling one problem at a time. Model transformations refine models along one concern-dimension. Aspects...
Better Generative Programming with Generic Aspects (2003)
Silaghi, Raul, Strohmeier, Alfred
Abstract. After a brief introduction to generative, generic, and aspect-oriented programming, we point out four key elements that appear in the definition of generative programming and that are...
Automatic Serialization of Dynamic Structures in Ada (2003)
García, Rodrigo García, Strohmeier, Alfred, Keller, Lukas
Serialization is the process that transforms the state of a software object into a sequence of bytes. Serialization is useful, for example, to store the value of an object in persistent memory or to...
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...
Generic Concern-Oriented Model (2003)
Transformations Meet Aop, Raul Silaghi, Alfred Strohmeier
Separation of concerns allows developers to manage large distributed systems by tackling one problem at a time. Model transformations refine models along one concern-dimension. Aspects encapsulate...
Better Generative Programming with Generic Aspects (2003)
Raul Silaghi, Alfred Strohmeier
Abstract. After a brief introduction to generative, generic, and aspect-oriented programming, we point out four key elements that appear in the definition of generative programming and that are...
Experience Report on the Implementation of EPTs (Extensible Protected Types) for GNAT (2002)
García, Rodrigo García, Strohmeier, Alfred
Extensible Protected Types were devised to integrate concurrent and object-oriented features of Ada 95. This paper reports on a feasibility study based on implementing Extensible Protected Types for...
From AOP to UML - A Bottom-Up Approach (2002)
Kandé, Mohamed Mancona, Kienzle, Jörg, Strohmeier, Alfred
This position paper takes a bottom-up approach that analyzes the suitability of UML for modeling aspect-oriented software, and compares it with the UML support for modeling object-oriented software....
Bridging the Gap between IEEE 1471, Architecture Description Languages and UML (2002)
Kandé, Mohamed Mancona, Crettaz, Valentin, Strohmeier, Alfred, Sendall, Shane, France, Robert, Rumpe, Bernhard
From AOP to UML: Towards an Aspect-Oriented Architectural Modeling Approach (2002)
Kandé, Mohamed Mancona, Kienzle, Jörg, Strohmeier, Alfred
Capturing concerns that crosscut the boundaries of multiple components in software architecture descriptions is problematic. Standard description languages, such as UML, do not provide adequate means...
About the Difficulties of Building a Pretty-Printer for Ada (2002)
Rybin, Sergey, Strohmeier, Alfred, Blieberger, Johann, Strohmeier, Alfred
Auction System Design Using Open Multithreaded Transactions (2002)
Kienzle, Jörg, Romanovsky, Alexander, Strohmeier, Alfred
Open Multithreaded Transactions form an advanced transaction model that provides features for controlling and structuring not only accesses to objects, as usual in transaction systems, but also...
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...
Experience Report on the Implementation of Extenseible Protected Types for GNAT (2002)
Garcia, Rodrigo Garcia, Strohmeier, Alfred
Extensible Protected Types were devised to integrate concurrent and object-oriented features of Ada 95. This paper reports on a feasibility study based on implementing Extensible Protected Types for...
Auction System Design Using Open Multithreaded Transactions (2002)
Kienzle, Jörg, Strohmeier, Alfred, Romanovsky, Alexander
Open Multithreaded Transactions form an advanced transaction model that provides features for controlling and structuring not only accesses to objects, as usual in transaction systems, but also...
From AOP to UML: Towards an Aspect-Oriented Architectural Modeling Approach (2002)
Kandé, Mohamed M., Kienzle, Jörg, Strohmeier, Alfred
Capturing concerns that crosscut the boundaries of multiple components in software architecture descriptions is problematic. Standard description languages, such as UML, do not provide adequate means...
Bridging the Gap between IEEE 1471, Architecture Description Languages and UML (2002)
Kandé, Mohamed M., Crettaz, Valentin, Strohmeier, Alfred, Sendall, Shane
Critical Evaluation of the EJB Transaction Model (2002)
Silaghi, Raul, Strohmeier, Alfred
Enterprise JavaBeans is a widely-used technology that aims at supporting distributed component-based applications written in Java. One of the key features of the Enterprise JavaBeans architecture is...
Auction system design using open multithreaded transactions (2002)
Jörg Kienzle, Alfred Strohmeier
Open Multithreaded Transactions form an advanced transaction model that provides features for controlling and structuring not only accesses to objects, as usual in transaction systems, but also...
Experience report on the implementation of EPTs for GNAT (2002)
Rodrigo García García, Alfred Strohmeier
Abstract. Extensible Protected Types were devised to integrate concurrent and object-oriented features of Ada 95. This paper reports on a feasibility study based on implementing Extensible Protected...
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...
An Application Case for Ravenscar Technology: Porting OBOSS to GNAT/ORK (2001)
Vardanega, Tullio, García, Rodrigo, De La Puente, Juan Antonio, Craeynest, Dirk, Strohmeier, Alfred
Open Multithreaded Transactions: Keeping Threads and Exceptions under Control (2001)
Kienzle, Jörg, Romanovsky, Alexander, Strohmeier, Alfred
Although transactional models have proved to be very useful for numerous applications, the development of new models to reflect the ever-increasing complexity and diversity of modern applications is...
Object-Oriented Stable Storage Based on Mirroring (2001)
Caron, Xavier, Kienzle, Jörg, Strohmeier, Alfred
Stable storage can be seen as an ideal storage medium that, given a set of failure assumptions, protects user data from corruption or loss. The integrity of the stored data must be guaranteed even in...
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...
OASIS - An ASIS Secondary Library for Analyzing Object-Oriented Ada Code (2001)
Kuchumov, Alexei, Rybin, Sergey, Strohmeier, Alfred
ASIS has proven to be an effective platform for developing various program analysis tools. However, in many cases ASIS, as defined in the ASIS ISO standard, appears to be at a very low-level of...
A Side-by-Side Comparison of Exception Handling in Ada and Java (2001)
Strohmeier, Alfred, Chachkov, Stanislav
The purpose of this paper is to compare the exception handling mechanisms of Ada and Java. In order to be intelligible and useful to both communities, we have tried not get into specific technical...
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.
Towards a UML Profile for Software Architecture (2000)
Kandé, Mohamed Mancona, Strohmeier, Alfred, Kent, Stuart, Evans, Andy
To formally describe architectures of software systems, specific languages called Architecture Description Languages (ADLs) have been developed by academic institutions and research labs. However,...
On The Role of Multi-Dimensional Separation of Concerns in Software Architecture (2000)
Kandé, Mohamed Mancona, Strohmeier, Alfred
In this paper we study the need for multidimensional separation of concerns in architecture representations, including architecture-centered software development. We present a case study of a simple...
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...
ASIS-for-GNAT: A Report of Practical Experiences (2000)
Rybin, Sergey, Fofanov, Vasiliy, Strohmeier, Alfred, Kuchumov, Alexei, Keller, Hubert B., Plöderer, Erhard
What are the main difficulties met when implementing ASIS, what are the problems when using ASIS, are there any missing features in ASIS, e.g. when it comes to object-oriented programming, these are...
Kienzle, Jörg, Romanovsky, Alexander, Strohmeier, Alfred
This paper describes an approach to providing object persistence in object-oriented programming languages without modifying the run-time system or the language itself. By successively applying design...
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...
Shared Recoverable Objects (1999)
Kienzle, Jörg, Strohmeier, Alfred, Harbour, Michael Gonzalez, De La Puente, Juan A.
This document describes an implementation of recoverable objects that can be accessed concurrently. After a brief description of the possible uses of recoverable objects and after reviewing some of...
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,...
Mapping Object-Oriented Designs to Ada (1999)
Strohmeier, Alfred, Harbour, Michael Gonzalez, De La Puente, Juan A.
Fault Tolerance by Transparent Replication for Distributed Ada 95 (1999)
Wolf, Thomas, Strohmeier, Alfred, Harbour, Michael Gonzalez, De La Puente, Juan A.
This paper presents the foundations of Rapids ("Replicated Ada Partitions In Distributed Systems"), an implementation of the Distributed Systems Annex E incorporating the transparent replication of...
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...
Fault tolerance by transparent replication for distributed ada 95 (1999)
Thomas Wolf, Alfred Strohmeier
Abstract. This paper presents the foundations of RAPIDS ("Replicated Ada Partitions In Distributed Systems"), an implementation of the Distributed Systems Annex E incorporating the...
PINROB: A Portable API for Industrial Robots (1998)
González Harbour, M., Gómez Somarriba, R., Strohmeier, Alfred, Jacot, J., Asplund, Lars
This paper describes a software architecture for industrial robots used in manufacturing equipment. In order to achieve software portability, the application software is dissociated from the...
Quality-for-ASIS: A Portable Testing Facility for ASIS (1998)
Strohmeier, Alfred, Fofanov, Vasiliy, Rybin, Sergey, Barbey, Stéphane, Asplund, Lars
This paper describes the project Quality-for-ASIS, aiming at the development of an extensive testing facility for ASIS implementations. First the specific problems and requirements are presented....
Barbey, Stéphane, Buchs, Didier, Péraire, Cécile, Strohmeier, Alfred
We propose a test case selection methodology for object-oriented software. This methodology is based on formal specifications and is aimed at verifying the correctness of method interaction of an...
ASIStint: An Interactive ASIS Interpreter (1997)
Fofanov, Vasiliy, Rybin, Sergey, Strohmeier, Alfred, Carlson, Susan
ASIStint is an interactive ASIS interpreter with scripting facilities. It may be used for learning ASIS, i.e. the user may interactively try out the effects of the various ASIS queries. It might also...
Object-Oriented Programming with Ada 95 (1996)
Barbey, Stéphane, Kempe, Magnus, Strohmeier, Alfred
Ada 95 -the revised definition of the Ada programming language- provides support for object-oriented programming. This course offers a comprehensive view of object-oriented programming with Ada; it...
Secure Communication in Distributed Ada (1996)
Kienzle, Jörg, Wolf, Thomas, Strohmeier, Alfred, Strohmeier, Alfred
This document describes an implementation of secure communication for distributed applications in Ada 95. It explains the basics of cryptography and introduces the problem of key exchange. After a...
ASIS for GNAT: From the Prototype to the Full Implementation (1996)
Rybin, Sergey, Strohmeier, Alfred, Kuchumov, Alexei, Fofanov, Vasiliy, Strohmeier, Alfred
Fofanov: ASIS for GNAT: From the Prototype to the Full Implementation (1996)
Sergey Rybin, Alfred Strohmeier, Alexey Kuchumov, Vasily Fofanov
Abstract. This article is about the implementation of the Ada Semantic Interface Specification (ASIS) for the GNAT Ada 95 compilation system (ASIS-forGNAT). It discusses implementation problems and...
Advanced Object-Oriented Programming with Ada 95 (1995)
Barbey, Stéphane, Kempe, Magnus, Strohmeier, Alfred
Ada 95 -the revised definition of the Ada programming language- provides support for object-oriented programming. This course offers a comprehensive view of object-oriented programming with Ada; it...
Advanced Object-Oriented Programming with Ada 95 (1995)
Barbey, Stéphane, Kempe, Magnus, Strohmeier, Alfred
Ada 95 -the revised definition of the Ada programming language- provides support for object-oriented programming. This course offers a comprehensive view of object-oriented programming with Ada; it...
Object-Oriented Programming with Ada 95 (1995)
Barbey, Stéphane, Kempe, Magnus, Strohmeier, Alfred
Ada 95 -the revised definition of the Ada programming language- provides support for object-oriented programming. This course offers a comprehensive view of object-oriented programming with Ada; it...
Programmation par objets avec Ada 9X (1994)
Barbey, Stéphane, Kempe, Magnus, Strohmeier, Alfred
Ada 9X, la d finition r vis e du langage de programmation Ada, int gre la programmation par objets. Cet article examine les nouvelles caract ristiques du langage propres la programmation par objets,...
The Problematics of Testing Object-Oriented Software (1994)
Barbey, Stéphane, Strohmeier, Alfred, Ross, M., Brebbia, C.A., Staples, G., Stapleton, J.
Within object-oriented approaches, testing has almost been ignored in favor of analysis, design, and coding. However, object-orientedness does not solve the problem of testing by itself and may even...
Open Issues in Testing Object-Oriented Software (1994)
Barbey, Stéphane, Ammann, Manuel, Strohmeier, Alfred, Frühauf, Karol
While the use of object-oriented development methods has increased the quality of software by leading to better, modular architectures, it does not provide correctness by itself. Thus, testing...
Ada 9X for Object-Oriented Programming (1994)
Barbey, Stéphane, Kempe, Magnus, Strohmeier, Alfred
Ada 9X -the revised definition of the Ada programming language- provides support for object-oriented programming. This course examines the new, object-oriented features of the language, their use,...
Object-Oriented Programming with Ada 9X (1994)
Barbey, Stéphane, Kempe, Magnus, Strohmeier, Alfred
Ada 9X -the revised definition of the Ada programming language- provides support for object-oriented programming. This course offers a comprehensive view of object-oriented programming with Ada; it...
Object-Oriented Programming with Ada 9X (1994)
Barbey, Stéphane, Kempe, Magnus, Strohmeier, Alfred
Ada 9X -the revised definition of the Ada programming language- provides support for object-oriented programming. This course offers a comprehensive view of object-oriented programming with Ada; it...
Advanced Object-Oriented Programming with Ada 9X (1994)
Kempe, Magnus, Barbey, Stéphane, Strohmeier, Alfred
Ada 9X -the revised definition of the Ada programming language- provides support for object-oriented programming. This course offers a comprehensive view of object-oriented programming with Ada; it...
The Problematics of Testing Object-Oriented Software (1994)
Stéphane Barbey, Alfred Strohmeier
Within object-oriented methods, testing has received less attention than analysis, design, and coding. However, object-orientedness does not make testing obsolete and can even introduce new problems...
Ada: Young, Smart and Evolving (1993)
Barbey, Stéphane, Kempe, Magnus, Strohmeier, Alfred
The Ada language is now 10 years old, like SI and SI-Information. A free compiler, called GNAT, will soon be available from the Free Software Foundation (GNU). Ada is heavily used in high-tech...
Object-Oriented Programming and Reuse in Ada 9X (1993)
Barbey, Stéphane, Kempe, Magnus, Strohmeier, Alfred
Ada 9X-the revised definition of the Ada programming language-provides support for object-oriented programming. This course examines the new, object-oriented features of the language, their use, and...
Object-Oriented Programming with Ada 9X (1993)
Barbey, Stéphane, Kempe, Magnus, Strohmeier, Alfred
Ada 9X-the revised definition of the Ada programming language-provides support for object-oriented programming. This course examines the new, object-oriented features of the language, their use, and...
Behavioral Specification Techniques (1993)
Eckert, Gabriel, Strohmeier, Alfred
This position paper provides a quick overview of the various behavioral specification techniques, from decision tables, finite state machines, Petri nets, and program design languages, to formal...
An experience in teaching OOD for Ada Software (1990)
Jean, Catherine, Strohmeier, Alfred
This report relates an experience in teaching an object-oriented method for designing software implemented in Ada.
Ordering of Characters and Strings (1990)
Strohmeier, Alfred, Genillard, Christian, Weber, Mats
Arranging characters and strings in order of representation codes is not suitable for application programming. Even when character ordering is logical, the usual filing of words in dictionaries does...
Implementation of 8-bit Coded Character Sets in Ada (1990)
Strohmeier, Alfred, Genillard, Christian, Weber, Mats
A general frame is proposed for implementing 8-bit coded character sets in Ada in conformance with current international standards. This frame is then applied to what is termed Latin alphabet No. 1...
Rationale for the Design of Reusable Abstract Data Types implemented in Ada (1989)
Genillard, Christian, Ebel, Norbert, Strohmeier, Alfred
Reusable abstract data types may be implemented in Ada as generic packages. First we will state some design goals, then outline our solution, address its rationale and show why alternatives have to...