Using default reasoning to discover inconsistencies in natural language requirements

DSpace/Manakin Repository

Search OPUS


Advanced Search

Browse

My Account

Show simple item record

dc.contributor.author Zowghi, D
dc.contributor.author Gervasi, V
dc.contributor.author McRae, A
dc.date.accessioned 2009-11-09T05:36:01Z
dc.date.issued 2001-01-01
dc.identifier.citation APSEC 2001: EIGHTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2001, pp. 133 - 140 (8)
dc.identifier.isbn 0-7695-1408-1
dc.identifier.other E1 en_US
dc.identifier.uri http://hdl.handle.net/10453/2617
dc.publisher IEEE COMPUTER SOC
dc.subject Science & Technology, Technology, Computer Science, Software Engineering, Engineering, Electrical & Electronic, Computer Science, Engineering, requirements, default logic, natural language, inconsistency, scenarios, LOGICAL FRAMEWORK, requirements, default logic, natural language, inconsistency, scenarios
dc.subject Science & Technology; Technology; Computer Science, Software Engineering; Engineering, Electrical & Electronic; Computer Science; Engineering; requirements; default logic; natural language; inconsistency; scenarios; LOGICAL FRAMEWORK; requirements; default logic; natural language; inconsistency; scenarios
dc.title Using default reasoning to discover inconsistencies in natural language requirements
dc.type Conference Proceeding
dc.description.version Published
dc.description.version Published
dc.parent APSEC 2001: EIGHTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS
dc.journal.number en_US
dc.publocation USA en_US
dc.identifier.startpage 133 en_US
dc.identifier.endpage 140 en_US
dc.cauo.name FEIT.School of Software en_US
dc.conference Verified OK en_US
dc.conference 8th Asia-Pacific Software Engineering Conference
dc.conference 8th Asia-Pacific Software Engineering Conference
dc.conference.location Macau en_US
dc.for 0803 Computer Software
dc.for 0806 Information Systems
dc.for 080309 Software Engineering
dc.personcode 000569 en_US
dc.personcode 0000020282 en_US
dc.personcode 0000025051 en_US
dc.percentage 50 en_US
dc.classification.name Software Engineering en_US
dc.classification.type FOR-08 en_US
dc.custom Asia-Pacific Software Engineering Conference en_US
dc.date.activity 20011204 en_US
dc.date.activity 2001-12-04
dc.date.activity 2001-12-04
dc.location.activity Macau en_US
dc.location.activity MACAO, PEOPLES R CHINA
dc.location.activity MACAO, PEOPLES R CHINA
dc.description.keywords Science & Technology
dc.description.keywords Technology
dc.description.keywords Computer Science, Software Engineering
dc.description.keywords Engineering, Electrical & Electronic
dc.description.keywords Computer Science
dc.description.keywords Engineering
dc.description.keywords requirements
dc.description.keywords default logic
dc.description.keywords natural language
dc.description.keywords inconsistency
dc.description.keywords scenarios
dc.description.keywords LOGICAL FRAMEWORK
dc.description.keywords Science & Technology
dc.description.keywords Technology
dc.description.keywords Computer Science, Software Engineering
dc.description.keywords Engineering, Electrical & Electronic
dc.description.keywords Computer Science
dc.description.keywords Engineering
dc.description.keywords requirements
dc.description.keywords default logic
dc.description.keywords natural language
dc.description.keywords inconsistency
dc.description.keywords scenarios
dc.description.keywords LOGICAL FRAMEWORK
pubs.embargo.period Not known
pubs.organisational-group /University of Technology Sydney
pubs.organisational-group /University of Technology Sydney/Faculty of Engineering and Information Technology
pubs.organisational-group /University of Technology Sydney/Faculty of Engineering and Information Technology/School of Software
pubs.organisational-group /University of Technology Sydney/Strength - Human Centred Technology Design
pubs.organisational-group /University of Technology Sydney/Students


Files in this item

This item appears in the following Collection(s)

Show simple item record