Using a systematic approach, it describes the concept of method integration. Presents a detailed investigation of several major techniques, including Information Modeling, Structured Analysis and VHDL, stressing their integration. Also describes company-specific or research methods that provide distinctive and theoretically advanced features such as HIT and COLD. Contains case studies on Siemens, Daimler Benz and Philips which illustrate the ideas introduced.Nokia Research Center, VITAL component libraries usera#39;s manual. Library version 1.0. Espoo, Finland, 1991. A. Okkonen, A. Auer, M. Levanto, J. Okkonen, and J. Kalaoja. SOCRATES-SA - A Formal Method for Specifying Real-Time Systems.
Title | : | Method integration |
Author | : | Klaus Kronlöf |
Publisher | : | John Wiley & Sons Inc - 1993 |
You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.
Once you have finished the sign-up process, you will be redirected to your download Book page.
How it works: