Specification language

Results: 1266



#Item
1SPECIFICATION AND DEVELOPMENT OF PARALLEL ALGORITHMS WITH THE PROTEUS SYSTEM ALLEN GOLDBERG, PETER MILLS, LARS NYLAND, JAN PRINS, JOHN REIF, AND JAMES RIELY Abstract. The Proteus language is a wide-spectrum parallel prog

SPECIFICATION AND DEVELOPMENT OF PARALLEL ALGORITHMS WITH THE PROTEUS SYSTEM ALLEN GOLDBERG, PETER MILLS, LARS NYLAND, JAN PRINS, JOHN REIF, AND JAMES RIELY Abstract. The Proteus language is a wide-spectrum parallel prog

Add to Reading List

Source URL: www.kestrel.edu

Language: English - Date: 2012-08-08 19:03:00
2Requirements for a Specification Language for Data and Information Flow, and A Literature Review of Analytical and Constructive Research on the Java Native Interface

Requirements for a Specification Language for Data and Information Flow, and A Literature Review of Analytical and Constructive Research on the Java Native Interface

Add to Reading List

Source URL: www.mais.informatik.tu-darmstadt.de

Language: English - Date: 2017-02-14 03:16:08
    3Physiological Hierarchy Markup Language (PHML) Language Specification Version 1.0  Table of Contents

    Physiological Hierarchy Markup Language (PHML) Language Specification Version 1.0 Table of Contents

    Add to Reading List

    Source URL: physiodesigner.org

    Language: English - Date: 2016-12-13 19:54:55
      4Modelica® - A Unified Object-Oriented Language for Systems Modeling Language Specification Version 3.4 April 10, 2017 Abstract

      Modelica® - A Unified Object-Oriented Language for Systems Modeling Language Specification Version 3.4 April 10, 2017 Abstract

      Add to Reading List

      Source URL: www.modelica.org

      Language: English - Date: 2017-05-31 07:46:14
        5ModelicaTM - A Unified Object-Oriented Language for Physical Systems Modeling LANGUAGE SPECIFICATION Version 1.3 December 15, 1999  ModelicaTM is a trademark of the

        ModelicaTM - A Unified Object-Oriented Language for Physical Systems Modeling LANGUAGE SPECIFICATION Version 1.3 December 15, 1999 ModelicaTM is a trademark of the "Modelica Design Group".

        Add to Reading List

        Source URL: www.modelica.org

        Language: English - Date: 2010-10-22 20:30:05
          6Modelica® - A Unified Object-Oriented Language for Physical Systems Modeling Language Specification VersionJanuary 30, 2004 February 2, 2005

          Modelica® - A Unified Object-Oriented Language for Physical Systems Modeling Language Specification VersionJanuary 30, 2004 February 2, 2005

          Add to Reading List

          Source URL: www.modelica.org

          Language: English - Date: 2010-10-22 20:31:15
            7The Systems Biology Markup Language (SBML): Language Specification for Level 3 Version 2 Core Michael Hucka (Chair) Frank T. Bergmann ¨

            The Systems Biology Markup Language (SBML): Language Specification for Level 3 Version 2 Core Michael Hucka (Chair) Frank T. Bergmann ¨

            Add to Reading List

            Source URL: sbml.org

            Language: English - Date: 2017-12-06 15:36:42
              8A Controlled Language for the Specification of Contracts Gordon Pace Michael Rosner

              A Controlled Language for the Specification of Contracts Gordon Pace Michael Rosner

              Add to Reading List

              Source URL: attempto.ifi.uzh.ch

              Language: English - Date: 2013-09-23 06:45:32
                9ModelicaTM - A Unified Object-Oriented Language for Physical Systems Modeling LANGUAGE SPECIFICATION Version 1.3 December 15, 1999  ModelicaTM is a trademark of the

                ModelicaTM - A Unified Object-Oriented Language for Physical Systems Modeling LANGUAGE SPECIFICATION Version 1.3 December 15, 1999 ModelicaTM is a trademark of the "Modelica Design Group".

                Add to Reading List

                Source URL: www.modelica.org

                Language: English - Date: 2010-10-22 20:30:16
                  10Introduction  Specification language Translation

                  Introduction Specification language Translation

                  Add to Reading List

                  Source URL: prosecco.gforge.inria.fr

                  Language: English - Date: 2012-10-01 07:25:51