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.title Using default reasoning to discover inconsistencies in natural language requirements
dc.type Conference Proceeding
dc.description.version Published
dc.description.version Published
dc.description.version Published
dc.description.version Published
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 8th Asia-Pacific Software Engineering Conference
dc.conference 8th Asia-Pacific Software Engineering Conference
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
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.date.activity 2001-12-04
dc.date.activity 2001-12-04
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.location.activity MACAO, PEOPLES R CHINA
dc.location.activity MACAO, PEOPLES R CHINA
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
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
utslib.copyright.status Closed Access
utslib.copyright.date 2015-04-15 12:17:09.805752+10
pubs.consider-herdc true


Files in this item

This item appears in the following Collection(s)

Show simple item record