• Refine your search:
  • 
    Keyword:
    
    • Software / Tools (236)
    • Computerlinguistik (115)
    • Korpuslinguistik (69)
    • Englisch (67)
    • Computer Programming and Software (64)
    • Bibliografien (53)
    • Lehrmaterialien / Einführungen / Tutorials (50)
    • Korpora / Forschungsdaten (47)
    • Wörterbücher (47)
    • Deutsch (45)
    •   more
  • 
    Creator / Publisher
  • 
    Year
  • 
    Medium
  • 
    Type
  • 
    BLLDB-Access

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Page: 1 2 3 4 5 6 7 8 9...20 Hits 81 – 100 of 382 81 An Architecture for the Semantic Processing of Natural Language Input to a Policy Workbench Custy, E. J. In: DTIC AND NTIS (2003) BASE Show details 82 Exercising a Native Intelligence Metric on an Autonomous On-Road Driving System Horst, John A. In: DTIC (2003) BASE Show details 83 M.P.: Flexible protocol specification and execution: Applying event calculus planning using commitments Pınar Yolum; Munindar P. Singh In: http://www.cmpe.boun.edu.tr/courses/cmpe593/spring2006/reading/p273-yolum.pdf (2002) BASE Show details 84 Sketching for Knowledge Capture: A Progress Report Forbus, Kenneth D.; Usher, Jeffrey In: DTIC (2002) BASE Show details 85 Entwurf und Erprobung eines software-gestützten Verfahrens zur Anwendung software-ergonomischer Methoden in den frühen Phasen der Anwendungsentwicklung Schlegel, Thomas. - : Stuttgart, Germany, Universität Stuttgart, 2002 In: ftp://ftp.informatik.uni-stuttgart.de/pub/library/medoc.ustuttgart_fi/DIP-1985/DIP-1985.pdf (2002) BASE Show details 86 The Architecture of TrueViz: A Groundtruth/Metadata Editing and Visualizing Toolkit Lee, Chang Ha; Kanungo, Tapas In: DTIC (2001) BASE Show details 87 Generic description of a software document environment Toleman, Mark; Carrington, David; Cook, Phil. - 2001 BASE Show details 88 Incremental parsing in language-based editors: user needs and how to meet them Cook, Phil; Welsh, Jim. - : John Wiley & Sons, 2001 BASE Show details 89 Nomadic Radio: Speech Audio Interaction for Contextual Messaging in Nomadic Environments Nitin Sawhney; Chris Schmandt In: http://www.media.mit.edu/~nitin/NomadicRadio/tochi/tochi2000.ps (2000) BASE Show details 90 Nomadic Radio: Speech Audio Interaction for Contextual Messaging in Nomadic Environments Nitin Sawhney; Chris Schmandt In: http://www.media.mit.edu/~nitin/projects/NomadicRadio/tochi/tochi99.ps (2000) BASE Show details 91 Automatic Verification of Multiagent Conversations Lacey, Timothy; DeLoach, Scott A. In: DTIC (2000) BASE Show details 92 Generalized Aliasing as a Basis for Program Analysis Tools O'Callahan, Robert In: DTIC (2000) BASE Show details 93 Semantic Interoperability on the Web Heflin, Jeff; Hendler, James In: DTIC AND NTIS (2000) BASE Show details 94 Linguistic Assistant for Domain Analysis (LIDA) Korelsky, Tanya; Lavoie, Benoit; Overmyer, Scott In: DTIC AND NTIS (2000) BASE Show details 95 A Platform for Multilingual Research in Spoken Dialogue Systems Cole, Ronald A.; Serridge, Ben; Hasom, John-Paul... In: DTIC (2000) BASE Show details 96 Toward Formalizing Structured Analysis Luciano Baresi; Politecnico Di Milano In: http://home.deib.polimi.it/baresi/papers/TOSEM.pdf (1998) BASE Show details 97 A Graphical Environment for the Design of Concurrent Real-Time Systems L. E. Moser; Y. S. Ramakrishna; G. Kutty... In: http://lsi.ugr.es/~mcapel/docencia/doctorado/seguro/TL_artl/moserRamaKuttyMelliarDillon97.pdf (1997) BASE Show details 98 Applying the SCR Requirements Specification Method to Practical Systems: A Case Study Bharadwaj, Ramesh; Heitmeyer, Connie In: DTIC (1996) Abstract: Studies have shown that the majority of errors in software systems are due to incorrect requirements specifications. The root cause of many requirements errors is the imprecision and ambiguity that arise because the software requirements are expressed in natural language. An effective way to reduce such errors is to express requirements in a formal notation. For a number of years, researchers at the Naval Research Laboratory (NRL) have been working on a formal method based on tables to specify the requirements of practical systems [2, 11]. Known as the Software Cost Reduction (SCR) method, this approach was originally formulated to document the requirements of the Operational Flight Program (OFP) for the U.S. Navy's A-7 aircraft [2]. Since SCR's introduction more than a decade ago, many industrial organizations, including Lockheed, Grumman, and Ontario Hydro, have used SCR to specify requirements. Recently, NRL has developed both a formal state machine model [12, 14] to define the SCR semantics and a set of software tools to support analysis and validation of SCR requirements specifications [10]. The tools support consistency and completeness checking, simulation, and model checking. ; Presented at the Software Engineering Workshop (21st) held at NASA Goddard Space Flight Center, Greenbelt, MD in Dec 1996. Keyword: *NATURAL LANGUAGE; *SCR(SOFTWARE COST REDUCTION); *SEMANTICS; *SOFTWARE TOOLS; *SPECIFICATION METHOD; *SPECIFICATIONS; A-7 AIRCRAFT; CASE STUDIES; Computer Programming and Software; COMPUTER PROGRAMS; COST REDUCTION; ERRORS; FLIGHT; FORMAL NOTATION; INDUSTRIES; Linguistics; MODELS; NAVAL AIRCRAFT; Numerical Mathematics; OFP(OPERATIONAL FLIGHT PROGRAM); REQUIREMENT ERRORS; SIMULATION; SOFTWARE COST REDUCTION; SOFTWARE REQUIREMENTS; STATE MACHINE MODELS; VALIDATION URL: http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA465064 http://www.dtic.mil/docs/citations/ADA465064 BASE Hide details 99 An Evolutionary Perspective of Software Engineering Research Through Co-Word Analysis. Coulter, Neal; Monarch, Ira; Konda, Suresh... In: DTIC AND NTIS (1996) BASE Show details 100 Integrating design and development in the production of multimedia documents Morris, S.; Finkelstein, A. In: In: 1996 International Workshop on Multimedia Software Development (MMSD '96). (pp. pp. 98-107). IEEE Computer Society Press (1996) (1996) BASE Show details Page: 1 2 3 4 5 6 7 8 9...20

Mobile view All Catalogues UB Frankfurt Linguistik 0 IDS Mannheim 0 OLC Linguistik 0 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 0 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 236 Journal directory 0 Database directory 11 Dictionary directory 0 Open access documents BASE 146 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0