inside front cover- editors, aims & scope
Variable space hidden Markov model for topic detection and analysis
Special issue on “techniques to produce Intelligent_Secure software”
Secrecy by interpretation functions
The design and implementation of AspectC++
GUIDE: Games with UML for interactive design exploration
Forensic analysis of logs: Modeling and verification
Toward a new software development environment