• LOTOS

  • Referenced in 147 articles [sw02961]
  • been specifically developed for the formal description of the OSI (Open Systems Interconnection) architecture, although...
  • IF-2.0

  • Referenced in 46 articles [sw03303]
  • complex system specifications which mix formal descriptions and executable code (e.g, for components already implemented...
  • RAISE

  • Referenced in 14 articles [sw03248]
  • terms of (a) creating a formal description, or specification, that meets the requirements...
  • LOTOSphere

  • Referenced in 9 articles [sw14748]
  • expected from the use of such formal description techniques. LOTOSphere: Software Development with LOTOS describes ... LOTOS became a vehicle for efficient, yet formally based industrial software specification, design, verification, implementation ... treatment of the use of these formal description techniques in a software engineering environment...
  • GF

  • Referenced in 31 articles [sw13667]
  • Grammatical framework. A type-theoretical grammar formalism. Grammatical Framework (GF) is a special-purpose functional ... uses a Logical Framework (LF) for a description of abstract syntax, and adds to this ... describe both formal and natural languages. The key notion of this description is a grammatical ... gender in natural languages, or precedence in formal languages. Grammatical objects have a type system...
  • KL-ONE

  • Referenced in 38 articles [sw28891]
  • description logics. Description logics are a family of knowledge representation formalisms that are descended from ... satisfiability) in a great variety of description logics can be decided using tableau-like algorithms...
  • SCTL-MUS

  • Referenced in 8 articles [sw02245]
  • translation between MUS and a constructive formal description technique is automatic from the definition...
  • CEL

  • Referenced in 15 articles [sw12477]
  • Description logics (DLs) are an important family of formalisms for reasoning about ontologies...
  • ALM

  • Referenced in 4 articles [sw29436]
  • front end for a logic programming system description. The resulting logic programming representation is used ... concepts of module (a formal description of a specific piece of knowledge packaged...
  • Orange4WS

  • Referenced in 4 articles [sw27294]
  • well as the use of formal descriptions of data sources and knowledge discovery tools...
  • TinkerType

  • Referenced in 5 articles [sw01773]
  • pragmatic framework for compact and modular description of formal systems (type systems, operational semantics, logics...
  • SAD

  • Referenced in 14 articles [sw09796]
  • texts that are formalized in the ForTheL language (a brief description of which is also ... checks their correctness. We give a short description of SAD and a series of examples ... which the implementation is based, can be formalized with the help of a calculus...
  • Abella

  • Referenced in 37 articles [sw09461]
  • Abella Interactive Theorem Prover (System Description). Abella [3] is an interactive system for reasoning about ... aspects of object languages that have been formally presented through recursive rules based on syntactic...
  • Konclude

  • Referenced in 8 articles [sw12474]
  • supported ontology language is formally characterised by the Description Logic (DL) SROIQV(D). In other...
  • ETPS

  • Referenced in 145 articles [sw06302]
  • various mathematical activities, promoting development of formal theories in a wide variety of disciplines, deductive ... Proof, Second Edition, Kluwer Academic Publishers, 2002. Descriptions of the rules of inference are available ... ETPS: A System to Help Students Write Formal Proofs (postscript...
  • LOEWE

  • Referenced in 2 articles [sw29143]
  • software. Although primarily based on the formal description technique LOTOS, LOEWE additionally offers multiple, semantically...
  • VERSA

  • Referenced in 2 articles [sw21393]
  • time systems, process algebras, specification, verification, formal description techniques, resources, priority, software engineering tools...
  • Lava

  • Referenced in 11 articles [sw28643]
  • circuit descriptions. These interpretations implement standard circuit analyses such as simulation, formal verification ... functions to provide more abstract and general descriptions than are possible in traditional hardware description...
  • PREVAIL

  • Referenced in 6 articles [sw02114]
  • proof environment for VHDL descriptions The authors describe a formal verification environment for proving ... designer conforms to some restrictions in the description style. For simple bit-level combinational descriptions...
  • LOTOOL

  • Referenced in 1 article [sw18604]
  • developing, verifying and testing protocols using formal description techniques...