In cooperation with University of Kaiserslautern, the Software Component Technology Group works on the Java Interactive Verification Environment, Jive. Jive allows one to interactively prove that JML annotated Java programs fulfill their specifications. Currently, the interactive theorem prover Isabelle is used for specification and verification of general properties that are not directly relat...

Variations introduced to medicinal product documentation must not affect the quality, efficacy, and safety of the product. Croatian Medicinal Products Act and accompanying ordinances are largely aligned with the EU regulations. The EU has now tried to simplify the issue of variations with a new Regulation, creating differences in the definition of and approach to resolving certain types of vari...

Accurately predicting global solar irradiance is indispensable for smart management of electric grids.

The increase in government regulation during the 1960s and 1970s is examined, as well as showing the importance of understanding the benefit/cost ratio of regulation.

There is growing scholarly interest in analyzing changes policies, laws, and regulations. Some concepts depart from the goal of identifying policy substance. Other contributions have concentrated on structural characteristics laws regulations containing these substantive changes. Extracting measures substance legislative texts a challenging time-consuming endeavor as it requires manual assessme...

s the popularity of the Malcolm Baldrige National Quality Award continues to grow, the healthcare industry has become increasingly interested in its benefits. The Malcolm Baldrige Model for Performance Excellence has now been widely emulated at local, national and international levels as a result of its success in creating strategic and operational performance improvement over the past 16 years...

This paper investigates whether the efficiency effect of product market dispersion is a function of the infrastructural and policy environment. We hypothesize that more developed transportation and communication infrastructure and lower government regulation may reduce transaction costs, intensifying the competition associated with a given market structure, and we use data from the recently lib...