✦ LIBER ✦

Category localization semantics for specification refinements

✍ Scribed by Jerzy Tomasik; Jerzy Weyman

Publisher: Springer Netherlands
Year: 2007
Tongue: English
Weight: 284 KB
Volume: 49
Category: Article
ISSN: 1012-2443
DOI: 10.1007/s10472-007-9055-4

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A cross-categorial semantics for coordin

A cross-categorial semantics for coordination

✍ Gerald Gazdar 📂 Article 📅 1980 🏛 Springer Netherlands 🌐 English ⚖ 159 KB

Cross-categorial semantics for conjoined

Cross-categorial semantics for conjoined common nouns

✍ Merrie Bergmann 📂 Article 📅 1982 🏛 Springer Netherlands 🌐 English ⚖ 143 KB

Brain damage and semantic category disso

Brain damage and semantic category dissociations: is the animals category easier for males?

✍ Stefania Scotti; Marcella Laiacona; Erminio Capitani 📂 Article 📅 2010 🏛 Springer Milan 🌐 English ⚖ 162 KB

A semantics for Behavior Trees using CSP

A semantics for Behavior Trees using CSP with specification commands

✍ Robert J. Colvin; Ian J. Hayes 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 639 KB

In this paper we give a formal definition of the requirements translation language Behavior Trees. This language has been used with success in industry to systematically translate large, complex, and often erroneous requirements documents into a structured model of the system. It contains a mixture

Standard model semantics for DSL a data

Standard model semantics for DSL a data type specification language

✍ J. A. Bergstra; J. Terlouw 📂 Article 📅 1983 🏛 Springer-Verlag 🌐 English ⚖ 698 KB

The development of semantic categories f

The development of semantic categories for addition and subtraction

✍ P. Nesher; J. G. Greeno; M. S. Riley 📂 Article 📅 1982 🏛 Springer 🌐 English ⚖ 913 KB