Specif-X: A tool for CASE

  • Michel Lissandre
  • Bernard De Vaulx
IX — Arrows, Boxes, Circles (1)
Part of the Lecture Notes in Computer Science book series (LNCS, volume 289)


SPECIF-X is the name of a tool developped by IGL to support the SADT methodology. This paper provides a very brief overview of SADT. It then presents the various features of the tool, seen at three functional levels: a production level, an organisation level, and an exploitation level. The paper then describes SPECIF's implementation, from a user's viewpoint. It discusses the impact of some constraints during the requirements analysis phase. It concludes by commenting upon the feedbacks already available from the first users, most of them coming from projects that were performed in 1985 and 1986 at SAT Control, for satellites. They show, on the one hand, that the use of the tool facilitates the introduction and the practical use of SADT, and, on the other hand, that it boosts both the quality of the functional requirements and the analyst's productivity. The paper also indicates the directions in which this product is being extended.


Computer Assisted Software Engineering (CASE) Requirements Analysis Functional Specification SADT 

Specif-X: Un outil de génie logiciel


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

8. References

  1. BARNY-86.
    M. Barny “Méthodes et Outils Informatiques pour la Conception de Logiciels en Informatique Industrielle” Actes JIIA 86 — Paris 17/20 juin 1986, pp 157–181.Google Scholar
  2. CONNOR-80.
    M. F. Connor “Structured Analysis and Design Technique: SADT” Portfolio 32-04-02. Systems Development Management. Pennsauken, NJ: Auerbach Publishers, 1980.Google Scholar
  3. DICKOVER-80.
    M. E. Dickover, C. L. McGowan, D. T. Ross “Software Design Using SADT” Portfolio 35-05-03. Systems Development Management. Pennsauken, NJ: Auerbach Publishers, 1980.Google Scholar
  4. HARANDI-86.
    M.T. Harandi, M.D. Lubars “Knowledge-Based Software development: A paradigm and a tool” Proceedings NCC, Vol. 55, 1986, pp 43–50.Google Scholar
  5. LISSANDRE-84.
    M. Lissandre, A. Mathis “Another brick in the gap between requirements analysis and design” Proceedings of the Second Software Engineering Conference, AFCET, Nice, June 1984, pp 20–27.Google Scholar
  6. MAHE-86.
    D. Mahé “SADT Plus: Des extensions de SADT” Génle Logiciel, Vol. 5, Juillet 1986, pp 57–61.Google Scholar
  7. MEYER-85.
    B. Meyer “On Formalism in Specifications” IEEE Software, January 1985, pp 6–26.Google Scholar
  8. MORIN-86.
    J. M. Morin “Génération de jeux de tests fonctionnels à partir d'une spécification SADT” Actes du 3eme Colloque de Génie Logiciel, AFCET, Versailles, Mai 1986, pp 213–225Google Scholar
  9. PHAM-85.
    N. Pham-Van “Méthodes de spécification et de conception d'un système flexible de transport” Actes Convention Automatique et Productique, Paris, Décembre 1985, pp 62–67.Google Scholar
  10. PONCET-87.
    F. Poncet “SADL: A Software Development Environment” To be included in these proceedings.Google Scholar
  11. ROSS-77a.
    D.T. Ross “Structured Analysis (SA): A Language for Communicating Ideas” IEEE Trans. Software Engineering, Vol. SE-3, No 1, January 1977, pp 16–34.Google Scholar
  12. ROSS-77b.
    D.T. Ross, K.E. Schoman “Structured Analysis for Requirements Definition” IEEE Trans. Software Engineering, Vol. SE-3, No 1, January 1977, pp 6–15.Google Scholar
  13. ROSS-79.
    D.T. Ross “Removing the Limitations of Natural Language” in Software Engineering, H. Freeman & P. Lewis, eds., Academic Press, New-York, October 1979.Google Scholar
  14. ROSS-85.
    D.T. Ross “Applications and Extensions of SADT” Computer, April 1985, pp 25–34.Google Scholar
  15. VOGRIG-86.
    R. Vogrig, G. Morel, D. Del-Svaldi, J. P. Vautrin “Contribution à l'analyse de la sécurité d'un système automatisé par SADT” Cahiers de notes documentaires de l'INRS, No 123, 2eme trimestre 1986, pp175–192Google Scholar
  16. YOURDON-85.
    E. Yourdon “What Ever Happened to Structured Analysis?” Datamation, June 1, 1986, pp 133–138.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Michel Lissandre
    • 1
    • 2
  • Bernard De Vaulx
    • 1
    • 2
  1. 1.IGL Technology Tour ManhattanParis la Défense CédexFrance
  2. 2.SAT Control Le NaurouzeLabège Innopole CédexFrance

Personalised recommendations