scholarly journals ALBERT: A formal language and its supporting tools for requirements engineering

1998 ◽  
pp. 322-325 ◽  
Author(s):  
Eric Dubois
Keyword(s):  
Requirements Engineering ◽  
Formal Language

Automated Indexing of SNOMED Statements into ICD

1987 ◽  
Vol 26 (03) ◽  
pp. 93-98 ◽  
Author(s):  
F. Wingert
Keyword(s):  
Formal Language ◽  
Program System ◽  
Icd Codes

SummaryA formal language is presented which is used to generate a transformation table for mapping SNOMED statements to ICD codes. Non-terminal symbols define parts of the SNOMED space, the highest order of which corresponds to ICD categories. Performance of the corresponding program system and remaining problems are described.

Proceedings Workshop on Requirements Engineering and Rapid Prototyping Held in Eatontown, New Jersey on 14-16 November 1989

1990 ◽  
Author(s):  
Harlan Black ◽  
Alan Davis ◽  
Raymond Yeh ◽  
Winston Royce ◽  
George Sumrall
Keyword(s):  
New Jersey ◽  
Rapid Prototyping ◽  
Requirements Engineering
Sign in / Sign up

Export Citation Format

Share Document