Automating Test Case Design, Selection and Evaluation.- Human-Oriented Formal Methods.- Modelling and Knowledge Management Applications: Systems and Domains.- Art of Service Composition and Formal Verification for Self-* Systems.
SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015, Revised Selected Papers
Paperback
Publication Date: 19/02/2016
- ISBN:
- 9783662492239
- 9783662492239
- Category:
- Computer programming / software development
- Format:
- Paperback
- Publication Date:
- 19-02-2016
- Language:
- English
- Publisher:
- Springer
- Country of origin:
- United States
- Dimensions (mm):
- 235x155mm
- Weight:
- 5.39kg
Click 'Notify Me' to get an email alert when this item becomes available
Great!
Click on Save to My Library / Lists
Click on Save to My Library / Lists
Select the List you'd like to categorise as, or add your own
Here you can mark if you have read this book, reading it or want to read
Awesome! You added your first item into your Library
Great! The fun begins.
Click on My Library / My Lists and I will take you there
Click on My Library / My Lists and I will take you there
You can find this item in:
Algorithms & data structures
Databases
Computer programming / software development
Probability & statistics
User interface design & usability
Mathematical theory of computation
Maths for computer scientists
Enterprise software
Mathematics
Mathematical & statistical software
Information technology: general issues
Information retrieval
Computer science
Artificial intelligence
Show more
Show less
Reviews
Be the first to review Software Engineering and Formal Methods.
Share This Book: