Reusing analogous components

Using formal specifications to represent software components facilitates the determination of reusability because they more precisely characterize the functionality of the software, and the well-defined syntax makes processing amenable to automation. This paper presents an approach, based on formal...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	IEEE transactions on knowledge and data engineering 1997-03, Vol.9 (2), p.341-349
Hauptverfasser:	Cheng, B.H.C., Jun-Jang Jeng
Format:	Artikel
Sprache:	eng
Schlagworte:	Application software Applied sciences Artificial intelligence Automation Clustering algorithms Computer science control theory systems Exact sciences and technology Formal specifications Language processing and microprogramming Learning and adaptive systems Logic arrays Logic testing Programmable logic arrays Software Software engineering Software libraries Software reusability Software testing
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!