mauney@ncsu.UUCP (Jon Mauney) (08/23/85)
%A Valdis Berzins %A Michael Gray %T Analysis and design in MSG.84: formalizing functional specifications %J IEEE-TSE %V SE-11 %N 8 %P 657-670 %D AUG 1985 %K actor formalism, concurrency, data abstraction, diagrams, formal language, functional specification, modeling, modularity, user review %A Uli H. Chi %T Formal specification of user interfaces: a comparison and evaluation of four axiomatic approaches %J IEEE-TSE %V SE-11 %N 8 %P 671-685 %D AUG 1985 %K algebraic specfications, formal specifications, formal verification, set-theoretic specifications, software design, specification implementation, user interfaces %A Leonard J. Bass %T An approach to user specification of interactive display interfaces %J IEEE-TSE %V SE-11 %N 8 %P 686-698 %D AUG 1985 %K display system, form managers, report writer, screen management, user dialog, user interface %A Anthony I. Wasserman %T Extending state transition diagrams for the specification of human-computer interaction %J IEEE-TSE %V SE-11 %N 8 %P 699-713 %D AUG 1985 %K executable specifications, interactive information systems, rapid prototyping, softare development methodology, transition diagrams, user interfaces, User Software Engineering %A Jason Gait %T An aspect of aesthetics in human-computer communications: pretty windows %J IEEE-TSE %V SE-11 %N 8 %P 714-723 %D AUG 1985 %K aesthetics, human factors, man-machine communications, psyhological preferences, viewscreen windows %A Shi-Kuo Chang %A Wu-Long Chan %T Transformation and verification of office procedures %J IEEE-TSE %V SE-11 %N 8 %P 724-734 %D AUG 1985 %K Message exchange theory, office automation, office information system, office procedure model, Petri net, protocol analysis %A Ali Mili %T Towards a theory of forward error recovery %J IEEE-TSE %V SE-11 %N 8 %P 735-748 %D AUG 1985 %K error recovery, exception handling, forward error recovery, program fault-tolerance, while statements %A David H. Hutchens %A Victor R. Basili %T System structure analysis: clustering with data bindings %J IEEE-TSE %V SE-11 %N 8 %P 749-757 %D AUG 1985 %K cluster, coupling, data binding, module, measurement, system structure %A Armen Gabrielian %A Lawrence P. McNamee %A David J. Trawick %T The qualified function approach to analysis of program behavior and performance %J IEEE-TSE %V SE-11 %N 8 %P 758-773 %D AUG 1985 %K difference equations, performance evaluation, program execution times, qualified function, symbolic evaluation, symbolic execution, system modeling, timing algorithm %A Krithivasan Ramamritham %T Synthesizing code for resource controllers %J IEEE-TSE %V SE-11 %N 8 %P 774-783 %D AUG 1985 %K shared resources, specification, synchronization, synthesis, temporal logic %A Vincenzo Ambriola %A Fosca Gianotti %A Dino Pedreschi %A Franco Turini %T Symbolic semantics and program reduction %J IEEE-TSE %V SE-11 %N 8 %P 784-794 %D AUG 1985 %K abstract data type specifications, functional programming languages, program reduction, program transformations, rewriting systems, symbolic evaluation %A Clement T. Yu %A C. C. Chang %A Marjorie Templeton %A David Brill %A Eric Lund %T Query processing in a fragmented relational distributed system: Mermaid %J IEEE-TSE %V SE-11 %N 8 %P 795-810 %D AUG 1985 %K algorithm, distributed query processing, dynamic estimation, semijoin %A Shi-Kuo Chang %A Erland Jungert %A S. Levialdi %A G. Tortora %A Tadao Ichikawa %T An image processing language with icon-assisted navigation %J IEEE-TSE %V SE-11 %N 8 %P 811-820 %D AUG 1985 %K Image database, image icons, image information system, image processing language %A Gene T. Wuu %A Arthur J. Bernstein %T False deadlock detection in distributed systems %J IEEE-TSE %V SE-11 %N 8 %P 821-821 %D AUG 1985 %K distributed system, false deadlock, transaction-wait-for graph, two-phase locking -- Jon Mauney, mcnc!ncsu!mauney "The door's not shut on my genius, but... North Carolina State University I just don't have the time."