Title | Authors |
---|---|
Formal Derivation Made Easy | Maurice Naftalin |
Interactive Contrete Models: Mapping from Code to Execution | Ray Waddington |
Shifts in Reasoning about Software and Hardware Systems: Must Operational Models Underpin Declarative Ones? | Marian Petre |
Visbility - A New Dimension? | David J. Gilmore |
What Really Determines the Success of Novices Learning to Program? | Tom Ormerod |