Results 1 - 10 of 2,236

Goal-directed Requirements Acquisition

by Anne Dardenne , Axel van Lamsweerde, Stephen Fickas - SCIENCE OF COMPUTER PROGRAMMING , 1993
"... Requirements analysis includes a preliminary acquisition step where a global model for the specification of the system and its environment is elaborated. This model, called requirements model, involves concepts that are currently not supported by existing formal specification languages, such as goal ..."
Abstract - Cited by 585 (17 self) - Add to MetaCart
Requirements analysis includes a preliminary acquisition step where a global model for the specification of the system and its environment is elaborated. This model, called requirements model, involves concepts that are currently not supported by existing formal specification languages

A Theory of Focus Interpretation

by Mats Rooth
"... More or less final version. To appear in Natural Language Semantics. According to the alternative semantics for focus, the semantic reflex of intonational focus is a second semantic value, which in the case of a sentence is a set of propositions. We examine a range of semantic and pragmatic applicat ..."
Abstract - Cited by 488 (6 self) - Add to MetaCart
applications of the theory, and extract a unitary principle specifying how the focus semantic value interacts with semantic and pragmatic processes. A strong version of the theory has the effect of making lexical or construction-specific stipulation of a focus-related effect in association with focus

Quine’s challenge and Logical Pluralism

by Drs Theodora Achourioti, Dr. Catarina, Dutilh Novaes , 2010
"... Anumberofdeviantdeductivesystemshavebeenproposedwhichdiffer in some way from classical logic. An influential philosophical interpretation of plurality in logic has been developed by Quine, who introduced the meaningchange thesis, summarized in his "Change of logic, change of subject". We s ..."
Abstract - Add to MetaCart
with specific pragmatic meta-concepts, which are distinct from

Members of the Thesis Committee:

by Antonio Negro, Drs Theodora Achourioti, Prof Dr, Dick De Jongh, Dr. Catarina, Dutilh Novaes, Prof Dr, Martin Stokhof , 2010
"... Anumberofdeviantdeductivesystemshavebeenproposedwhichdiffer in some way from classical logic. An influential philosophical interpretation of plurality in logic has been developed by Quine, who introduced the meaningchange thesis, summarized in his "Change of logic, change of subject". We s ..."
Abstract - Add to MetaCart
with specific pragmatic meta-concepts, which are distinct from

On Distinguishing Epistemic from Pragmatic Action

by David Kirsh, Paul Maglio - Cognitive Science , 1994
"... We present data and argument to show that in Tetris-a real-time, interactive video game-certain cognitive and perceptual problems ore more quicktv, easily, and reliably solved by performing actions in the world than by performing com-putational actions in the head atone. We have found that some of t ..."
Abstract - Cited by 341 (10 self) - Add to MetaCart
pragmatic octions--actions performed to bring one physically closer to a goal-from epistemic actions-actions performed to uncover informatioan that is hidden or hard to compute mentally. To illustrate the need for epistemic actions, we first develop a standard information-processing model of Tetris

Relationship of core selfevaluations traits—self-esteem, generalized self-efficacy, locus of control, and emotional stability—with job satisfaction and job performance: A meta-analysis

by Timothy A. Judge, Joyce E. Bono - Journal of Applied Psychology , 2001
"... This article presents meta-analytic results of the relationship of 4 traits—self-esteem, generalized self-efficacy, locus of control, and emotional stability (low neuroticism)—with job satisfaction and job performance. With respect to job satisfaction, the estimated true score correlations were.26 f ..."
Abstract - Cited by 237 (13 self) - Add to MetaCart
This article presents meta-analytic results of the relationship of 4 traits—self-esteem, generalized self-efficacy, locus of control, and emotional stability (low neuroticism)—with job satisfaction and job performance. With respect to job satisfaction, the estimated true score correlations were.26

Fresh Logic

by Murdoch J. Gabbay, Aad Mathijssen - Journal of Applied Logic , 2007
"... Abstract. The practice of first-order logic is replete with meta-level concepts. Most notably there are meta-variables ranging over formulae, variables, and terms, and properties of syntax such as alpha-equivalence, capture-avoiding substitution and assumptions about freshness of variables with resp ..."
Abstract - Cited by 219 (28 self) - Add to MetaCart
Abstract. The practice of first-order logic is replete with meta-level concepts. Most notably there are meta-variables ranging over formulae, variables, and terms, and properties of syntax such as alpha-equivalence, capture-avoiding substitution and assumptions about freshness of variables

An Architecture for Next Generation Middleware

by G.S. Blair, G. Coulson, P. Robin, M. Papathomas - Middleware, IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing (Middleware’98), Lake District , 1998
"... This paper proposes an approach to the design of configurable and open middleware platforms based on the concept of reflection. More specifically, the paper introduces a language-independent reflective architecture featuring a perobject meta-space, the use of meta-models to structure meta-space, and ..."
Abstract - Cited by 207 (33 self) - Add to MetaCart
This paper proposes an approach to the design of configurable and open middleware platforms based on the concept of reflection. More specifically, the paper introduces a language-independent reflective architecture featuring a perobject meta-space, the use of meta-models to structure meta

Dialogue Pragmatics and Context Specification

by Harry Bunt - In Abduction, Belief and Context in Dialogue; studies in computational , 2000
"... Introduction Pragmatics is commo,nly understood to be concerned with studying the relations between linguistic phenomena and properties of the context of use. The understanding of these relations is important in many areas of theoretical and applied research, from grammatical analysis to sociolingu ..."
Abstract - Cited by 60 (19 self) - Add to MetaCart
Introduction Pragmatics is commo,nly understood to be concerned with studying the relations between linguistic phenomena and properties of the context of use. The understanding of these relations is important in many areas of theoretical and applied research, from grammatical analysis

MEtaGile: A Pragmatic Domain-Specific Modeling Environment E-mail:

by Olivier Buchwalder, Claude Petitpierre
"... Domain-specific modeling (DSM) is a software development methodology that promises greater gains in productivity by systematizing the use of domain-specific languages (DSL). This paper first addresses the notions of abstraction and specificity by comparing some existing languages, and proposes an or ..."
Abstract - Add to MetaCart
an original representation that highlights the global advantages of using DSLs. This document presents then MEtaGile, our DSM environment that provides facilities for creating and supporting evolved DSLs. This environment is mainly designed for supporting pragmatic modeling concepts, and implements practical
Results 1 - 10 of 2,236