researchr - search publication multi-level specification

researchr

You are not signed in
Sign in
Sign up

35 publication results matching 'multi-level specification'

Multi-Level Specifications
… : (1) untyped equational specifications (2) applicative one-level specifications (3) modular multi-level specifications. The definition of a typechecker …This chapter introduces a modular, applicative, multi-level equational …
Eelco Visser. In Arie van Deursen, Jan Heering, Paul Klint, editors, Language Prototyping. An Algebraic Specification Approach. Volume 5 of AMAST Series in Computing, World Scientific, Singapore, September 1996.
A Language for Configuring Multi-level SpecificationsGillian Hill, Steven Vickers. amast 2004: 196-210 [doi]
A language for configuring multi-level specificationsGillian Hill, Steven Vickers. TCS, 351(2):146-166, 2006. [doi]
Multi-level specifications based on tracesPaulo A. S. Veloso, Antonio L. Furtado. sigsoft, 8(1):17-19, 1983. [doi]
Multi-Level Specification and Verification of Real-Time SoftwareArmen Gabrielian, Matthew K. Franklin. ICSE 1990: 52-62
Syntax Definition for Language Prototyping
… formalism. (3) Design of a multi-level algebraic specification formalism. (4 …
Eelco Visser. PhD thesis, University of Amsterdam, September 1997.
Multi-level specification and protocol design for distributed multimedia communicationTaieb Znati, Yi Deng, Brian Field, Shi-Kuo Chang. group 1991: 255-268 [doi]
::::vFP::::: An Environment for the Multi-level Specification, Analysis, and Synthesis of Hardware AlgorithmsDorab Patel, Martine D. F. Schlag, Milos D. Ercegovac. fpca 1985: 238-255
Quality model for multi-level course specification and deliveryBrian Garner. ifip3-6 2003: 53-60
Multi-Level SLA Specification Language for IoT ApplicationsNoureddine Staifi, Meriem Belguidoum. tacc 2022: 49-61 [doi]
Serialisable multi-level transaction control: A specification and verificationEgon Börger, Klaus-Dieter Schewe, Qing Wang. SCP, 131:42-58, 2016. [doi]
Contextual Factors and Adaptative Multimodal Human-Computer Interaction: Multi-level Specification of Emotion and Expressivity in Embodied Conversational AgentsMyriam Lamolle, Maurizio Mancini, Catherine Pelachaud, Sarkis Abrilian, Jean-Claude Martin, Laurence Devillers. context 2005: 225-239 [doi]
An Example Application of a Multi-level Concrete Syntax Specification with Copy-and-Complete SemanticsJens Gulden. MoDELS 2017: 261-268 [doi]
Multi-level fault modeling for transaction-level specificationsGiovanni Beltrame, Cristiana Bolchini, Antonio Miele. glvlsi 2009: 87-92 [doi]
5SL: a language for declarative specification and generation of digital libraries
… formal theory for digital libraries and enables high-level specification of DLs …Digital libraries (DLs) are among the most complex kinds of information systems, due in part to their intrinsic multi disciplinary nature. Nowadays DLs …
Marcos André Gonçalves, Edward A. Fox. JCDL 2002: 263-272 [doi]
Formal Specification of a Multi-Level Secure Operating SystemTanya Korelsky, David Sutherland. sp 1984: 209-218
Specifications for Multi-Level Security and a Hook-Up PropertyDaryl McCullough. sp 1987: 161-166
Specification and Management of Methods - A Case for Multi-level ModellingUlrich Frank. caise 2019: 311-325 [doi]
Multi-Level Communication Synthesis of Heterogeneous Multilanguage SpecificationF. Hessel, Philippe Coste, Gabriela Nicolescu, P. LeMarrec, Nacer-Eddine Zergainoh, Ahmed Amine Jerraya. iccd 2000: 525 [doi]
Towards multi-level and modular conceptual schema specificationsUlrich Schiel, Antonio L. Furtado, Erich J. Neuhold, Marco A. Casanova. is, 9(1):43-57, 1984.

Sign in or sign up to see more results.

runs on WebDSL