Shengkai Lu

Learn More
For complex software systems a centr al design con cern is system archite cture The systematic treatment of ar chite ctur al speci cation and re nement is a prop er basis for an engineering approach to system design However conventional Petri nets models do not pro vide ade quate abstr actions for archite ctural speci ca tion because their primary conc ern(More)
  • 1