Case Study about Formal and Informal Specifications through an Industrial
Abstract: In this paper, we discuss a case study in which we have taken a problem from industry and specified it both in B and UML. The object of our case study is the teletext module of a new generation TV. We have discussed our experience, and presented an analysis of both the specifications. We found that, in order to specify a real-time event-driven system, some amount of formality is necessary, which UML does not usually provide. Our industrial collaborators are considering changing their specification process basedon our findings.
Introduction: In this paper, we perform a comparative study of formal specifications and informal specifications. We have taken a medium size system from a project in industry, and have specified it both formally and informally. For the formal specification, we used B [Abr 96] as the specification language, and for the informal specification, we used UML [Boo 99]. Our most important conclusion is that UML is not sufficient to specify requirements, which may be complex and rigorous in nature. Some amount of formality is necessary to take care of particularly complex issues. Conversely we found that the UML was helpful for visualising the structure of the models compared with a formal specification. keep reading..
A company’s strategy consists of the competitive moves and business approaches that managers are employing to grow the business, attract and please customers, compete successfully, conduct operations, and achieve the targeted levels of organizational performance.
A company achieves sustainable competitive advantage when an attractive number of buyers prefer its products or services over the offerings of competitors and when the basis for this preference is durable.
Changing circumstances and ongoing management efforts to improve the strategy cause a company’s strategy to evolve over time—a condition that makes the task of crafting a strategy a work in progress, not a one-time event. A company’s strategy is shaped partly by management analysis and choice and partly by the necessity of adapting and learning by doing. A strategy cannot be considered ethical just because it involves actions that are legal. To meet the standard of being. Click here to read more…
The Olympic and Paralympic Games are the world’s largest peace-time event. The modern Olympic Games were first held in Greece in 1896 and since 1960, the Paralympic Games have provided athletes with disabilities with the opportunity to compete at the highest level. All athletes are encouraged to live by a set of shared principles -the Olympic and Paralympic Values of friendship, equality, respect, courage, determination, excellence and inspiration. Read more to know the elements for the vision behind the Olympic 2012.