The Electronic Tool Integration platform: concepts and design

The Electronic Tool Integration platform (ETI) associated with STTT is designed for the interactive experimentation with and coordination of heterogeneous tools. ETI users are supported by an advanced, personalized Online Service guiding experimentation, coordination, and simple browsing of the available tool repository according to their degree of experience. In particular, this allows even newcomers to orient themselves in the wealth of existing tools and to identify the most appropriate collection of tools to solve their own application-specific tasks.

[1]  David Garlan,et al.  Specifying and Analyzing Dynamic Software Architectures , 1998, FASE.

[2]  Wilhelm Schäfer,et al.  Concepts and implementation of a rule-based process engine/sup +/ , 1992, International Conference on Software Engineering.

[3]  Rajeev Alur,et al.  An Analyzer for Message Sequence Charts , 1996, Softw. Concepts Tools.

[4]  James M. Purtilo,et al.  Integrating the heterogeneous control properties of software modules , 1992, SDE 5.

[5]  Tiziana Margaria,et al.  Backtracking-Free Design Planning by Automatic Synthesis in METAFrame , 1998, FASE.

[6]  Luqi,et al.  Formal Methods and Social Context in Software Development , 1995, TAPSOFT.

[7]  Tiziana Margaria,et al.  A formal requirements engineering method for specification, synthesis, and verification , 1997, Proceedings 8th Conference on Software Engineering Environments.

[8]  Alain Kerbrat,et al.  CADP - A Protocol Validation and Verification Toolbox , 1996, CAV.

[9]  M. Boasson.  Control systems software , 1993 .

[10]  Flávio Oquendo,et al.  A Meta-CASE Environment for Software Process-Centred CASE Environments , 1992, CAiSE.

[11]  Tiziana Margaria,et al.  Integrating tools in the ETI platform , 1997, International Journal on Software Tools for Technology Transfer.

[12]  T. Margaria,et al.  Coarse-grain Component Based Software Development : The M eta Frame Approach , .

[13]  Robert Tolksdorf.  Coordinating Services in Open Distributed Systems with LAURA , 1996, COORDINATION.

[14]  Jay B. Brockman,et al.  The schema-based approach to workflow management , 1995, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[15]  P. van der Wolf,et al.  An Enhanced Flow Model For Constraint Handling In Hierarchical Multi-view Design Environments , 1994, IEEE/ACM International Conference on Computer-Aided Design.

[16]  Tiziana Margaria,et al.  Formal Methods and Customized Visualization: A Fruitful Symbiosis , 1998, Services and Visualization: Towards User-Friendly Design.

[17]  Reidar Conradi,et al.  Techniques for Process Model Evolution in EPOS , 1993, IEEE Trans. Software Eng..

[18]  Alain Kerbrat,et al.  Protocol verification with the ALDÉBARAN toolset , 1997, International Journal on Software Tools for Technology Transfer.

[19]  Thilo Kielmann,et al.  Designing a Coordination Model for Open Systems , 1996, COORDINATION.

[20]  Mary Campione,et al.  The Java Tutorial: Object-Oriented Programming for the Internet , 1996 .

[21]  Paul Klint,et al.  The TOOLBUS Coordination Architecture - A Demonstration , 1996, AMAST.

[22]  Jay B. Brockman,et al.  Incorporating design schedule management into a flow management system , 1995, DAC '95.

[23]  Jan A. Bergstra,et al.  The TOOLBUS Coordination Architecture , 1996, COORDINATION.

[24]  Hubert Garavel.  An Overview of the Eucalyptus Toolbox , 1996 .

[25]  Nicholas Carriero,et al.  Linda in context , 1989, CACM.

[26]  Tiziana Margaria,et al.  The METAFrame'95 Environment , 1996, CAV.

[27]  Tiziana Margaria,et al.  Incremental Formalization: A Key to Industrial Success , 1996, Softw. Concepts Tools.

[28]  Tiziana Margaria,et al.  Interacting with ETI: a user session , 1997, International Journal on Software Tools for Technology Transfer.

[29]  Tiziana Margaria,et al.  Heterogeneous Analysis and Verification for Distributed Systems , 1996, Softw. Concepts Tools.

[30]  Flávio Oquendo,et al.  PEACE: Describing and Managing Evolving Knowledge in the Software Process , 1992, EWSPT.

[31]  Gail E. Kaiser,et al.  A bi-level language for software process modeling , 1993, Proceedings of 1993 15th International Conference on Software Engineering.

[32]  Vincenzo Ambriola,et al.  OIKOS at the Age of Three , 1992, EWSPT.

[33]  Rance Cleaveland,et al.  A Semantics Based Verification Tool for Finite State Systems , 1989, PSTV.

[34]  Kim G. Larsen,et al.  Modal Specifications , 1989, Automatic Verification Methods for Finite State Systems.

[35]  Bernhard Westfechtel,et al.  DYNAMITE: DYNAMIc Task nEts for software process management , 1996, Proceedings of IEEE 18th International Conference on Software Engineering.

[36]  Tiziana Margaria,et al.  The Fixpoint-Analysis Machine , 1995, CONCUR.

[37]  Sergio Bandinelli,et al.  Process modeling in-the-large with SLANG , 1993, [1993] Proceedings of the Second International Conference on the Software Process-Continuous Software Process Improvement.

[38]  Steven P. Reiss,et al.  Connecting tools using message passing in the Field environment , 1990, IEEE Software.

[39]  Andreas Claßen.  Component integration in METAFrame , 1998 .

[40]  Farhad Arbab,et al.  An overview of manifold and its implementation , 1993, Concurr. Pract. Exp..