For the most recent entries see the Petri Nets Newsletter.

A formal approach for component retrieval and integration analysis.

Chu, William; Lu, Chih-Wei; Yang, Hongji; He, Xudong

In: Journal of Software Maintenance: Research and Practice, Vol. 12, No. 6, pages 325-342. 2000.

Keywords: software reuse, object-oriented programs, component retrieval, integration analysis, formal methods, predicate transition nets.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography