Editors:
- A linked ftp site with complete specifications for all the case studies and the RAISE tools to process them
- Presents real case studies as opposed to academic examples
Part of the book series: Formal Approaches to Computing and Information Technology (FACIT) (FACIT)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
About this book
Keywords
- Formal Methods
- Formal Specification
- RAISE
- Requirements Engineering
- Software Development
Editors and Affiliations
-
United Nations University International Inst. Software Technology, Macao, Macao
Chris George
-
Macau, Macao
Tomasz Janowski
Bibliographic Information
Book Title: Specification Case Studies in RAISE
Editors: Hung Dang Van, Chris George, Tomasz Janowski, Richard Moore
Series Title: Formal Approaches to Computing and Information Technology (FACIT)
Publisher: Springer London
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag London 2002
Softcover ISBN: 978-1-85233-359-1Published: 08 February 2002
Edition Number: 1
Number of Pages: XV, 405