DE eng

Search in the Catalogues and Directories

Page: 1 2 3 4
Hits 1 – 20 of 64

1
Crowdsourcing Intelligence to Combat Terrorism: Harnessing Bottom-Up Collection to Prevent Lone-Wolf Terror Attacks
In: DTIC (2015)
BASE
Show details
2
Learning to Understand Natural Language with Less Human Effort
In: DTIC (2015)
BASE
Show details
3
Battle of Narratives
In: DTIC (2012)
BASE
Show details
4
Composite Artistry Meets Facial Recognition Technology: Exploring the Use of Facial Recognition Technology to Identify Composite Images
In: DTIC (2011)
BASE
Show details
5
Intelligence Dissemination to the Warfighter
In: DTIC (2007)
BASE
Show details
6
Developing Dependable Software for a System-of-Systems
In: DTIC AND NTIS (2005)
BASE
Show details
7
Computer Programs Supporting Instruction in Acoustics
In: DTIC AND NTIS (1998)
BASE
Show details
8
Cross Model Access in the Multi-Lingual, Multi-Model Database Management System
In: DTIC AND NTIS (1997)
BASE
Show details
9
Information Requirements Analysis: A Qualitative Characterization of the Flightline Expediter for the Integrated Maintenance Information System
In: DTIC (1996)
BASE
Show details
10
Schema and Data Conflict Resolution Across Distributed Graphical ASN.1 Databases.
In: DTIC AND NTIS (1994)
BASE
Show details
11
The Design and Implementation of the Functional/Daplex Data Interface for the Multimodel and Multilingual Database System
In: DTIC AND NTIS (1994)
BASE
Show details
12
Using Multiple Adaptively-Weighted Strategies for the Resolution of Demonstratives
In: DTIC AND NTIS (1993)
BASE
Show details
13
Naive Physics, Event Perception, Lexical Semantics, and Language Acquisition
In: DTIC AND NTIS (1993)
BASE
Show details
14
Design and Implementation of an Object-Oriented Interface for the Multi- Model/Multi-Lingual Database System
In: DTIC AND NTIS (1993)
BASE
Show details
15
Continuous Speech Recognition as an Input Method for Tactical Command Entry in the SH-60B Helicopter
In: DTIC AND NTIS (1992)
BASE
Show details
16
Labelled Formal Languages and Their Uses.
In: DTIC AND NTIS (1991)
BASE
Show details
17
An Investigation into the Use of Computer-Assisted Instruction to Present Basic English Grammar Concepts
In: DTIC AND NTIS (1991)
BASE
Show details
18
Rule Based Sinusoidal Encoding of Speech
In: DTIC AND NTIS (1990)
BASE
Show details
19
An Investigation of the Methodology for Software Translation from PASCAL to C of an Undocumented Microcomputer Program
In: DTIC AND NTIS (1990)
BASE
Show details
20
The Design and Implementation of a Syntax Directed Editor for the Specification Language Spec
In: DTIC AND NTIS (1989)
Abstract: The formal specification language Spec is used for writing black-box specifications for large software systems. These black-box specifications describe the interface between a system and its users, as well as internal interfaces between modules. Systems analysts use specifications written in Spec to verify the customer's requirements during the development of a software system. This thesis demonstrates the feasibility of designing and implementing a syntax directed editor for a subset of the specification language Spec. The editor is a software tool for writing Spec specifications that ensures syntactic correctness of such specifications. The syntax directed editor is created using the Synthesizer Generator, a Computer-Aided Software Engineering (CASE) tool for generating language-based editors. The specification for the editor is written in the Synthesizer Specification Language (SSL) which is based on an attribute grammar. The software tool developed in this thesis supports the Requirements Analysis phase of the software development cycle. Keywords: Syntax directed editor; Specification language; Attribute grammar; Abstract syntax; Concrete syntax; Synthesizer generator; Theses.
Keyword: *PROGRAMMING LANGUAGES; *SYNTAX; ABSTRACTS; ANALYSTS; CASE(COMPUTER AIDED SOFTWARE ENGINEERING); COMPUTER APPLICATIONS; COMPUTER PROGRAMMING; Computer Programming and Software; COMPUTER PROGRAMS; FORMAL SPECIFICATION LANGUAGES; GRAMMARS; INTERFACES; INTERNAL; LANGUAGE; Linguistics; REQUIREMENTS; SPEC PROGRAMMING LANGUAGE; SPECIFICATIONS; SSL(SYNTHESIZER SPECIFICATION LANGUAGE); SYNTHESIS; SYSTEMS ANALYSIS; THESES; WRITING
URL: http://www.dtic.mil/docs/citations/ADA212085
http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA212085
BASE
Hide details

Page: 1 2 3 4

Catalogues
0
0
0
0
0
0
0
Bibliographies
0
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
64
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern