|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 109 occurrences of 64 keywords
|
|
|
|
|
Results
Found 42 publication records. Showing 42 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Thomas Baar, Slavisa Markovic, Frédéric Fondement, Alfred Strohmeier |
Definition and Correct Refinement of Operation Specifications.  |
Research Results of the DICS Program  |
2006 |
DBLP DOI BibTeX RDF |
System Operations, UML, Refinements, Refactorings, OCL, Graph Transformations, Design by Contract, QVT |
| 1 | Raul Silaghi, Alfred Strohmeier |
Parallax, or Viewing Designs Through a Prism of Middleware Platforms. |
HICSS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alfred Strohmeier, Thomas Baar, Shane Sendall |
Applying Fondue to Specify a Drink Vending Machine. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Raul Silaghi, Alfred Strohmeier |
An MDA-Based Approach for Inferring Concurrency in Distributed Systems. |
FIDJI |
2004 |
DBLP DOI BibTeX RDF |
Distributed Systems, Concurrency, Model-Driven Architecture, MDA, Model Transformations, UML Profiles, Enterprise Fondue |
| 1 | Thomas Baar, Alfred Strohmeier, Ana M. D. Moreira, Stephen J. Mellor (eds.) |
«UML» 2004 - The Unified Modelling Language: Modelling Languages and Applications. 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings |
UML |
2004 |
DBLP BibTeX RDF |
|
| 1 | Raul Silaghi, Alfred Strohmeier |
Model-Driven Engineering of Middleware-Mediated Distributed Systems. |
UML Satellite Activities |
2004 |
DBLP DOI BibTeX RDF |
Middleware Concerns, AOP, MDA, Model Transformations, AspectJ, UML Profiles, Eclipse Plug-ins, Parallax, Enterprise Fondue |
| 1 | Albert Llamosí, Alfred Strohmeier (eds.) |
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 |
2004 |
DBLP BibTeX RDF |
|
| 1 | Raul Silaghi, Frédéric Fondement, Alfred Strohmeier |
Towards an MDA-Oriented UML Profile for Distribution. |
EDOC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Raul Silaghi, Frédéric Fondement, Alfred Strohmeier |
"Weaving" MTL Model Transformations. |
MDAFA |
2004 |
DBLP DOI BibTeX RDF |
MTL, Aspect-Oriented Programming, AOP, Model-Driven Architecture, MDA, Model Transformations |
| 1 | Jean-Pierre Rosen, Alfred Strohmeier (eds.) |
Reliable Software Technologies - Ada-Europe 2003, 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings |
Ada-Europe |
2003 |
DBLP BibTeX RDF |
|
| 1 | Raul Silaghi, Alfred Strohmeier |
Integrating CBSE, SoC, MDA, and AOP in a Software Development Method. |
EDOC |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodrigo García García, Esther Gelle, Alfred Strohmeier |
A Software Architecture for Industrial Automation. |
EDOC |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Raul Silaghi, Alfred Strohmeier, Jörg Kienzle |
Porting OMTTs to CORBA. |
CoopIS/DOA/ODBASE |
2003 |
DBLP DOI BibTeX RDF |
Object Transaction Service, OMTTs, Con-currency, CORBA, Transactions |
| 1 | Mohamed Mancona Kandé, Valentin Crettaz, Alfred Strohmeier, Shane Sendall |
Bridging the gap between IEEE 1471, an architecture description language, and UML. |
Software and System Modeling |
2002 |
DBLP DOI BibTeX RDF |
ANSI/IEEE-Std-1471, SADL, Advanced separation of concerns, MDSOC, Concern space, UML, Software architecture, Views, ADL, Viewpoints, Architecture description |
| 1 | Raul Silaghi, Alfred Strohmeier |
Critical Evaluation of the EJB Transaction Model. |
FIDJI |
2002 |
DBLP DOI BibTeX RDF |
Auction System, Concurrency, Transactions, Deadlock, EJB, Enterprise JavaBeans |
| 1 | Johann Blieberger, Alfred Strohmeier (eds.) |
Reliable Software Technologies - Ada-Europe 2002, 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002, Proceedings |
Ada-Europe |
2002 |
DBLP BibTeX RDF |
|
| 1 | Sergey Rybin, Alfred Strohmeier |
About the Difficulties of Building a Pretty-Printer for Ada. |
Ada-Europe |
2002 |
DBLP DOI BibTeX RDF |
Pretty-Printer, Ada, ASIS |
| 1 | Jörg Kienzle, Alfred Strohmeier, Alexander B. Romanovsky |
Auction System Design Using Open Multithreaded Transactions. |
WORDS |
2002 |
DBLP DOI BibTeX RDF |
Fault Tolerance, Concurrency, Distribution, Transactions, Auctions, Exceptions |
| 1 | Shane Sendall, Alfred Strohmeier |
Using OCL and UML to Specify System Behavior. |
Object Modeling with the OCL |
2002 |
DBLP DOI BibTeX RDF |
Pre- and Postcondition Assertions, Unified Modeling Language, Requirements Analysis, Object Constraint Language, Software Specification |
| 1 | Shane Sendall, Alfred Strohmeier |
Specifying Concurrent System Behavior and Timing Constraints Using OCL and UML. |
UML |
2001 |
DBLP DOI BibTeX RDF |
Software System Specification, Unified Modeling Language (UML), Concurrent Programming, Timing Constraints, Object Constraint Language (OCL), Pre- and Postcondition |
| 1 | Valentin Crettaz, Mohamed Mancona Kandé, Shane Sendall, Alfred Strohmeier |
Integrating the ConcernBASE Approach with SADL. |
UML |
2001 |
DBLP DOI BibTeX RDF |
Structural Architecture Description, SADL, Advanced Separation of Concerns, Unified Modeling Language, UML, Software Architecture |
| 1 | Xavier Caron, Jörg Kienzle, Alfred Strohmeier |
Object-Oriented Stable Storage Based on Mirroring. |
Ada-Europe |
2001 |
DBLP DOI BibTeX RDF |
Fault Tolerance, Memory Management, Shadowing, Ada 95, Mirroring, Stable Storage |
| 1 | Dirk Craeynest, Alfred Strohmeier (eds.) |
Reliable Software Technologies: Ada Europe 2001, 6th Ade-Europe International Conference Leuven, Belgium, May 14-18, 2001, Proceedings |
Ada-Europe |
2001 |
DBLP BibTeX RDF |
|
| 1 | Alexey Kuchumov, Sergey Rybin, Alfred Strohmeier |
OASIS - An ASIS Secondary Library for Analyzing Object-Oriented Ada Code. |
Ada-Europe |
2001 |
DBLP DOI BibTeX RDF |
Ada Semantic Interface Specification, GNU Ada Compiler, ASIS-for-GNAT, Ada, Object-Oriented Programming, ASIS, GNAT |
| 1 | Jörg Kienzle, Alfred Strohmeier, Alexander B. Romanovsky |
Open Multithreaded Transactions: Keeping Threads and Exceptions under Control. |
WORDS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Mancona Kandé, Alfred Strohmeier |
Towards a UML Profile for Software Architecture Descriptions. |
UML |
2000 |
DBLP DOI BibTeX RDF |
Software architecture abstractions, software architecture descrip-tion, architectural viewpoint, UML, component, configuration, ADL, connector, architectural modeling, architectural view |
| 1 | Shane Sendall, Alfred Strohmeier |
From Use Cases to System Operation Specifications. |
UML |
2000 |
DBLP DOI BibTeX RDF |
Operation Specification, Unified Modeling Language, Object Constraint Language, Use Cases, Object-Oriented Software Development |
| 1 | Sergey Rybin, Alfred Strohmeier, Vasiliy Fofanov, Alexey Kuchumov |
ASIS-for-GNAT: A Report of Practical Experiences. |
Ada-Europe |
2000 |
DBLP DOI BibTeX RDF |
Ada, Programming Language, Programming Environment, Programming Tool, ASIS |
| 1 | Shane Sendall, Alfred Strohmeier |
UML Based Fusion Analysis Applied to a Bank Case Study. |
UML |
1999 |
DBLP BibTeX RDF |
|
| 1 | Alfred Strohmeier |
Mapping Object-Oriented Designs to Ada. |
Ada-Europe |
1999 |
DBLP DOI BibTeX RDF |
Ada Programming Language, Object-Oriented Software Development, Fusion Method |
| 1 | Jörg Kienzle, Alfred Strohmeier |
Shared Recoverable Objects. |
Ada-Europe |
1999 |
DBLP DOI BibTeX RDF |
Recoverable Objects, Controlled Types, Abort Deferred Regions, Concurrency, Object-Oriented Programming, Transactions, Software Fault Tolerance, Ada 95 |
| 1 | Thomas Wolf, Alfred Strohmeier |
Fault Tolerance by Transparent Replication for Distributed Ada 95. |
Ada-Europe |
1999 |
DBLP DOI BibTeX RDF |
Piecewise Determinism, Replica Consistency, Semi-Active Replication, Fault Tolerance, Distributed Systems, Non-Determinism |
| 1 | Michael González Harbour, R. Gómez Somarriba, Alfred Strohmeier, J. Jacot |
PINROB: A Portable API for Industrial Robots. |
Ada-Europe |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Alfred Strohmeier, Vasiliy Fofanov, Sergey Rybin, Stéphane Barbey |
Quality-for-ASIS: A Portable Testing Facility for ASIS. |
Ada-Europe |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasiliy Fofanov, Sergey Rybin, Alfred Strohmeier |
ASIStint: An Interactive ASIS Interpreter. |
TRI-Ada |
1997 |
DBLP DOI BibTeX RDF |
Ada, Ada, interpreter, ASIS |
| 1 | Sergey Rybin, Alfred Strohmeier, Alexey Kuchumov, Vasiliy Fofanov |
ASIS for GNAT: From the Prototype to the Full Implementation. |
Ada-Europe |
1996 |
DBLP DOI BibTeX RDF |
Ada, Compiler, Programming Environment, ASIS |
| 1 | Jörg Kienzle, Thomas Wolf, Alfred Strohmeier |
Secure Communication in Distributed Ada. |
Ada-Europe |
1996 |
DBLP DOI BibTeX RDF |
Object-Oriented Program-ming, Security, Distributed Systems, Communication, Cryptography, Ada 95 |
| 1 | Alfred Strohmeier (eds.) |
Reliable Software Technologies - Ada-Europe '96, 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10-14, 1996, Proceedings |
Ada-Europe |
1996 |
DBLP BibTeX RDF |
|
| 1 | Sergey Rybin, Alfred Strohmeier |
Ada and ASIS: Justification of Differences in Terminology and Mechanisms. |
TRI-Ada |
1996 |
DBLP DOI BibTeX RDF |
Ada, Ada |
| 1 | Sergey Rybin, Alfred Strohmeier, Eugene Zueff |
ASIS for GNAT: Goals, Problems and Implementation Strategy. |
Ada-Europe |
1995 |
DBLP DOI BibTeX RDF |
Ada, Compilation, Software Engineering Environment, ASIS |
| 1 | Alfred Strohmeier |
Ada 9X. |
TOOLS |
1994 |
DBLP BibTeX RDF |
|
| 1 | C. Genillard, Alfred Strohmeier |
GRAMOL. |
SIGPLAN Notices |
1988 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #42 of 42 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")