Sciweavers

3522 search results - page 334 / 705
» Modeling and Aspect Weaving
Sort
View
ECIS
2000
15 years 8 months ago
Melding Information Systems Evaluation with the Information Systems Development Life-Cycle
- In this paper we consider the synergy between two areas of IS literature: that concerned with the evaluation of information systems and that concerned with explaining the phenome...
Paul Beynon-Davies, Ian Owens, Michael Lloyd-Willi...
ACL
1989
15 years 8 months ago
Automatic Acquisition of the Lexical Semantics of Verbs from Sentence Frames
This paper presents a computational model ofverb acquisitionwhich uses what we willcallthe principle of structured overeommitment to eliminate the need for negative evidence. The ...
Mort Webster, Mitchell P. Marcus
IJCAI
1989
15 years 8 months ago
A Problem Space Approach to Expert System Specification
One view of expert system development separates the endeavor into two parts. First, a domain expert, with the aid of a knowledge engineer, articulates a procedure for performing t...
Gregg Yost, Allen Newell
LFP
1990
102views more  LFP 1990»
15 years 8 months ago
A Semantic Basis for Quest
Quest is a programming language based on impredicative type quantifiers and subtyping within a three-level structure of kinds, types and type operators, and values. The semantics ...
Luca Cardelli, Giuseppe Longo
STTT
2008
117views more  STTT 2008»
15 years 6 months ago
An approach to quality engineering of TTCN-3 test specifications
Abstract Experience with the development and maintenance of large test suites specified using the Testing and Test Control Notation (TTCN-3) has shown that it is difficult to const...
Helmut Neukirchen, Benjamin Zeiss, Jens Grabowski