Abstract
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.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
8. References
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.
M. F. Connor “Structured Analysis and Design Technique: SADT” Portfolio 32-04-02. Systems Development Management. Pennsauken, NJ: Auerbach Publishers, 1980.
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.
M.T. Harandi, M.D. Lubars “Knowledge-Based Software development: A paradigm and a tool” Proceedings NCC, Vol. 55, 1986, pp 43–50.
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.
D. Mahé “SADT Plus: Des extensions de SADT” Génle Logiciel, Vol. 5, Juillet 1986, pp 57–61.
B. Meyer “On Formalism in Specifications” IEEE Software, January 1985, pp 6–26.
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–225
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.
F. Poncet “SADL: A Software Development Environment” To be included in these proceedings.
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.
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.
D.T. Ross “Removing the Limitations of Natural Language” in Software Engineering, H. Freeman & P. Lewis, eds., Academic Press, New-York, October 1979.
D.T. Ross “Applications and Extensions of SADT” Computer, April 1985, pp 25–34.
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–192
E. Yourdon “What Ever Happened to Structured Analysis?” Datamation, June 1, 1986, pp 133–138.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lissandre, M., De Vaulx, B. (1987). Specif-X: Un outil de génie logiciel. In: Nichols, H., Simpson, D. (eds) ESEC '87. ESEC 1987. Lecture Notes in Computer Science, vol 289. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0022120
Download citation
DOI: https://doi.org/10.1007/BFb0022120
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-18712-7
Online ISBN: 978-3-540-48117-1
eBook Packages: Springer Book Archive