Proceedings

abstract Agile algorithm analysis applications approach aspects associated behavior called CDFD class testing collaboration component Computer configuration constraints data flow data-flow analysis deadline violations defined definition described diagrams distribution domain evaluation example execution extension method faults feature Figure finite state machine formal Fortran IEEE implementation inherited input instance interaction interface Java language legs loss rate messaging service meta-model MNEMOSYNE model elements modules multiple multiple-view notation number of parameters object object-oriented programs Object-Z operation OptoNet output packet paper pattern performed perturbation procedural programs proof propagation properties query queue race variants real-time realization receive event refining method requirements Section Software Engineering software product line Software Testing specification SR-sequence statechart sub-components tail(Q tcpdump technique Temporal Logic test data test method template test sets tester TILCO tion tool touchdown transition TRUE TRUE variables