Bakema et al., 1994 - Google Patents
Fully communication oriented NIAMBakema et al., 1994
View PDF- Document ID
- 15035922657113704587
- Author
- Bakema G
- Zwart J
- Van der Lek H
- Publication year
- Publication venue
- NIAM-ISDM 1994 Conference, Working Papers
External Links
Snippet
The basic NIAM philosophy is: information analysis intends to model the communication about a certain Universe of Discourse (UoD) but does not intend to model the UoD itself. Consequently all existing elements in NIAM must be consistent with this philosophy. If they …
- 102100014518 TBRG1 0 title abstract description 51
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
- G06F17/20—Handling natural language data
- G06F17/27—Automatic analysis, e.g. parsing
- G06F17/2705—Parsing
- G06F17/271—Syntactic parsing, e.g. based on context-free grammar [CFG], unification grammars
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
- G06F17/20—Handling natural language data
- G06F17/27—Automatic analysis, e.g. parsing
- G06F17/2785—Semantic analysis
- G06F17/279—Discourse representation
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
- G06F17/20—Handling natural language data
- G06F17/28—Processing or translating of natural language
- G06F17/2872—Rule based translation
- G06F17/2881—Natural language generation
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
- G06F17/20—Handling natural language data
- G06F17/21—Text processing
- G06F17/22—Manipulating or registering by use of codes, e.g. in sequence of text characters
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
- G06F17/30—Information retrieval; Database structures therefor; File system structures therefor
- G06F17/30286—Information retrieval; Database structures therefor; File system structures therefor in structured data stores
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/30—Creation or generation of source code
- G06F8/36—Software reuse
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/30—Creation or generation of source code
- G06F8/34—Graphical or visual programming
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
- G06F17/50—Computer-aided design
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/20—Software design
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06Q—DATA PROCESSING SYSTEMS OR METHODS, SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES, NOT OTHERWISE PROVIDED FOR
- G06Q10/00—Administration; Management
- G06Q10/10—Office automation, e.g. computer aided management of electronic mail or groupware; Time management, e.g. calendars, reminders, meetings or time accounting
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/10—Requirements analysis; Specification techniques
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| Wells | Typability and type checking in System F are equivalent and undecidable | |
| Partsch | Specification and transformation of programs: a formal approach to software development | |
| Jacky | The way of Z: practical programming with formal methods | |
| Fodor | Phrase structure parsing and the island constraints | |
| Burstall et al. | Algebras, theories and freeness: An introduction for computer scientists | |
| Sannella et al. | Foundations of algebraic specification and formal software development | |
| De Bruijn | A survey of the project AUTOMATH | |
| Meyer | Touch of class | |
| Bakema et al. | Fully communication oriented NIAM | |
| O’donnell et al. | Discrete mathematics using a computer | |
| Pollard | Categorial grammar and phrase structure grammar: An excursion on the syntax-semantics frontier | |
| Van Eijck et al. | Dynamic semantics | |
| Burg et al. | The impact of linguistics on conceptual models: consistency and understandability | |
| Kracht | Is there a genuine modal perspective on feature structures? | |
| Aigner et al. | Kotlin in action | |
| Sowa | Graphics and languages for the Flexible Modular Framework | |
| Fitzgerald | Modularity in model-oriented formal specifications and its interaction with formal reasoning | |
| Passier et al. | Specification based OO development: Procedural Guidance | |
| Kashket | Parsing Warlpiri—a free word order language | |
| Hausser | Computational cognition | |
| Slator | Lexical semantics and preference semantics analysis | |
| Schmidt | A Methodology for Language Development | |
| Andréka et al. | 10 Some New Landmarks on the Roadmap of Two Dimensional Logics | |
| Lange | Learning Language (with) Grammars: From Teaching Latin to Learning Domain-Specific Grammars | |
| Girle | Metalogic for Students |