Alfred Strohmeier

46 papers B 3Misc 17Journal 4Unranked 19
YearRankTypeTitle / Venue / Authors
2006 — conf
Definition and Correct Refinement of Operation Specifications.
Research Results of the DICS Program
Thomas Baar, Slavisa Markovic, Frédéric Fondement, Alfred Strohmeier
2005 — ch.
Parallax - An Aspect-Enabled Framework for Plug-in-Based MDA Refinements Towards Middleware.
Model-Driven Software Development
Raul Silaghi, Alfred Strohmeier
2005 — conf
Parallax, or Viewing Designs Through a Prism of Middleware Platforms.
HICSS
Raul Silaghi, Alfred Strohmeier
2004 — conf
"Weaving" MTL Model Transformations.
MDAFA
Raul Silaghi, Frédéric Fondement, Alfred Strohmeier
2004 — conf
An MDA-Based Approach for Inferring Concurrency in Distributed Systems.
FIDJI
Raul Silaghi, Alfred Strohmeier
2004 — conf
Model-Driven Engineering of Middleware-Mediated Distributed Systems.
UML Satellite Activities
Raul Silaghi, Alfred Strohmeier
2004 Misc ed.
Reliable Software Technologies - Ada-Europe 2004, 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004, Proceedings
Ada-Europe
Albert Llamosí, Alfred Strohmeier
2004 B conf
Towards an MDA-Oriented UML Profile for Distribution.
EDOC
Raul Silaghi, Frédéric Fondement, Alfred Strohmeier
2004 — ed.
«UML» 2004 - The Unified Modelling Language: Modelling Languages and Applications. 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings
UML
Thomas Baar, Alfred Strohmeier, Ana M. D. Moreira, Stephen J. Mellor
2003 B conf
A Software Architecture for Industrial Automation.
EDOC
Rodrigo García García, Esther M. Gelle, Alfred Strohmeier
2003 — conf
Applying Fondue to Specify a Drink Vending Machine.
OCL 2.0 @ UML
Alfred Strohmeier, Thomas Baar, Shane Sendall
2003 B conf
Integrating CBSE, SoC, MDA, and AOP in a Software Development Method.
EDOC
Raul Silaghi, Alfred Strohmeier
2003 — conf
Porting OMTTs to CORBA.
OTM
Raul Silaghi, Alfred Strohmeier, Jörg Kienzle
2003 Misc ed.
Reliable Software Technologies - Ada-Europe 2003, 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings
Ada-Europe
Jean-Pierre Rosen, Alfred Strohmeier
2002 Misc conf
About the Difficulties of Building a Pretty-Printer for Ada.
Ada-Europe
Sergey Rybin, Alfred Strohmeier
2002 — conf
Auction System Design Using Open Multithreaded Transactions.
WORDS
Jörg Kienzle, Alfred Strohmeier, Alexander B. Romanovsky
2002 J jnl
Bridging the gap between IEEE 1471, an architecture description language, and UML.
Softw. Syst. Model.
Mohamed Mancona Kandé, Valentin Crettaz, Alfred Strohmeier, Shane Sendall
2002 — conf
Critical Evaluation of the EJB Transaction Model.
FIDJI
Raul Silaghi, Alfred Strohmeier
2002 — conf
Experiences report on the implementation of EPTs for GNAT.
IRTAW
Rodrigo García García, Alfred Strohmeier
2002 Misc ed.
Reliable Software Technologies - Ada-Europe 2002, 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002, Proceedings
Ada-Europe
Johann Blieberger, Alfred Strohmeier
2002 — ch.
Using OCL and UML to Specify System Behavior.
Object Modeling with the OCL
Shane Sendall, Alfred Strohmeier
2001 — conf
Integrating the ConcernBASE Approach with SADL.
UML
Valentin Crettaz, Mohamed Mancona Kandé, Shane Sendall, Alfred Strohmeier
2001 Misc conf
OASIS - An ASIS Secondary Library for Analyzing Object-Oriented Ada Code.
Ada-Europe
Alexey Kuchumov, Sergey Rybin, Alfred Strohmeier
2001 Misc conf
Object-Oriented Stable Storage Based on Mirroring.
Ada-Europe
Xavier Caron, Jörg Kienzle, Alfred Strohmeier
2001 — conf
Open Multithreaded Transactions: Keeping Threads and Exceptions under Control.
WORDS
Jörg Kienzle, Alfred Strohmeier, Alexander B. Romanovsky
2001 Misc ed.
Reliable Software Technologies: Ada Europe 2001, 6th Ade-Europe International Conference Leuven, Belgium, May 14-18, 2001, Proceedings
Ada-Europe
Dirk Craeynest, Alfred Strohmeier
2001 — conf
Specifying Concurrent System Behavior and Timing Constraints Using OCL and UML.
UML
Shane Sendall, Alfred Strohmeier
2000 Misc conf
ASIS-for-GNAT: A Report of Practical Experiences.
Ada-Europe
Sergey Rybin, Alfred Strohmeier, Vasiliy Fofanov, Alexey Kuchumov
2000 — conf
From Use Cases to System Operation Specifications.
UML
Shane Sendall, Alfred Strohmeier
2000 — conf
Towards a UML Profile for Software Architecture Descriptions.
UML
Mohamed Mancona Kandé, Alfred Strohmeier
1999 Misc conf
Fault Tolerance by Transparent Replication for Distributed Ada 95.
Ada-Europe
Thomas Wolf, Alfred Strohmeier
1999 Misc conf
Mapping Object-Oriented Designs to Ada.
Ada-Europe
Alfred Strohmeier
1999 Misc conf
Shared Recoverable Objects.
Ada-Europe
Jörg Kienzle, Alfred Strohmeier
1999 — conf
UML Based Fusion Analysis Applied to a Bank Case Study.
UML
Shane Sendall, Alfred Strohmeier
1998 Misc conf
PINROB: A Portable API for Industrial Robots.
Ada-Europe
Michael González Harbour, R. Gómez Somarriba, Alfred Strohmeier, J. Jacot
1998 Misc conf
Quality-for-ASIS: A Portable Testing Facility for ASIS.
Ada-Europe
Alfred Strohmeier, Vasiliy Fofanov, Sergey Rybin, Stéphane Barbey
1997 — conf
ASIStint: An Interactive ASIS Interpreter.
TRI-Ada
Vasiliy Fofanov, Sergey Rybin, Alfred Strohmeier
1996 Misc conf
ASIS for GNAT: From the Prototype to the Full Implementation.
Ada-Europe
Sergey Rybin, Alfred Strohmeier, Alexey Kuchumov, Vasiliy Fofanov
1996 — conf
Ada and ASIS: Justification of Differences in Terminology and Mechanisms.
TRI-Ada
Sergey Rybin, Alfred Strohmeier
1996 Misc ed.
Reliable Software Technologies - Ada-Europe '96, 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10-14, 1996, Proceedings
Ada-Europe
Alfred Strohmeier
1996 Misc conf
Secure Communication in Distributed Ada.
Ada-Europe
Jörg Kienzle, Thomas Wolf, Alfred Strohmeier
1995 Misc conf
ASIS for GNAT: Goals, Problems and Implementation Strategy.
Ada-Europe
Sergey Rybin, Alfred Strohmeier, Eugene Zueff
1994 — conf
Ada 9X.
TOOLS (13)
Alfred Strohmeier
1990 J jnl
An experience in teaching OOD for Ada software.
ACM SIGSOFT Softw. Eng. Notes
Catherine Jean, Alfred Strohmeier
1988 J jnl
GRAMOL.
ACM SIGPLAN Notices
C. Genillard, Alfred Strohmeier
1985 J jnl
SARTEX a programming language for graph processing.
ACM SIGPLAN Notices
Pierre Breguet, François Grize, Alfred Strohmeier