Learn More
While UML gives an intuitive image of the system, formal methods provide the proof of its correctness. We can benefit from both aspects by combining UML and formal methods. Even for the combined method we need consistent and compact description of the changes made during the system development. In the development process certain design patterns can be(More)
Software Quality is a term, which is commonly used in the wide Computer World. However, saying that the main goal for the developers and stakeholders is to achieve the software which is of high quality is too general. Measuring software quality is very complex, because it consists of evaluating software products, processes and resources, each of which is(More)
  • 1