Java recently celebrated its 30 year anniversary. Despite its age, the language is still going strong and maintains its ...

An early step in the methodology is the creation of a formal executable description of the user interaction with the system, based on augmented state transition diagrams. This paper shows the ...