In this paper, we present a formal model of the pharmaceutical market as a market with price competition between the original and the generic alternative. The generic substitutes are perceived by the consumers as di¤erentiated products, even though they are chemically identical. In addition, because of price regulation, a low ”limit price” will be a credible commitment not to increase prices up...

The automatic extraction of comparative information is an important text mining problem and an area of increasing interest. In this paper, we study how to build a Korean comparison mining system. Our work is composed of two consecutive tasks: 1) classifying comparative sentences into different types and 2) mining comparative entities and predicates. We perform various experiments to find releva...

Formal program development has gained widespread academic interest as a rigorous software engineering technique. One of the main hurdles for the wider IT industry in adopting these formal techniques is a lack of tools to support their use in combination with more traditional development techniques. This paper describes an integrated environment for object-oriented software development which inc...

Some of the major difficulties in developing practical tools using formal methods to analyze and manage feature interactions include: • the significant upfront investment that is required to develop and verify a formal model for the AIN architecture before any interaction analysis can be carried out • the time consuming process of formally specifying a feature that requires a user to have a sig...

Comprehensibility is often raised as a problem with formal notations, yet formal methods practitioners dispute this. In a survey, one interviewee said "formal specifications are no more difficult to understand than code". Measurement of comprehension is necessarily comparative and a useful comparison for a specification is against its implementation. Practitioners have an intuitive feel for the...