A formal approach for component retrieval and integration analysis.

For the most recent entries see the Petri Nets Newsletter.

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.