Specification Case Studies in RAISE (Formal Approaches to Computing and Information Technology (FACIT))
Contributors: Hung Dang Van (Editor); Chris George (Editor); Tomasz Janowski (Editor); Richard Moore (Editor)
Edition: 1 edition
Publisher: Springer
Published: March 22, 2002
Language: eng
Format: Paperback
Number of pages: 405
ISBN-13: 9781852333591
Subjects: General Theory of Computing; Operating systems & graphical user interfaces (GUIs); Programming languages; Software Engineering; Programming - Software Development; Computers; Computers - Languages / Programming; Business/Economics; Information Technology; Computers / Programming / Software Development; Computers-Information Technology; Formal Methods; Formal Specification; RAISE; Requirements Engineering; Software Development
First sentence: There is growing evidence that formal specifications are affecting, directly or indirectly, the practice of industrial software development.