NASA Logo, External Link
Facebook icon, External Link to NASA STI page on Facebook Twitter icon, External Link to NASA STI on Twitter YouTube icon, External Link to NASA STI Channel on YouTube RSS icon, External Link to New NASA STI RSS Feed AddThis share icon
 

Record Details

Record 37 of 1424
Requirements engineering and program synthesis: Mutually exclusive or synergistic?
Author and Affiliation:
Lowry, M. R.(NASA Ames Research Center, Moffett Field, CA United States)
Abstract: There has often been a clash within the formal methods community between early life-cycle proponents such as the requirements engineering community and late life-cycle proponents such as the program synthesis community. This talk will first characterize these positions and their underlying assumptions, and then expose a common set of problems and approaches. The talk will then propose an integrated life-cycle framework, and expound on its potential benefits. Technical challenges to achieving this integrated life-cycle framework will be described, as well as some preliminary work towards that goal.
Publication Date: Jan 01, 2001
Document ID:
20020004219
(Acquired Jan 04, 2002)
Subject Category: COMPUTER PROGRAMMING AND SOFTWARE
Document Type: Conference Paper
Publication Information: PROC INT CONF REQUIR ENG. PROC INT CONF REQUIR ENG
Meeting Information: 5th IEEE International Symposium on Requirements Engineering; 08/27-31/01; Toronto, Ont; Canada
Financial Sponsor: NASA Ames Research Center; Moffett Field, CA United States
Description: In English
Distribution Limits: Unclassified; Publicly available; Unlimited
Rights: Copyright
NASA Terms: SOFTWARE ENGINEERING; COMPUTER PROGRAMS
Other Descriptors: SOFTWARE ENGINEERING; COMPUTER PROGRAM LISTINGS; LIFE CYCLE; ELECTRONIC COMMUNITIES; PROGRAM SYNTHESIS
Imprint And Other Notes: PROC INT CONF REQUIR ENG. PROC INT CONF REQUIR ENG, 2001. 5th IEEE International Symposium on Requirements Engineering, 08/27-31/01, Toronto, Ont, Canada.
Availability Source: Other Sources
› Back to Top
Find Similar Records
NASA Logo, External Link
NASA Official: Gerald Steeman
Site Curator: STI Program
Last Modified: August 22, 2011
Contact Us