How to Model and Develop new Software & Hardware based Product & Solution
What is Art?
Formal Methods and Testing Goal: software reliability Use software engineering methodologies to develop the code. Use formal methods during code development.
Formal Methods Goal: software reliability Use software engineering methodologies to develop the code. Use formal methods during code development.
Introduction to visual rules modeling
Chatzikonstantinou c ai-se2013_
SIGNWRITING SYMPOSIUM PRESENTATION 38: Thoughts on Sutton SignWriting as Musical Notation by Ron Shalom
Integration made easy with Apache Camel
#TFT14 Rui Soares, Drawing stories for a change (or two)
The Z Specification Language Based on J. M. Spivey. An Introduction to Z and formal specifications, Software Engineering Journal, 4(1):40-50, January,
Process Mining Thodoros Topaloglou Daniele Barone.
Formal Methods. Contents What are Formal Methods? Definition Myths History Types of formal methods Use of mathematics Do we really need Formal Methods?