Evgeni Dimitrov

Learn More
This research paper investigates and evaluates the currently available process models for software development with respect to representation of software performance engineering (SPE) tasks. The deficits identified point to the need to expand existing process models to include this task. On the basis of an process model for object-oriented development, a so(More)
In this paper extended Petri Nets, SDL Time Nets, are introduced and used as means to analyze and verify SDL'92 speciications. The extensions include an association of data structure with some net places and attachement of preconditions (guard functions) and time ring intervals to net transitions. With the help of these nets it is possible to describe(More)
Preformed steel crowns are factory-made structures that are used in the restoration of damaged teeth significantly affected by multi-surface carious lesions. They cover the entire clinical crown, which provides reliable prevention of the occurrence of secondary caries. Placing the conventional steel crowns require some preliminary preparation of the tooth,(More)
  • 1