skip to main content
10.1145/1081180.1081181acmconferencesArticle/Chapter ViewAbstractPublication PagesfseConference Proceedingsconference-collections
Article

The experience of ATX with the application of formal/rigorous techniques and methods in real projects

Published:05 September 2005Publication History

ABSTRACT

ATX offers an integrated set of architectural and re-engineering technologies that, through methods and tools tested in large critical projects, can support long-term strategies of transitioning legacy business functions to core agile services that can sustain crucial competitiveness in the volatile markets of today. Such strategies are being pursued by an increasing number of major IT consumers such as financial institutions, telecoms, and public administration, in response to the need to operate, as first-class players, in the e-Economy. The fact that the systems in place at these organizations still run on legacy technology (e.g. COBOL) has created the need for re-engineering and enterprise integration technologies.

  1. The experience of ATX with the application of formal/rigorous techniques and methods in real projects

    Recommendations

    Comments

    Login options

    Check if you have access through your login credentials or your institution to get full access on this article.

    Sign in
    • Published in

      cover image ACM Conferences
      FMICS '05: Proceedings of the 10th international workshop on Formal methods for industrial critical systems
      September 2005
      152 pages
      ISBN:1595931481
      DOI:10.1145/1081180

      Copyright © 2005 ACM

      Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

      Publisher

      Association for Computing Machinery

      New York, NY, United States

      Publication History

      • Published: 5 September 2005

      Permissions

      Request permissions about this article.

      Request Permissions

      Check for updates

      Qualifiers

      • Article

      Upcoming Conference

      FSE '24
    • Article Metrics

      • Downloads (Last 12 months)1
      • Downloads (Last 6 weeks)0

      Other Metrics

    PDF Format

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader