Structured Object-Oriented Formal Language and Method - Info and Reading Options

Open Data:

Intro -- Preface -- Organization -- Contents -- Modeling and Specification -- Genericity in PAR Platform -- Abstract -- 1 Introduction -- 2 A Brief Description of the PAR Platform -- 2.1 Modeling Language Radl -- 2.2 Rules of Specification Transformation -- 2.3 Modeling Language Apla -- 2.4 Generic Constructions -- 2.5 The New Techniques for Generating Database Application Program -- 2.6 Model Automatic Transformation Tools -- 2.7 The Application of PAR -- 3 Genericity Mechanisms in PAR -- 3.1 Definitions About Genericity -- 3.2 Type Region and Type Variable -- 3.3 Action Region and Action Variable -- 3.4 ADT Region and ADT Variable -- 3.5 Instantiation of the Generic Program Unit -- 4 Case Study: Matrices Product -- 5 Conclusion and Future Work -- Acknowledgments -- References -- Modeling and Verification of an Interrupt System in C/OS-III with TMSVL -- 1 Introduction -- 2 TMSVL -- 2.1 Statements in TMSVL -- 2.2 Interrupt in TMSVL -- 3 C/OS-III Overview -- 3.1 Tasks Management -- 3.2 Events Management -- 3.3 Interrupt Management -- 3.4 OS Kernel Service -- 4 Modeling and Verification of a Timer Interrupt Application -- 4.1 Modeling of the Application -- 4.2 Verification of the Application -- 5 Conclusion -- References -- The Interchange Format of Tabular Expressions Using XML -- 1 Introduction -- 2 Related Work and Motivation -- 2.1 Previous Work and Limitations -- 2.2 XML -- 2.3 Main Contribution -- 3 The Components of Tables Format -- 3.1 Constituents Information -- 3.2 Additional Information -- 3.3 Action Information -- 3.4 Visual Information -- 4 Structure of Tables Format -- 5 Discussion and Conclusion -- References -- A GUI-Aided Approach to Formal Specification Construction -- 1 Introduction -- 2 SOFL Informal Specification -- 3 Principle of GUI Prototyping -- 3.1 Step 1: Derivation of Preliminary GUI -- 3.2 Step 2: Refinement of GUI

Search for “Structured Object-Oriented Formal Language and Method” downloads:

Visit our Downloads Search page to see if downloads are available.

Find “Structured Object-Oriented Formal Language and Method” in Libraries Near You:

Read or borrow “Structured Object-Oriented Formal Language and Method” from your local library.

• The WorldCat Libraries Catalog: Find a copy of “Structured Object-Oriented Formal Language and Method” at a library near you.