Generalized Program Slicing Applied to Z Specifications

Program slicing, a well-known technique, originally introduced by Weiser M., has already been widely used in numerous software engineering areas. With the development of research, the concept of program slicing is extended, and its application domains are broadened. This paper proposes a method for...

Ausführliche Beschreibung

Bibliographische Detailangaben

1. Verfasser:	Fangjun Wu
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Application software Artificial intelligence Automatic control Calculus Finance Formal specifications Information technology Performance analysis Power capacitors Software engineering
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!