On what exactly goes on when software is developed step-by-step, II: The sequel Conferences

authors

• Maibaum, Thomas

status

• published 

publication date

• October 2003

has subject area

• 01 Mathematical Sciences (FoR)
• 08 Information and Computing Sciences (FoR)
• 09 Engineering (FoR)
• Computation Theory & Mathematics (Science Metrix)

published in

• Information Processing Letters  Journal

presented at event

• Joint European Conference on Theory and Practice of Software (ETAPS 2003)  Conference

keywords

• Computer Science
• Computer Science, Information Systems
• Science & Technology
• Technology
• formal methods
• program specification
• software design and implementation
• software engineering
• specification languages

Digital Object Identifier (DOI)

• 10.1016/s0020-0190(03)00390-9

start page

• 45

end page

• 51

volume

• 88

issue

• 1-2