“Formal methods” technology transfer will fail Journal Articles

authors

• Parnas, David

status

• published 

publication date

• March 1998

has subject area

• 0803 Computer Software (FoR)
• 0804 Data Format (FoR)
• 0806 Information Systems (FoR)
• Software Engineering (Science Metrix)

published in

• Journal of Systems and Software  Journal

keywords

• 46 Information and Computing Sciences
• 4612 Software Engineering
• Generic health relevance

Digital Object Identifier (DOI)

• 10.1016/s0164-1212(97)00166-0

start page

• 195

end page

• 198

volume

• 40

issue

• 3