Alfred Strohmeier

Proceedings of the 38th Hawaii International Conference on System Sciences (HICSS-38 2005), 2005

Parallax - An Aspect-Enabled Framework for Plug-in-Based MDA Refinements Towards Middleware.

[BibT_eX]

[DOI]

Proceedings of the Model-Driven Software Development, 2005

2004

Model-Driven Engineering of Middleware-Mediated Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the UML Modeling Languages and Applications, 2004

"Weaving" MTL Model Transformations.

[BibT_eX]

[DOI]

Frédéric Fondement

Proceedings of the Model Driven Architecture, 2004

An MDA-Based Approach for Inferring Concurrency in Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the Scientific Engineering of Distributed Java Applications, 2004

Towards an MDA-Oriented UML Profile for Distribution.

[BibT_eX]

[DOI]

Frédéric Fondement

Proceedings of the 8th International Enterprise Distributed Object Computing Conference (EDOC 2004), 2004

2003

Applying Fondue to Specify a Drink Vending Machine.

[BibT_eX]

[DOI]

Thomas Baar

Proceedings of the Workshop OCL 2.0 - Industry Standard or Scientific Playground?, 2003

Integrating CBSE, SoC, MDA, and AOP in a Software Development Method.

[BibT_eX]

[DOI]

Proceedings of the 7th International Enterprise Distributed Object Computing Conference (EDOC 2003), 2003

A Software Architecture for Industrial Automation.

[BibT_eX]

[DOI]

Rodrigo García García

Esther M. Gelle

Proceedings of the 7th International Enterprise Distributed Object Computing Conference (EDOC 2003), 2003

Porting OMTTs to CORBA.

[BibT_eX]

[DOI]

Proceedings of the On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE, 2003

2002

Bridging the gap between IEEE 1471, an architecture description language, and UML.

[BibT_eX]

[DOI]

Mohamed Mancona Kandé

Valentin Crettaz

Softw. Syst. Model., 2002

Auction System Design Using Open Multithreaded Transactions.

[BibT_eX]

[DOI]

Alexander B. Romanovsky

Proceedings of the 7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2002), 2002

Using OCL and UML to Specify System Behavior.

[BibT_eX]

[DOI]

Proceedings of the Object Modeling with the OCL, 2002

Experiences report on the implementation of EPTs for GNAT.

[BibT_eX]

[DOI]

Rodrigo García García

Proceedings of the 11th International Workshop on Real-Time Ada, 2002

Critical Evaluation of the EJB Transaction Model.

[BibT_eX]

[DOI]

Proceedings of the Scientific Engineering for Distributed Java Applications, 2002

About the Difficulties of Building a Pretty-Printer for Ada.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies, 2002

2001

Open Multithreaded Transactions: Keeping Threads and Exceptions under Control.

[BibT_eX]

[DOI]

Alexander B. Romanovsky

Proceedings of the 6th Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2001), 2001

Specifying Concurrent System Behavior and Timing Constraints Using OCL and UML.

[BibT_eX]

[DOI]

Proceedings of the «UML» 2001, 2001

Integrating the ConcernBASE Approach with SADL.

[BibT_eX]

[DOI]

Valentin Crettaz

Mohamed Mancona Kandé

Proceedings of the «UML» 2001, 2001

OASIS - An ASIS Secondary Library for Analyzing Object-Oriented Ada Code.

[BibT_eX]

[DOI]

Alexey Kuchumov

Proceedings of the Reliable Software Technologies: Ada Europe 2001, 2001

Object-Oriented Stable Storage Based on Mirroring.

[BibT_eX]

[DOI]

Xavier Caron

Proceedings of the Reliable Software Technologies: Ada Europe 2001, 2001

2000

From Use Cases to System Operation Specifications.

[BibT_eX]

[DOI]

Proceedings of the «UML» 2000, 2000

Towards a UML Profile for Software Architecture Descriptions.

[BibT_eX]

[DOI]

Mohamed Mancona Kandé

Proceedings of the «UML» 2000, 2000

ASIS-for-GNAT: A Report of Practical Experiences.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies, 2000

1999

UML Based Fusion Analysis Applied to a Bank Case Study.

[BibT_eX]

[DOI]

Proceedings of the «UML»'99: The Unified Modeling Language, 1999

Fault Tolerance by Transparent Replication for Distributed Ada 95.

[BibT_eX]

[DOI]

Thomas Wolf

Proceedings of the Reliable Software Technologies, 1999

Mapping Object-Oriented Designs to Ada.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies, 1999

Shared Recoverable Objects.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies, 1999

1998

Quality-for-ASIS: A Portable Testing Facility for ASIS.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies, 1998

PINROB: A Portable API for Industrial Robots.

[BibT_eX]

[DOI]

Michael González Harbour

R. Gómez Somarriba

J. Jacot

Proceedings of the Reliable Software Technologies, 1998

1997

ASIStint: An Interactive ASIS Interpreter.

[BibT_eX]

[DOI]

Vasiliy Fofanov

Proceedings of the Conference, The annual meeting of the Ada programming world, 1997

1996

Ada and ASIS: Justification of Differences in Terminology and Mechanisms.

[BibT_eX]

[DOI]

Proceedings of the annual meeting of the Ada programming world, 1996

ASIS for GNAT: From the Prototype to the Full Implementation.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies, 1996

Secure Communication in Distributed Ada.

[BibT_eX]

[DOI]

Thomas Wolf

Proceedings of the Reliable Software Technologies, 1996

1995

ASIS for GNAT: Goals, Problems and Implementation Strategy.

[BibT_eX]

[DOI]

Eugene Zueff

Proceedings of the Ada in Europe, Second International Eurospace, 1995

1994

Ada 9X.

[BibT_eX]

Proceedings of the TOOLS 1994: 13th International Conference on Technology of Object-Oriented Languages and Systems, 1994

1990

An experience in teaching OOD for Ada software.

[BibT_eX]

[DOI]

Catherine Jean

ACM SIGSOFT Softw. Eng. Notes, 1990

1988

GRAMOL.

[BibT_eX]

[DOI]

C. Genillard

ACM SIGPLAN Notices, 1988

1985

SARTEX a programming language for graph processing.

[BibT_eX]

[DOI]

Pierre Breguet

François Grize