Page: 1 2 3 4 5 6 7 8 9... 20
| 81 |
An Architecture for the Semantic Processing of Natural Language Input to a Policy Workbench
|
|
|
|
In: DTIC AND NTIS (2003)
|
|
BASE
|
|
Show details
|
|
|
| 82 |
Exercising a Native Intelligence Metric on an Autonomous On-Road Driving System
|
|
|
|
In: DTIC (2003)
|
|
BASE
|
|
Show details
|
|
|
| 83 |
M.P.: Flexible protocol specification and execution: Applying event calculus planning using commitments
|
|
|
|
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
|
|
|
|
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
|
|
|
|
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
|
|
|
|
In: DTIC (2001)
|
|
BASE
|
|
Show details
|
|
|
| 88 |
Incremental parsing in language-based editors: user needs and how to meet them
|
|
|
|
BASE
|
|
Show details
|
|
|
| 89 |
Nomadic Radio: Speech Audio Interaction for Contextual Messaging in Nomadic Environments
|
|
|
|
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
|
|
|
|
In: http://www.media.mit.edu/~nitin/projects/NomadicRadio/tochi/tochi99.ps (2000)
|
|
BASE
|
|
Show details
|
|
|
| 91 |
Automatic Verification of Multiagent Conversations
|
|
|
|
In: DTIC (2000)
|
|
BASE
|
|
Show details
|
|
|
| 92 |
Generalized Aliasing as a Basis for Program Analysis Tools
|
|
|
|
In: DTIC (2000)
|
|
BASE
|
|
Show details
|
|
|
| 93 |
Semantic Interoperability on the Web
|
|
|
|
In: DTIC AND NTIS (2000)
|
|
BASE
|
|
Show details
|
|
|
| 94 |
Linguistic Assistant for Domain Analysis (LIDA)
|
|
|
|
In: DTIC AND NTIS (2000)
|
|
BASE
|
|
Show details
|
|
|
| 95 |
A Platform for Multilingual Research in Spoken Dialogue Systems
|
|
|
|
In: DTIC (2000)
|
|
BASE
|
|
Show details
|
|
|
| 96 |
Toward Formalizing Structured Analysis
|
|
|
|
In: http://home.deib.polimi.it/baresi/papers/TOSEM.pdf (1998)
|
|
Abstract:
Real-time extensions to Structured Analysis (SA/RT) are popular in industrial practice. De-spite the large industrial experience and the attempts to formalize the various “dialects”, SA/RT notations are still imprecise and ambiguous. This paper tries to identify the semantic problems of the requirements definition notation defined by Hatley and Pirbhai, one of the popular SA/RT “dialects”, and discusses possible solutions. As opposed to other papers that give their own interpretation, this paper does not propose a specific semantics for the notation. This paper identifies imprecisions, i.e., missing or partial information about features of the notation; it discusses ambiguities, i.e., elements of the definition that allow at least two different (“reasonable”) interpretations of features of the notation; and it lists extensions, i.e., features not belonging to the notation, but required by many industrial users and often supported by CASE tools. This paper contributes by clarifying whether specific interpretations can be given unique se-mantics or retain ambiguities of the original definition. The paper allows for the evaluation of formal definitions by indicating alternatives and consequences of the specific choices.
|
|
Keyword:
Categories and Subject Descriptors; D.2.1 [Software Engineering; D.2.2 [Software Engineering; Design; Documentation Additional Key Words and Phrases; Hatley and Pirbhai’s Requirements Definition Notation; Informal vs. Formal Speci- fications; Requirements/Specifica- tions—Methodologies; Structured Analysis/Real-Time; Tools and Techniques—Structured pro- gramming General Terms
|
|
URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.509.4423
http://home.deib.polimi.it/baresi/papers/TOSEM.pdf
|
|
BASE
|
|
Hide details
|
|
|
| 97 |
A Graphical Environment for the Design of Concurrent Real-Time Systems
|
|
|
|
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
|
|
|
|
In: DTIC (1996)
|
|
BASE
|
|
Show details
|
|
|
| 99 |
An Evolutionary Perspective of Software Engineering Research Through Co-Word Analysis.
|
|
|
|
In: DTIC AND NTIS (1996)
|
|
BASE
|
|
Show details
|
|
|
| 100 |
Integrating design and development in the production of multimedia documents
|
|
|
|
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 |
|
