International Journal on Software Tools for Technology Transfer (STTT), Volume 2
The Opinion Corner
Special Section on Program Analysis Tools
Regular Contribution
The Opinion Corner
Special Section on Coloured Petri Nets
Kurt Jensen:
Coloured Petri Nets - Preface by the Section Editor. 95-97 Jianli Xu,
Juha Kuusela:
Analyzing the Execution Architecture of Mobile Phone Software with Colored Petri Nets. 133-143
Regular Contribution
Technical Innovation
The Opinion Corner
Steven D. Johnson:
A Workshop on Formal Methods Education: An Aggregation of Opinions. 203-207
Special Section on Model Checking
Rance Cleaveland:
Pragmatics of Model Checking: An STTT Special Section. 208-218
Regular Contribution
The Opinion Corner
Special Section on SPIN
Yonit Kesten,
Amir Pnueli:
Control and Data Abstraction: The Cornerstones of Practical Formal Verification. 328-342 Moataz Kamel,
Stefan Leue:
Formalization and Validation of the General Inter-ORB Protocol (GIOP) using PROMELA and SPIN. 394-409
Regular Contribution
maintained by

at
