Formale Konsistenzsicherung in informellen Software-Spezifikationen

Author: Scheffczyk Jan   Stutz Christiane   Borghoff Uwe   Siedersleben Johannes  

Publisher: Springer Publishing Company

ISSN: 0178-3564

Source: Informatik - Forschung und Entwicklung, Vol.19, Iss.1, 2004-07, pp. : 17-29

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next