Show simple item record

dc.contributor.authorMartell, C.
dc.contributor.authorLuqi
dc.date.accessioned2012-03-14T17:00:36Z
dc.date.available2012-03-14T17:00:36Z
dc.date.issued2008-01-01
dc.identifier.urihttp://hdl.handle.net/10945/531
dc.description.abstractThe objective of the 15 Monterey workshops since 1992 has been to increase the practical impact of the formal methods in computer-aided software development. The workshops seek to improve software practice via the application of engineering theory and to encourage development of engineering theory that is well suited for this purpose. The 2007 workshop focused on requirements, particularly the process of transforming vague and uncoordinated needs of individual stakeholders into consistent and well-defined requirements that are suitable for supporting automated and computeraided methods for engineering subtasks in the subsequent development process. Innovations are effective technology transfers of sound inventions. The workshop case study was targeted at identification and assessment of sound inventions of technology that can be used to support innovations in requirement engineering. For example, we wanted to gain a better understanding about how to deal with natural language as the vehicle from which we derive system/software requirements, how to use intelligent agents as entities to facilitate semi-automatic requirements-documentation analysis, and how to build automatic systems to aid in requirements/specifications elicitation. The overall aim was to exchange ideas for continued research in the intersection of these two areas and to reduce the gap between theory and practice.en_US
dc.description.sponsorshipNational Science Foundation (U.S.)en_US
dc.description.sponsorshipUnited States Defense Advanced Research Projects Agencyen_US
dc.format.extentviiien_US
dc.language.isoen_US
dc.publisherMonterey, California. Naval Postgraduate Schoolen_US
dc.rightsThis publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.en_US
dc.titleInnovations for requirements engineeringen_US
dc.typeTechnical Reporten_US
dc.contributor.corporateNaval Postgraduate School (U.S.)
dc.contributor.departmentComputer Science (CS)
dc.subject.authorSoftware engineering.en_US
dc.subject.authorComputer programs.en_US
dc.subject.authorAutomation.en_US
dc.subject.authorSystems engineering.en_US
dc.description.funderDARPA 07-W673.en_US
dc.identifier.oclcocn182729546
dc.identifier.npsreportNPS-CS-08-001
dc.description.distributionstatementApproved for public release; distribution is unlimited.


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record